Search Results

Symbolic Languages and Natural Structures a Mathematician’s Account of Empiricism

Author: Burchard, Hermann

Source: Foundations of Science, Volume 10, Number 2, June 2005 , pp. 153-245(93)

Publisher: Springer

Quantum Algorithm for Hilbert's Tenth Problem

Author: Kieu T.D.

Source: International Journal of Theoretical Physics, Volume 42, Number 7, July 2003 , pp. 1461-1478(18)

Publisher: Springer

Hypercomputation and the Physical Church-Turing Thesis

Author: Cotogno P.

Source: British Journal for the Philosophy of Science, Volume 54, Number 2, June 2003 , pp. 181-223(43)

Publisher: Oxford University Press

Alan Turing and the Mathematical Objection

Author: Piccinini G.

Source: Minds and Machines, Volume 13, Number 1, February 2003 , pp. 23-48(26)

Publisher: Springer

Neural and Super-Turing Computing

Author: Siegelmann H.T.

Source: Minds and Machines, Volume 13, Number 1, February 2003 , pp. 103-114(12)

Publisher: Springer

Computation and Hypercomputation

Author: Stannett M.

Source: Minds and Machines, Volume 13, Number 1, February 2003 , pp. 115-153(39)

Publisher: Springer

Physical Hypercomputation and the Church–Turing Thesis

Authors: Shagrir O.; Pitowsky I.

Source: Minds and Machines, Volume 13, Number 1, February 2003 , pp. 87-101(15)

Publisher: Springer

Reflections on Gödel's and Gandy's Reflections on Turing's Thesis

Author: Israel D.

Source: Minds and Machines, Volume 12, Number 2, May 2002 , pp. 181-201(21)

Publisher: Springer

Effective Computation by Humans and Machines

Author: Shagrir O.

Source: Minds and Machines, Volume 12, Number 2, May 2002 , pp. 221-240(20)

Publisher: Springer

Accelerating Turing Machines

Author: Copeland B.J.

Source: Minds and Machines, Volume 12, Number 2, May 2002 , pp. 281-300(20)

Publisher: Springer

Is There a Nonrecursive Decidable Equational Theory?

Author: Wells B.

Source: Minds and Machines, Volume 12, Number 2, May 2002 , pp. 301-324(24)

Publisher: Springer

Non-Turing Computations Via Malament–Hogarth Space-Times

Authors: Etesi G.; Németi I.

Source: International Journal of Theoretical Physics, Volume 41, Number 2, February 2002 , pp. 341-370(30)

Publisher: Springer

Quantum Neural Networks

Authors: Gupta S.; Zia R.K.P.

Source: Journal of Computer and System Sciences, Volume 63, Number 3, November 2001 , pp. 355-383(29)

Publisher: Academic Press

Building Infinite Machines

Author: Davies, E. B.

Source: British Journal for the Philosophy of Science, Volume 52, Number 4, 1 December 2001 , pp. 671-682(12)

Publisher: Oxford University Press

1. Introduction and Overview

Author: Velupillai, Kumaraswamy

Source: Computable Economics, January 2000 , pp. 1-10(10)

Publisher: Oxford Scholarship Online Monographs

5. The Modern Theory of Induction

Author: Velupillai, Kumaraswamy

Source: Computable Economics, January 2000 , pp. 66-89(24)

Publisher: Oxford Scholarship Online Monographs

What Turing Did after He Invented the Universal Turing Machine

Authors: Copeland B.J.; Proudfoot D.

Source: Journal of Logic, Language and Information, Volume 9, Number 4, October 2000 , pp. 491-509(19)

Publisher: Springer