Repository | Book | Chapter

Gödel's ontological dreams

Gary Mar

pp. 461-476

Gödel, arguably the greatest logician of the 20th century, dreamed of establishing philosophical theses and ontological results with the rigour and precision of mathematics. His dream was to a remarkable extent fulfilled. Two modal principles that characterize properties of proof, time, and God reveal some intriguing logical interconnections among Gödel's Second Incompleteness Theorem, his argument for the unreality of time in the General Theory of Relativity, and his Ontological argument.

Publication details

DOI: 10.1007/978-3-319-44418-5_36

Full citation:

Mar, G. (2017)., Gödel's ontological dreams, in S. Wuppuluri & G. Ghirardi (eds.), Space, time and the limits of human understanding, Dordrecht, Springer, pp. 461-476.

This document is unfortunately not available for download at the moment.