LEADER 03289nam 22006495 450 001 9910921011103321 005 20250321122239.0 010 $a9783031816918 010 $a3031816919 024 7 $a10.1007/978-3-031-81691-8 035 $a(CKB)37122134300041 035 $a(MiAaPQ)EBC31868048 035 $a(Au-PeEL)EBL31868048 035 $a(DE-He213)978-3-031-81691-8 035 $a(EXLCZ)9937122134300041 100 $a20250101d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMathematical Logic in Vienna /$fedited by Jan von Plato 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (168 pages) 225 1 $aVienna Circle Institute Library ;$v13 311 08$a9783031816901 311 08$a3031816900 320 $aIncludes bibliographical references. 327 $aPart 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. 330 $aKurt 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. . 410 0$aVienna Circle Institute Library ;$v13 606 $aLogic 606 $aMathematics 606 $aHistory 606 $aPhilosophy$xHistory 606 $aLogic 606 $aHistory of Mathematical Sciences 606 $aHistory of Philosophy 615 0$aLogic. 615 0$aMathematics. 615 0$aHistory. 615 0$aPhilosophy$xHistory. 615 14$aLogic. 615 24$aHistory of Mathematical Sciences. 615 24$aHistory of Philosophy. 676 $a511.3 702 $aVon Plato$b Jan 702 $aGo?del$b Kurt 702 $aHahn$b Hans 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910921011103321 996 $aMathematical Logic in Vienna$94349748 997 $aUNINA