Mathematical Logic in Vienna (eBook)
IX, 161 Seiten
Springer Nature Switzerland (Verlag)
978-3-031-81691-8 (ISBN)
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.
| Erscheint lt. Verlag | 31.12.2024 |
|---|---|
| Reihe/Serie | Vienna Circle Institute Library |
| Zusatzinfo | IX, 161 p. |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Geisteswissenschaften ► Philosophie ► Geschichte der Philosophie | |
| Mathematik / Informatik ► Mathematik | |
| Schlagworte | completeness theorem • Gödel and philosophy • Gödel's theorems • herbrand and philosophy • incompleteness theorem • Intuitionistic Logic • Jacques Herbrand • logic in Vienna • Vienna Circle • Viennese mathematicians and philosophers |
| ISBN-10 | 3-031-81691-9 / 3031816919 |
| ISBN-13 | 978-3-031-81691-8 / 9783031816918 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich