Zu seinen Lebzeiten war Kurt Gödel außerhalb der Fachwelt der Mathematiker, Philosophen und theoretischen Physiker kaum bekannt. Zu Beginn seiner Karriere schuf er beeindruckende Arbeiten zur Vollständigkeit und Beweisbarkeit formaler logischer Systeme, die zu seiner Dissertation und seiner Habilitations-schrift wurden und ihn unter Fachleuten weltberühmt machten. Seine Unvoll-ständigkeitssätze läuteten das Ende der formal-logischen Programme der Logizisten (Russell et al.) und der Formalist ...