Building infinite machines

British Journal for the Philosophy of Science 52 (4):671-682 (2001)
  Copy   BIBTEX

Abstract

We describe in some detail how to build an infinite computing machine within a continuous Newtonian universe. The relevance of our construction to the Church-Turing thesis and the Platonist-Intuitionist debate about the nature of mathematics is also discussed.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.
Infinite time Turing machines.Joel David Hamkins - 2002 - Minds and Machines 12 (4):567-604.
Is the human mind a Turing machine?D. King - 1996 - Synthese 108 (3):379-89.
Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.
Supermachines and superminds.Eric Steinhart - 2003 - Minds and Machines 13 (1):155-186.

Analytics

Added to PP
2009-01-28

Downloads
113 (#153,817)

6 months
25 (#111,330)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computation in physical systems.Gualtiero Piccinini - 2010 - Stanford Encyclopedia of Philosophy.
The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.

View all 20 citations / Add more citations

References found in this work

On the Plurality of Worlds.David K. Lewis - 1986 - Malden, Mass.: Wiley-Blackwell.
On the Plurality of Worlds.David Lewis - 1986 - Revue Philosophique de la France Et de l'Etranger 178 (3):388-390.
On The Plurality of Worlds.Graeme Forbes - 1988 - Philosophical Quarterly 38 (151):222-240.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.

View all 6 references / Add more references