
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 ...
DETAILS
Kurt Gödel
Metamathematisches Genie
Brewer, William D.
Gebunden, xxiv, 528 S.
XXIV, 528 S. 101 Abb., 36 Abb. in Farbe.
Sprache: Deutsch
235 mm
ISBN-13: 978-3-031-43150-0
Titelnr.: 96743710
Gewicht: 930 g
Springer, Berlin (2024)
Herstelleradresse
Springer Heidelberg
Tiergartenstr. 17
69121 - DE Heidelberg
E-Mail: buchhandel-buch@springer.com