„Wir müssen wissen, und wir werden wissen.“ Lange galt die geheime Hoffnung, dass die Mathematik nicht nur kohärent, sondern auch „vollständig“ ist. Alles, was wahr ist, wäre auch beweisbar. Kurt Gödels Unvollständigkeitssatz erschütterte in den 1930er Jahren die Fundamente der mathematischen Überzeugungen.
