Mathematical Logic in Vienna

Kurt Gödel, Hans Hahn (Autoren)

Buch | Hardcover

IX, 161 Seiten

2025
Springer International Publishing (Verlag)
978-3-031-81690-1 (ISBN)

Noch nicht erschienen - erscheint am 01.02.2025
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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.

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.

Part 1: The Beginnings of Mathematical Logic in Vienna.- Part 2. Report of the Seminar on Mathematical Logic.- Part 3. Godel's Trial Lecture on Instutionistic Logic.

Erscheinungsdatum	07.01.2025
Reihe/Serie	Vienna Circle Institute Library
Zusatzinfo	IX, 161 p.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Geisteswissenschaften ► Philosophie ► Geschichte der Philosophie
	Geisteswissenschaften ► Philosophie ► Logik
	Geisteswissenschaften ► Philosophie ► Philosophie der Neuzeit
	Mathematik / Informatik ► Mathematik ► Geschichte der 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-81690-0 / 3031816900
ISBN-13	978-3-031-81690-1 / 9783031816901
Zustand	Neuware