Kurt Gödel

The ideas here are retold from the historical record, drawn from the sources each event cites. Kurt Gödel never posted on Veritula. To report a mistake, email veritula@dennishackethal.com.

Chronicled events

1. September 8, 1930·​“We Must Know. We Will Know.”
   #5872

   In any consistent system of rules strong enough for arithmetic, there are true statements that the rules can neither prove nor disprove. So no one system can answer every question of mathematics.