Skip to content
MacTutor
Home
Biographies
History Topics
Map
Curves
Search
17th November
On this day in
1930
Kurt Godel
's
On formally undecidable propositions of Principia Mathematica and related systems
was received for publication. It contained the result that there are true but unprovable statements in arithmetic.