Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

AMC
2006

favoriteEmaildiscussreport

82views more AMC 2006»

Some thoughts on hypercomputation

13 years 4 months ago

Some thoughts on hypercomputation

Download research.cs.queensu.ca

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.

Newton C. A. da Costa, Francisco A. Doria

Real-time Traffic

AMC 2006 | Halting Function | Halting Problem | Noncomputable Function |

claim paper

Related Content

» The case for hypercomputation

» Some Thoughts on the Semantics of Biocharts

» Fuzzifying P Systems

» Three counterexamples refuting Kieus plan for quantum adiabatic hypercomputation and some ...

» Thoughts on automated software design and synthesis

» Some thoughts on teaching programming and programming languages

» Some thoughts on emulating jitter for user experience trials

» I saw this and thought of you some social uses of camera phones

» Some Thoughts at the Interface of Ensemble Methods and Feature Selection

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	AMC
Authors	Newton C. A. da Costa, Francisco A. Doria

Comments (0)