Gödel, Kurt. 1906-78. Czech/US logician. Theorem, 1931, asserts that no logical system can prove all its own propositions. Read More …