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.