Malament-Hogarth Machines and Tait's Axiomatic Conception of Mathematics.
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 experien...
| Publicado en: | Erkenntnis Vol. 79; no. 4; pp. 893 - 908 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Aug2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |