, Volume 79, Issue 4, pp 893–907

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

Original Article

DOI: 10.1007/s10670-013-9571-z

Cite this article as:
Berry, S. Erkenn (2014) 79: 893. doi:10.1007/s10670-013-9571-z


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.

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.Harvard UniversityCambridgeUSA

Personalised recommendations