Books of Kurt Gödel

The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory

Published on: 1940

Beginner Unordered English

Gödel Axiom Set Theory Continuum Hypothesis Consistency

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Published on: 1992

Beginner Mathematical Logic English

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which …

Gödel Incompleteness Theorem Logic Mathematics

Page 1 of 1