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...
| Published in: | Erkenntnis Vol. 79; no. 4; pp. 893 - 908 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Springer Nature
Aug2014
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |