Malament–Hogarth Machines and Tait's Axiomatic Conception of Mathematics

Erkenntnis 79 (4):893-907 (2014)
Sharon Berry
The Polonsky Academy For Advanced Study In The Humanities And Social Sciences
In this paper I will argue that Tait’s axiomatic conception of mathematics implies that it is in principle impossible to be justified in believing a mathematical statement without being justified in believing that statement to be provable. I will then show that there are possible courses of experience which would justify acceptance of a mathematical statement without justifying belief that this statement is provable
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10670-013-9571-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 37,223
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Deciding Arithmetic Using SAD Computers.Mark Hogarth - 2004 - British Journal for the Philosophy of Science 55 (4):681-691.
SAD Computers and Two Versions of the Church–Turing Thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
Non-Turing Computations Via Malament-Hogarth Space-Times.Gábor Etesi & István Németi - 2002 - International Journal of Theoretical Physics 41:341--70.

View all 8 references / Add more references

Citations of this work BETA

Supertasks and Arithmetical Truth.Jared Warren & Daniel Waxman - forthcoming - Philosophical Studies:1-8.

Add more citations

Similar books and articles

Mathematics and Mind.Alexander George (ed.) - 1994 - Oxford University Press.
Independence-Friendly Logic and Axiomatic Set Theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.
.[author unknown] - unknown
Mathematical Engineering and Mathematical Change.Jean‐Pierre Marquis - 1999 - International Studies in the Philosophy of Science 13 (3):245 – 259.
What is Required of a Foundation for Mathematics?John Mayberry - 1994 - Philosophia Mathematica 2 (1):16-35.


Added to PP index

Total views
36 ( #183,969 of 2,309,334 )

Recent downloads (6 months)
3 ( #216,493 of 2,309,334 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature