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

Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord

Browse the full UC paper archive.