EINSTEIN MEETS GÖDEL

DOI10.1142/S179300571240008XzbMath1345.83024OpenAlexW1966552415MaRDI QIDQ2873505

Francisco Antonio Doria, Manuel Doria

Publication date: 24 January 2014

Published in: New Mathematics and Natural Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s179300571240008x

zbMATH Keywords

undecidabilityEinsteinincompletenessGödeltimeexotic manifold

Mathematics Subject Classification ID

General relativity (83C99) Decidability of theories and sets of sentences (03B25) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Applications of set theory (03E75)

Cites Work

• Unnamed Item
• A Suppes predicate for general relativity and set-theoretically generic spacetimes
• Mesonic test fields and spacetime cohomology

This page was built for publication: EINSTEIN MEETS GÖDEL