Publisher: Cambridge University Press
E-ISSN: 1943-5894|12|4|529-590
ISSN: 1079-8986
Source: Bulletin of Symbolic Logic, Vol.12, Iss.4, 2006-12, pp. : 529-590
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Convinced that the classically undecidable problems of mathematics possess determinate truth values, Gödel issued a programmatic call to search for new axioms for their solution. The platonism underlying his belief in the determinateness of those questions in combination with his conception of intuition as a kind of perception have struck many of his readers as highly problematic. Following Gödel's own suggestion, this article explores ideas from phenomenology to specify a meaning for his mathematical realism that allows for a defensible epistemology.
Related content
Bulletin of Symbolic Logic, Vol. 22, Iss. 4, 2016-12 ,pp. :
On the axiom of extensionality – Part I
The Journal of Symbolic Logic, Vol. 21, Iss. 1, 1956-03 ,pp. :
A demonstrably consistent mathematics—Part I
The Journal of Symbolic Logic, Vol. 15, Iss. 1, 1950-03 ,pp. :