Abstract
We first show that the Halting Function (the noncomputable function that solves the Halting Problem) has explicit expressions in the language of calculus. Out of that fact we elaborate on the possible meaning of hypercomputation theory within the setting of formal mathematical theories. © 2005 Elsevier Inc. All rights reserved.
Cite
CITATION STYLE
APA
da Costa, N. C. A., & Doria, F. A. (2006). Some thoughts on hypercomputation. Applied Mathematics and Computation, 178(1), 83–92. https://doi.org/10.1016/j.amc.2005.09.073
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free