Verwandte Artikel zu Mathematical Logic in Vienna (Vienna Circle Institute...

Mathematical Logic in Vienna (Vienna Circle Institute Library, 13, Band 13) - Hardcover

Gödel, Kurt; Hahn, Hans

 
9783031816901: Mathematical Logic in Vienna (Vienna Circle Institute Library, 13, Band 13)
Hardcover
ISBN 10: 3031816900 ISBN 13: 9783031816901
Verlag: Springer, 2025

Inhaltsangabe

This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The seminar proceedings, given in English translation, are a unique witness of the state of research in logic and foundations of mathematics right after Gödel had published his celebrated incompleteness theorems. The seminars explain Gödel's results in logic in detail, in contrast to his publications of the time that often were quite laconic and extremely short. This book also contains Gödel's trial lecture on intuitionistic logic held in Vienna in 1933. The manuscript, recently found among the Gödel papers kept in Princeton, is preserved in Gödel's forgotten German shorthand and published here in an English translation. 

 

 The book also adds an important aspect to the intellectual history of Vienna, as both Gödel and Hahn were members of the Vienna Circle group of philosophers and scientists. 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Jan von Plato is a specialist in logic and history and philosophy of exact science. He has published twelve books on probability theory, proof theory, and the development of logic and foundational study, and over one hundred research articles. In 2018-24, he led a project funded by the European Research Council that resulted in eight books with materials drawing from Kurt Gödel's vast collection of manuscripts written in an obsolete German shorthand.

Von der hinteren Coverseite

Kurt Gödel (1906-1978) created a sensation by his incompleteness theorems of 1931, now seen as one of the high points of 20th century mathematics and science more generally. His professor at the University of Vienna Hans Hahn decided to organize a seminar on mathematical logic for the academic year 1931/32, with Gödel in charge for most of the practical side. The seminar proceedings, given in English translation in this book, are a unique witness of the state of research in logic and foundations of mathematics right after Gödel's theorems. They also add an important aspect to the intellectual history of these times in Vienna, both Hahn and Gödel having been members of the Vienna Circle. One fourth of the seminars were dedicated to Gödel's results: First the doctoral thesis about the completeness of predicate logic, then incompleteness, and last his results on intuitionistic logic. The seminars explain all these results in detail, in contrast to Gödel's publications of the time that often were quite laconic and extremely short. This book also contains Gödel's trial lecture on intuitionistic logic  held in Vienna in 1933. The manuscript, recently found among the Gödel papers kept in Princeton, is preserved in Gödel's forgotten German shorthand and published here in an English translation. 

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2025
Sprache
Englisch
ISBN 10 
3031816900
ISBN 13 
9783031816901
Einband
Gebundene Ausgabe
Anzahl der Seiten
170
Herausgeber
Von Plato Jan
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland