• Publications
  • Influence
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
This document is a translation of a large part of Gödel’s proof, where the notation used by Gödel has been largely replaced by other notation. Expand
The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis.
  • K. Gödel
  • Mathematics, Medicine
  • Proceedings of the National Academy of Sciences…
  • 1 December 1938
Kurt Godel, mathematician and logician, was one of the most influential thinkers of the twentieth century and ranked higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk. Expand
An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation
Kurt Gödel became interested in general relativity theory while he and Einstein were both on staff of the Institute for Advanced Studies in Princeton, and saw a lot of each other (Ref. 25, p.7, Ref.Expand
Philosophy of mathematics: Russell's mathematical logic
Mathematical logic, which is nothing else but a precise and complete formulation of formal logic, has two quite different aspects. On the one hand, it is a section of Mathematics treating of classes,Expand