Einstein, Gödel, and the Mathematics of Time

  • Francisco Antonio Doria
  • Manuel Doria
Part of the Boston Studies in the Philosophy of Science book series (BSPS, volume 290)


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.


Intersection Form Global Time Force Extension Smooth Structure Differentiable Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



This paper collects some results from an ongoing research program with N. C. A. da Costa, whom we heartily thank for criticisms and comments. We must also thank C. M. Doria for his remarks on our results.

The ongoing research program that led to this text has been sponsored by the Advanced Studies Group, Production Engineering Program, COPPE – UFRJ, Rio, Brazil.

FAD wishes to thank the Institute for Advanced Studies at the University of São Paulo for partial support of this research project; we wish to acknowledge support from the Brazilian Academy of Philosophy and its chairman Professor J. R. Moderno. Both authors thank Professors R. Bartholo, C. A. Cosenza and S. Fuks for their invitation to join the Fuzzy Sets Lab at COPPE–UFRJ and the Philosophy of Science Program at the same institution.

FAD acknowledges partial support from CNPq, Philosophy Section.


  1. Asselmeyer – Maluga, T., Brans, C. H. (2007). Exotic smoothness and physics. Singapore: World Scientific.Google Scholar
  2. Carnielli, W. A., Doria, F. A. (2007).“Is computer science logic – dependent?” to appear in Festschrift in Honor of Prof. Shahid Rahman.Google Scholar
  3. da Costa, N. C. A. (2007). “On the Gödel incompleteness theorems,” Gödel/Einstein Workshop, CBPF – Rio.Google Scholar
  4. da Costa, N. C. A., Doria, F. A. (1996). Structures, suppes predicates, and boolean – valued models in physics. In: Bystrov, P., Sadovsky, V., (eds.), Philosophical Logic and Logical Philosophy — Essays in Honor of Vladimir A. Smirnov. Synthèse Library: Kluwer.Google Scholar
  5. da Costa, N. C. A., Doria, F. A. (2005). Computing the future. In: Velupillai, K. V., (ed.), Computability, complexity and constructivity in economic analysis. Oxford: Blackwell.Google Scholar
  6. da Costa, N. C. A., Doria, F. A. (2007). Janus-faced physics. In: Calude, C. (ed.), Randmoness and Complexity, from Leibniz to Chaitin. New York, NY: World Scientific.Google Scholar
  7. da Costa, N. C. A., Doria, F. A., de Barros, J. A. (1990). A Suppes predicate for general relativity and set – theoretically generic spacetimes. International Journal of Theoretical Physics, 29: 935–961.CrossRefGoogle Scholar
  8. Doria, F. A. (1984). A stratification associated to the copy phenomenon in the space of gauge fields. In: Zapata, G. I., (ed.), Functional Analysis, Holomophy and Approximation Theory II, Amsterdam: North – Holland.Google Scholar
  9. Doria F. A., Abrahão, S. M. (1978). Mesonic test fields and spacetime cohomology. Journal of Mathematical Physics, 19:1650–1653.CrossRefGoogle Scholar
  10. Gompf R. E., Stipsicz, A. I. (1999). 4–Manifolds and Kirby Calculus. Providence, RI: AMS.Google Scholar
  11. Kunen, K. (1983). Set Theory. Amsterdam: North-Holland.Google Scholar
  12. Lakoff, G., Johnson, M. (1999). Philosophy in the Flesh: The Embodied Mind and Its Challenge to Western Thought. New York, NY: Basic Books.Google Scholar
  13. Scorpan, A. (2005). The Wild World of Four – Manifolds. Providence, RI: AMS.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Advanced Studies Research Group, Fuzzy Sets Laboratory, PIT, Production Engineering Program, COPPEUniversidade Federal do Rio de JaneiroRio de JaneiroBrazil

Personalised recommendations