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...