Some thoughts on hypercomputation
作者：
Highlights：
•
摘要
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.
论文关键词：
论文评审过程：Available online 11 November 2005.
论文官网地址：https://doi.org/10.1016/j.amc.2005.09.073
