|
1
|
The physical and philosophical implications of the Church-Turing thesis
– Eleni Pagani
- 2004
|
|
1
|
Abstract Super-Tasks, Accelerating Turing Machines and Uncomputability
– Oron Shagrir
|
|
3
|
Are There New Models of Computation? Reply to Wegner and Eberbach
– Paul Cockshott, Greg Michaelson
- 2005
|
|
|
Physical Constraints on . . .
– Paul Cockshott , Lewis Mackenzie , Greg Michaelson
- 2008
|
|
4
|
How much can analog and hybrid systems be proved (super-)Turing
– Olivier Bournez
- 2006
|
|
11
|
Even Turing Machines Can Compute Uncomputable Functions
– B. Jack Copeland
- 1998
|
|
|
If intelligence is computable, then...
– Peter Kugel
- 2003
|
|
1
|
Computational Power of Infinite Quantum Parallelism
– Martin Ziegler
- 2005
|
|
8
|
The Church-Turing Thesis over Arbitrary Domains
– Udi Boker, Nachum Dershowitz
- 2008
|
|
3
|
A new Gödelian argument for hypercomputing minds based on the busy beaver problem
– Selmer Bringsjord, Owen Kellett, Andrew Shilliday, Joshua Taylor, Bram Van Heuveln, Yingrui Yang, Jeffrey Baumes, Kyle Ross
|
|
1
|
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
- 2009
|
|
|
Discrete transfinite computation models
– P. D. Welch
|
|
1
|
A Transformation Framework for Solving Artificial Life Systems Palem GopalaKrishna
– Palem Gopalakrishna
- 2005
|
|
|
Contents
– Karl Svozil
- 2008
|
|
14
|
Hypercomputation and the Physical Church-Turing Thesis
– Paolo Cotogno
- 2003
|
|
|
Inductive Inference of ... vs. ...-Definitions for Computable Functions
– John Case, Mandayam Suraj, Ayam Suraj
- 2002
|
|
10
|
A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS
– Nachum Dershowitz, Yuri Gurevich
|
|
3
|
Towards a theory of intelligence
– Peter Kugel
|
|
|
The Influence of Domain . . .
– Udi Boker
- 2008
|
