From Euclid into Chaos

Formalism Chronograph

• 1878, Cantor (set theory, Cantor sets, fractals, continuum hypothesis)
• 1884, Frege (axioms for natural numbers)
• 1888, Peano (axioms for vector spaces)
• 1899, Hilbert (Foundations of Geometry, repairs Euclid, ideas of consistency, independence, completeness)
• 1931, Godel (proves undecidability and incompleteness, refers to Liar's paradox [Wang, p. 62; Van Heijenoort, p. 89])