國立虎尾科技大學 |

Mathematical logic in Vienna

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Mathematical logic in Vienna/ by 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

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

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

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9

Dewey Class. No.: 511.3

Mathematical logic in Vienna
LDR:02509nam a2200337 a 4500 001 1172081
003 DE-He213
005 20251030093406.0
006 m d
007 cr nn 008maaau
008 260512s2025 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 1379991
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 : $c 2025. $b Springer Nature Switzerland : $b Imprint: Springer,
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 527823
650 0 $a Vienna circle. $3 687341
650 1 4 $a Logic. $3 558909
650 2 4 $a History of Mathematical Sciences. $3 785417
650 2 4 $a History of Philosophy. $3 671574
700 1 $a Hahn, Hans. $3 1502871
700 1 $a Von Plato, Jan. $3 1417677
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Vienna Circle institute library ; $v v. 13. $3 1502872
856 4 0 $u https://doi.org/10.1007/978-3-031-81691-8
950 $a Religion and Philosophy (SpringerNature-41175)