Book contents
- Frontmatter
- Contents
- Preface
- Part I Invited Papers
- Gödel's program for new axioms: Why, where, how and what?
- Infinite-valued G?del Logics with 0-1-Projections and Relativizations
- Contributions of K. Gödel to Relativity and Cosmology
- Kurt Gödel and the constructive Mathematics of A.A. Markov
- Hao Wang as Philosopher
- A bottom-up approach to foundations of mathematics
- K-graph Machines: generalizing Turing's machines and arguments
- Forcing on Bounded Arithmetic
- Uniform Interpolation and Layered Bisimulation
- Part II Contributed Papers
- References
Contributions of K. Gödel to Relativity and Cosmology
from Part I - Invited Papers
Published online by Cambridge University Press: 23 March 2017
- Frontmatter
- Contents
- Preface
- Part I Invited Papers
- Gödel's program for new axioms: Why, where, how and what?
- Infinite-valued G?del Logics with 0-1-Projections and Relativizations
- Contributions of K. Gödel to Relativity and Cosmology
- Kurt Gödel and the constructive Mathematics of A.A. Markov
- Hao Wang as Philosopher
- A bottom-up approach to foundations of mathematics
- K-graph Machines: generalizing Turing's machines and arguments
- Forcing on Bounded Arithmetic
- Uniform Interpolation and Layered Bisimulation
- Part II Contributed Papers
- References
Summary
Summary. K Gödel published two seminal papers on general relativity theory and its application to the study of cosmology. The first examined a non-expanding but rotating solution of the Einstein field equations, in which causality is violated; this lead to an in-depth examination of the concepts of causality and time in curved space-times. The second examined properties of a family of rotating and expanding spatially homogeneous solutions of the Einstein equations, which was a forerunner of many studies of such cosmologies. Together they stimulated examination of themes that were fundamental in the development of the Hawking-Penrose singularity theorems and in studies of cosmological dynamics. I review these two papers, and the developments that resulted from them.
Introduction
Gödel became interested in general relativity theory while he and Einstein were both on staff of the Institute for Advanced Studies in Princeton. Apparently they discussed the subject together often. His resultant two papers had a major impact:
Curiously, the beginning of the modern studies of singularities in general relativity in many ways had its seeds in the presentation by Kurt Gödel (1949) of an exact solution of Einstein's equations for pressure-free matter, which could be thought of as a singularity-free, rotating but non-expanding cosmological model … [this paper] was one of the papers presented in a special issue of Reviews of Modem Physics dedicated to Einstein on his 70th birthday. Gödel used this space-time as an example helping to clarify the nature of time in general relativity, for it is an exact solution of the Einstein equations in which there are closed timelike lines: an observer can travel into his own past, and (as an old man) stand alongside himself (as a young man). He shortly thereafter published a further paper (1952) discussing a family of exact solutions of Einstein's equations representing rotating and expanding spatially homogeneous universe models (and relying on the geometric results derived many decades earlier by Sophus Lie and Luigi Bianchi). As these permit non-zero redshifts, they could include realistic models of the observed universe.
- Type
- Chapter
- Information
- Gödel '96Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy, pp. 34 - 49Publisher: Cambridge University PressPrint publication year: 2017
References
- 3
- Cited by