國立高雄大學圖資館 |

登入

回首頁

Mathematical logic in Vienna

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Mathematical logic in Viennaby Kurt Godel, Hans Hahn ; edited by Jan von Plato.
作者:	Godel, Kurt.
其他作者:	Hahn, Hans.
出版者:	Cham :Springer Nature Switzerland :2025.
面頁冊數:	ix, 161 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Logic, Symbolic and mathematical.
電子資源:	https://doi.org/10.1007/978-3-031-81691-8
ISBN:	9783031816918$q(electronic bk.)

Mathematical logic in Vienna
Godel, Kurt.

Mathematical logic in Vienna[electronic resource] /by Kurt Godel, Hans Hahn ; edited by Jan von Plato. - Cham :Springer Nature Switzerland :2025. - ix, 161 p. :ill., digital ;24 cm. - Vienna Circle institute library,v. 132542-9914 ;. - Vienna Circle institute library ;v. 13..

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.

Kurt Godel (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 Godel 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 Godel's theorems. They also add an important aspect to the intellectual history of these times in Vienna, both Hahn and Godel having been members of the Vienna Circle. One fourth of the seminars were dedicated to Godel'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 Godel's publications of the time that often were quite laconic and extremely short. This book also contains Godel's trial lecture on intuitionistic logic held in Vienna in 1933. The manuscript, recently found among the Godel papers kept in Princeton, is preserved in Godel's forgotten German shorthand and published here in an English translation.

ISBN: 9783031816918$q(electronic bk.)

Standard No.: 10.1007/978-3-031-81691-8doiSubjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA9

Dewey Class. No.: 511.3

Mathematical logic in Vienna
LDR:02510nmm a2200337 a 4500 001 692310
003 DE-He213
005 20251030093406.0
006 m d
007 cr nn 008maaau
008 260604s2025 sz s 0 eng d
020 $a 9783031816918$q(electronic bk.)
020 $a 9783031816901$q(paper)
024 7 $a 10.1007/978-3-031-81691-8 $2 doi
035 $a 978-3-031-81691-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9 $b .G581 2025
100 1 $a Godel, Kurt. $3 874476
245 1 0 $a Mathematical logic in Vienna $h [electronic resource] / $c by Kurt Godel, Hans Hahn ; edited by Jan von Plato.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a ix, 161 p. : $b ill., digital ; $c 24 cm.
490 1 $a Vienna Circle institute library, $x 2542-9914 ; $v v. 13
505 0 $a 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.
520 $a Kurt Godel (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 Godel 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 Godel's theorems. They also add an important aspect to the intellectual history of these times in Vienna, both Hahn and Godel having been members of the Vienna Circle. One fourth of the seminars were dedicated to Godel'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 Godel's publications of the time that often were quite laconic and extremely short. This book also contains Godel's trial lecture on intuitionistic logic held in Vienna in 1933. The manuscript, recently found among the Godel papers kept in Princeton, is preserved in Godel's forgotten German shorthand and published here in an English translation.
650 0 $a Logic, Symbolic and mathematical. $3 180452
650 0 $a Vienna circle. $3 305822
650 1 4 $a Logic. $3 180785
650 2 4 $a History of Mathematical Sciences. $3 511733
650 2 4 $a History of Philosophy. $3 274764
700 1 $a Hahn, Hans. $3 1008987
700 1 $a Von Plato, Jan. $3 183815
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Vienna Circle institute library ; $v v. 13. $3 1008988
856 4 0 $u https://doi.org/10.1007/978-3-031-81691-8
950 $a Religion and Philosophy (SpringerNature-41175)