Select a card to move the map to that location.
Richard Dedekind
A mathematician who rebuilt the intuitive continuous line from the structure of the rational numbers. Dedekind completed a doctorate under Gauss in 1852 and is recorded as Gauss’s last doctoral pupil. While teaching in Zürich in 1858, he confronted the need for a rigorous account of real numbers. His 1872 Continuity and Irrational Numbers constructed a real number from a “cut” dividing the rationals into two classes. Méray, Cantor, and Weierstrass pursued other rigorous constructions in the same period, so this was not a solitary first. His 1888 What Are Numbers and What Should They Be? analyzed natural numbers and induction through sets and mappings. In algebraic number theory, ideals restored a form of factorization where ordinary elements no longer factored uniquely.
Cantor's Infinity — What He Saw But Did Not Believe
Born in Saint Petersburg and based professionally in Halle, Cantor made infinite sets comparable. The journey follows opposition, isolation, recurring mental illness, and the spread of his ideas without reducing an illness to one rival or claiming acceptance came only after death.
Kurt Gödel
A logician who established mathematical limits of formal systems. At age 24, Gödel informally announced his first incompleteness result in a Königsberg discussion on 7 September 1930; the paper stating both theorems appeared in January 1931. Under their stated assumptions, effectively axiomatized systems strong enough for arithmetic contain sentences they cannot decide and generally cannot prove their own consistency.
Advanced → Expert
Ready for expert depth?
Separate what is proved from what remains open, and inspect the axioms, computation, and evidence underneath.
Next takeaway · One next research question
Open a expert path