Kurt Gödel Quotes

Kurt Friedrich Gödel was an Austro-Hungarian-born Austrian logician, mathematician, and analytic philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, Alfred North Whitehead, and David Hilbert were analyzing the use of logic and set theory to understand the foundations of mathematics pioneered by Georg Cantor.

Gödel published his two incompleteness theorems in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. The first incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers , there are true propositions about the naturals that cannot be proved from the axioms. To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.

He also showed that neither the axiom of choice nor the continuum hypothesis can be disproved from the accepted axioms of set theory, assuming these axioms are consistent. The former result opened the door for mathematicians to assume the axiom of choice in their proofs. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic. Wikipedia  

✵ 28. April 1906 – 14. January 1978
Kurt Gödel photo
Kurt Gödel: 12   quotes 21   likes

Famous Kurt Gödel Quotes

“Either mathematics is too big for the human mind, or the human mind is more than a machine.”

As quoted in Topoi : The Categorial Analysis of Logic (1979) by Robert Goldblatt, p. 13

Kurt Gödel Quotes

“To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (κ) (where v is the free variable of r).”

Proposition VI, On Formally Undecidable Propositions in Principia Mathematica and Related Systems I (1931); Informally, recursive systems of axioms cannot be complete.

“I like Islam, it is a consistent idea of religion and open-minded.”

As quoted in A Logical Journey: From Gödel to Philosophy (1996) by Hao Wang

“But every error is due to extraneous factors (such as emotion and education); reason itself does not err.”

Attributed as a remark of 29th November 1972, in Incompleteness (2005) by Rebecca Goldstein

Similar authors

Bertrand Russell photo
Bertrand Russell 562
logician, one of the first analytic philosophers and politi…
Eugene Paul Wigner photo
Eugene Paul Wigner 6
mathematician and Nobel Prize-winning physicist
Ludwig Wittgenstein photo
Ludwig Wittgenstein 228
Austrian-British philosopher
Leon M. Lederman photo
Leon M. Lederman 6
American mathematician and physicist
Martin Heidegger photo
Martin Heidegger 69
German philosopher
John Nash photo
John Nash 23
American mathematician and Nobel Prize laureate
Simone Weil photo
Simone Weil 193
French philosopher, Christian mystic, and social activist
Paulo Freire photo
Paulo Freire 115
educator and philosopher
Emil M. Cioran photo
Emil M. Cioran 531
Romanian philosopher and essayist
Ayn Rand photo
Ayn Rand 322
Russian-American novelist and philosopher