Kurt Gödel IQ

Kurt Gödel's IQ is estimated at 160 to 180. No documented score exists; the estimate rests on proving the incompleteness theorems at 25.

Gödel's IQ is 170+. What's yours?

Take the IQ test

25 questions · about 12 minutes

Think you're smarter than Kurt Godel? Try question 1.

A
B
C
D
E

Which option completes the grid? One tap, no sign-up.

Portrait of Kurt Gödel

Key facts

Estimated IQ
IQ 170+
Range
IQ 160 to IQ 180
Known for
Incompleteness theorems
Lived
Logician & Mathematician, 1906–1978
Basis
No documented estimate; editorial comparison from output
Confidence
Very low. Born after 1850, so outside the Cox 1926 study. No IQ test result is known.

Gödel has no documented IQ estimate. His incompleteness theorems, proved at 25, are among the deepest results in logic; 170+ is an editorial marker.

What was Kurt Gödel's IQ?

There is no known IQ test for Gödel and no historiometric study of him. LifeScore uses 170+ as an editorial marker, with a range of 160 to 180. The evidence is his incompleteness theorems of 1931, proved at 25, which changed mathematics, logic and computer science.

Were Gödel and Einstein friends?

Yes. At the Institute for Advanced Study in Princeton they walked home together almost daily. Oskar Morgenstern reported Einstein saying he went to his office mainly for the privilege of walking home with Gödel. Gödel gave Einstein a new cosmological solution for his 70th birthday.

What do Gödel's incompleteness theorems say?

The first says any consistent formal system strong enough for basic arithmetic contains true statements it cannot prove. The second says such a system cannot prove its own consistency. Together they ended the hope, championed by David Hilbert, of a complete and provably safe foundation for mathematics.

How smart was Kurt Gödel?

  1. 01

    Completeness

    His 1929 doctoral thesis proved that first-order logic can prove every statement true in all its models.
  2. 02

    Incompleteness

    In 1931 he showed any consistent system rich enough for arithmetic contains true statements it cannot prove.
  3. 03

    Set theory

    He proved the axiom of choice and continuum hypothesis cannot be disproved from the standard axioms.
  4. 04

    A rotating universe

    In 1949 he found a solution to Einstein's equations that allows loops in time.

How Gödel thought

Gödel found ways to make mathematics talk about itself. His key trick was to code statements about proofs as numbers, so a formula could effectively say "I am not provable". That kind of self-reference, handled with total precision, runs through all his work.

The evidence behind the estimate

An estimate built from the historical record, not a recovered test score.

What supports it

  • His 1929 doctoral thesis proved the completeness theorem for first-order logic.
  • In 1931, aged 25, he published the incompleteness theorems, showing that any consistent system rich enough for arithmetic has true statements it cannot prove.
  • He later showed the axiom of choice and the continuum hypothesis are consistent with standard set theory.

What it cannot prove

  • Logic rewards a very specific depth of reasoning that general scales may not capture.
  • His later life was marked by severe difficulties that are not evidence either way about ability.
  • No psychometric record exists.

Gödel compared with von Neumann, Turing, Einstein

FigureEstimateRange
Kurt Gödel170+160–180
John von Neumann170+160–190
Alan Turing170+155–180
Albert Einstein160+150–170

Psychological profile

Kurt Gödel's IQ is represented here by a retrospective estimate of 170+, not a verified test result. Kurt Gödel is best known for exceptional formal reasoning. The useful question is what the surviving evidence shows, not whether a precise modern score can be recovered.

Intensely private and precise. Proved limits on what logic itself can prove.

The dominant archetype here is The Logician. This archetype shapes decision patterns: what feels natural, what creates friction, and what blind spots tend to emerge.

Estimated IQ is 170+. This is a rough estimate based on documented accomplishments and contemporary accounts, not a literal measurement.

Key traits

  1. Formal Reasoning

    He worked slowly and published little, but almost everything he published was foundational.

  2. Precision

    He read philosophy deeply, especially Leibniz.

  3. Solitude

    Turing's work on computation built directly on his 1931 method.

One thing most people do not know

John von Neumann is reported to have called Gödel the greatest logician since Aristotle.

Kurt Gödel: common questions

Was Kurt Gödel a genius?

Kurt's record supports exceptional achievement, but "genius" is not established by an unverified IQ number. Their The Logician archetype, combined with Formal Reasoning and Precision, is a more useful interpretation of their output.

What personality type was Kurt Gödel?

Kurt fits the The Logician archetype. Key traits include Formal Reasoning, Precision, and Solitude. This profile helps explain both their strengths and their documented failure modes.

What can we learn from Kurt Gödel?

Kurt's profile teaches that extreme strengths create extreme trade-offs. Their Formal Reasoning and Precision enabled success but also created recurring friction.

Gödel's IQ is 170+. What's yours?

Gödel's estimate comes from the historical record. Yours can come from a real test: 25 visual reasoning questions.

Take the IQ test

25 questions · about 12 minutes

Sources

  1. Kurt Gödel, Stanford Encyclopedia of Philosophy. Scholarly account of his life and logical work.
  2. Kurt Gödel biography, MacTutor, University of St Andrews. Covers his completeness and incompleteness theorems and set theory.
  3. Cox, C. M. (1926). The Early Mental Traits of Three Hundred Geniuses. Stanford University Press.
  4. Simonton, D. K. (2009). Genius 101. Springer.
  5. Cattell, R. B. (1971). Abilities: Their Structure, Growth, and Action. Houghton Mifflin.
  6. Portrait: Unknown authorUnknown author · Public domain · Wikimedia Commons

Last reviewed September 2026. How we estimate historical IQ