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.