The Myth of 'the Myth of Hypercomputation'

A myth has unfortunately arisen in connection with Martin Davis's rather aggressively titled paper "The Myth of Hypercomputation." The myth is that Davis is profoundly and decisively right therein, and that hypercomputation is indeed therefore a myth. We show herein that Davis is wrong: i.e., that it's a myth that hypercomputation is a myth. We begin by pointing out and putting to use an obvious fact about the adjective 'mythic.' (E.g., if it's a myth that ϕ (= if ϕ is mythic), where ϕ is some declarative statement, then ϕ is false.) These facts allow us to quickly prove that some of the propositions Davis can be charitably read as advancing are provably false, that some are vacuously true, and that the remainder are indeterminate. Since all that he advances falls into one of these categories, his project is an utter failure.

[1]  Mike Stannett,et al.  The case for hypercomputation , 2006, Appl. Math. Comput..

[2]  Toby Ord,et al.  The many forms of hypercomputation , 2006, Appl. Math. Comput..

[3]  Karl Svozil,et al.  Scale-invariant cellular automata and self-similar Petri nets , 2006, nlin/0606007.

[4]  Selmer Bringsjord,et al.  Toward a Formal Philosophy of Hypercomputation , 2004, Minds and Machines.

[5]  Peter Smith,et al.  An Introduction to Gödel's Theorems , 2007 .

[6]  Eugene Eberbach Approximate reasoning in the algebra of bounded rational agents , 2008, Int. J. Approx. Reason..

[7]  Max H. Garzon,et al.  Models of massive parallelism: analysis of cellular automata and neural networks , 1995 .

[8]  Selmer Bringsjord,et al.  A new Gödelian argument for hypercomputing minds based on the busy beaver problem , 2006, Appl. Math. Comput..

[9]  Eugene Eberbach,et al.  The $-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems , 2007, Theor. Comput. Sci..

[10]  Hava T. Siegelmann,et al.  Analog computation via neural networks , 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.

[11]  Robin Milner,et al.  Elements of interaction , 1993 .

[12]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[13]  Hilary Putnam,et al.  Trial and error predicates and the solution to a problem of Mostowski , 1965, Journal of Symbolic Logic.

[14]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[15]  Selmer Bringsjord,et al.  In Defense of the Unprovability of the Church-Turing Thesis , 2010, Int. J. Unconv. Comput..

[16]  Joel David Hamkins,et al.  Infinite Time Turing Machines , 2000 .

[17]  Selmer Bringsjord,et al.  The modal argument for hypercomputing minds , 2004, Theor. Comput. Sci..

[18]  Zhihong Xia,et al.  The existence of noncollision singularities in newtonian systems , 1992 .

[19]  Selmer Bringsjord,et al.  In Computation, Parallel is Nothing, Physical Everything , 2001, Minds and Machines.

[20]  B. Jack Copeland,et al.  Accelerating Turing Machines , 2002, Minds and Machines.

[21]  Martin D. Davis,et al.  Why there is no such discipline as hypercomputation , 2006, Appl. Math. Comput..

[22]  Konstantine Arkoudas,et al.  On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis , 2006 .

[23]  H T Siegelmann,et al.  Dating and Context of Three Middle Stone Age Sites with Bone Points in the Upper Semliki Valley, Zaire , 2007 .

[24]  Martin D. Davis The Myth of Hypercomputation , 2004 .