Editing Hypercomputation (section)

==Criticism==
[[Martin Davis (mathematician)|Martin Davis]], in his writings on hypercomputation,<ref name=Davis95>{{cite journal | author=Davis, Martin | title = Why there is no such discipline as hypercomputation | journal = Applied Mathematics and Computation | volume = 178 | issue = 1 <!-- Special Issue on Hypercomputation --> | year = 2006 | pages = 4–7 | doi = 10.1016/j.amc.2005.09.066}}</ref><ref>{{cite book |last=Davis| first=Martin|title=Alan Turing: Life and Legacy of a Great Thinker|publisher=Springer|year=2004  |chapter=The Myth of Hypercomputation}}</ref>
refers to this subject as "a myth" and offers counter-arguments to the
physical realizability of hypercomputation. As for its theory, he argues against
the claims that this is a new field founded in the 1990s. This point of view relies
on the history of [[computability theory]] (degrees of unsolvability, computability over
functions, real numbers and ordinals), as also mentioned above.
In his argument, he makes a remark that all of hypercomputation is little more than: "''if non-computable inputs are permitted, then non-computable outputs are attainable.''"<ref>{{cite book | url=https://www.mfo.de/document/0304a/Report03_2003.pdf | author=Martin Davis | contribution=The Myth of Hypercomputation | editor=Alexandra Shlapentokh | title=Miniworkshop: Hilbert's Tenth Problem, Mazur's Conjecture and Divisibility Sequences | publisher=Mathematisches Forschungsinstitut Oberwolfach | series=MFO Report | volume=3 | pages=2 | date=Jan 2003 }}</ref>