Kurt Gödel gilt als der bedeutendste Logiker des 20. Jahrhunderts. Er bewies logisch, dass man mit Logik nicht alles beweisen kann, und zeigte damit: Unsere Erkenntnis, unser Verstand hat Grenzen. Auch als Person war Gödel extrem. Von Aeneas Rooch (BR 2018)