@inbook{3e4125bacb4d44528f1f99ff25532691,
title = "G{\"o}del{\textquoteright}s Ontological Dreams",
abstract = "G{\"o}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{\"o}del{\textquoteright}s Second Incompleteness Theorem, his argument for the unreality of time in the General Theory of Relativity, and his Ontological argument.",
keywords = "Brouwersche axiom, G{\"o}del{\textquoteright}s ontological argument, G{\"o}del{\textquoteright}s second incompleteness theorem, L{\"o}b{\textquoteright}s axiom, Modal logic, Tense logic, Time travel in Einstein{\textquoteright}s general theory of relativity",
author = "Gary Mar",
note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG.",
year = "2017",
doi = "10.1007/978-3-319-44418-5\_36",
language = "English",
series = "Frontiers Collection",
publisher = "Springer VS",
pages = "461--476",
booktitle = "Frontiers Collection",
}