How to build a hypercomputer |
| |
Authors: | NCA da Costa |
| |
Institution: | Advanced Studies Research Group and Fuzzy Sets Laboratory, PIT, Production Engineering Program, COPPE, UFRJ, P.O. Box 68507, 21945-972 Rio RJ, Brazil |
| |
Abstract: | We claim that the theoretical hypercomputation problem has already been solved, and that what remains is an engineering problem. We review our construction of the Halting Function (the function that settles the Halting Problem) and then sketch possible blueprints for an actual hypercomputer. |
| |
Keywords: | Hypercomputation Hypercomputer Turing machines |
本文献已被 ScienceDirect 等数据库收录! |
|