| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4637252 | Applied Mathematics and Computation | 2006 | 10 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Applied Mathematics
Authors
N.C.A. da Costa, F.A. Doria,