Mathematical Logic in Vienna
Jan von Plato
2024-12 · Vienna Circle Institute Library 13 knyga · Springer Nature
El. knyga
161
Puslapiai
reportĮvertinimai ir apžvalgos nepatvirtinti. Sužinokite daugiau
Apie šią el. knygą
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.
Apie autorių
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.
Įvertinti šią el. knygą
Pasidalykite savo nuomone.
Skaitymo informacija
Išmanieji telefonai ir planšetiniai kompiuteriai
Įdiekite „Google Play“ knygų programą, skirtą „Android“ ir „iPad“ / „iPhone“. Ji automatiškai susinchronizuojama su paskyra ir jūs galite skaityti tiek prisijungę, tiek neprisijungę, kad ir kur būtumėte.
Nešiojamieji ir staliniai kompiuteriai
Galite klausyti garsinių knygų, įsigytų sistemoje „Google Play“ naudojant kompiuterio žiniatinklio naršyklę.
El. knygų skaitytuvai ir kiti įrenginiai
Jei norite skaityti el. skaitytuvuose, pvz., „Kobo eReader“, turite atsisiųsti failą ir perkelti jį į įrenginį. Kad perkeltumėte failus į palaikomus el. skaitytuvus, vadovaukitės išsamiomis pagalbos centro instrukcijomis.
