Kurt Gödel’s avatar

Kurt Gödel

Historical profile
Austrian logician​·​1906–1978

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.