

Einstein, Gödel, and the mathematics of time
pp. 269-279
in: Décio Krause, Antonio A. Passos Videira (eds), Brazilian studies in philosophy and history of science, Berlin, Springer, 2011Abstract
We consider exotic spacetimes in the sense of differential geometry, and then state genericity, undecidability and incompleteness results about general relativity, with the nature of time and the existence of some kind of "cosmic time" as central questions.