Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation

DOI10.1007/978-3-642-39074-6_11zbMath1381.68084OpenAlexW2174625585MaRDI QIDQ5300915

Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord

Publication date: 28 June 2013

Published in: Unconventional Computation and Natural Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39074-6_11

Mathematics Subject Classification ID

Related Items (1)

The Epistemology of Computer-Mediated Proofs

This page was built for publication: Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation