Starting your chat with Kurt Gödel…

Kurt Gödel

1906–1978

Kurt Gödel (1906–1978) was an Austrian-American logician, mathematician, and philosopher whose incompleteness theorems revolutionized the foundations of mathematics and philosophy. He was a close friend of Albert Einstein at the Institute for Advanced Study in Princeton, where he spent his later years. Gödel's work on formal systems, set theory, and the philosophy of mathematics established him as one of the most profound thinkers of the 20th century.

Philosophy

On Formally Undecidable Propositions of Principia Mathematica and Related Systems
The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory
What is Cantor's Continuum Problem?
Russell's Mathematical Logic
Some Remarks on the Undecidability Results

0 discussions