Philosophical Studies 177 (5):1275-1282 (2020)
| Authors |
|
| Abstract |
This paper discusses the relevance of supertask computation for the determinacy of arithmetic. Recent work in the philosophy of physics has made plausible the possibility of supertask computers, capable of running through infinitely many individual computations in a finite time. A natural thought is that, if supertask computers are possible, this implies that arithmetical truth is determinate. In this paper we argue, via a careful analysis of putative arguments from supertask computations to determinacy, that this natural thought is mistaken: supertasks are of no help in explaining arithmetical determinacy.
|
| Keywords | arithmetical truth mathematical determinacy supertasks |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s11098-019-01252-w |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford, England: Oxford University Press.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
View all 21 references / Add more references
Citations of this work BETA
Similar books and articles
A Simple and Interesting Classical Mechanical Supertask.Jon Laraudogoitia - 2017 - Synthese 194 (2).
Newtonian Supertasks: A Critical Analysis.Joseph S. Alper & Mark Bridger - 1998 - Synthese 114 (2):355-369.
The Priority of Arithmetical Truth Over Arithmetical Provability.Enrico Martino - 2002 - Topoi 21 (1-2):55-63.
On the Possibility of Supertasks in General Relativity.John Byron Manchak - 2010 - Foundations of Physics 40 (3):276-288.
Knowledge of Arithmetic.C. S. Jenkins - 2005 - British Journal for the Philosophy of Science 56 (4):727-747.
What is a Newtonian System? The Failure of Energy Conservation and Determinism in Supertasks.J. S. Alper, M. Bridger, J. Earman & J. D. Norton - 2000 - Synthese 124 (2):281-293.
Some Considerations on Arithmetical Truth and the Co-Rule.Daniel Isaacson - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 94.
A Defense of Arithmetical Platonism.Thomas Michael Norton-Smith - 1988 - Dissertation, University of Illinois at Urbana-Champaign
On the Dynamics of Perez Lauraudogoitia's Supertask.Mark Bridger & Joseph S. Alper - 1999 - Synthese 119 (3):325-337.
Analytics
Added to PP index
2019-02-19
Total views
131 ( #88,009 of 2,498,897 )
Recent downloads (6 months)
16 ( #50,836 of 2,498,897 )
2019-02-19
Total views
131 ( #88,009 of 2,498,897 )
Recent downloads (6 months)
16 ( #50,836 of 2,498,897 )
How can I increase my downloads?
Downloads
