國立高雄大學圖資館 |

Portrait of young Gödeleducation, first steps in logic, the problem of completeness /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Portrait of young Gödelby Jan von Plato.
其他題名:	education, first steps in logic, the problem of completeness /
作者:	Von Plato, Jan.
出版者:	Cham :Springer Nature Switzerland :2024.
面頁冊數:	ix, 307 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Logic.
電子資源:	https://doi.org/10.1007/978-3-031-51971-0
ISBN:	9783031519710$q(electronic bk.)

Portrait of young Gödeleducation, first steps in logic, the problem of completeness /
Von Plato, Jan.

Portrait of young Gödeleducation, first steps in logic, the problem of completeness /[electronic resource] :by Jan von Plato. - Cham :Springer Nature Switzerland :2024. - ix, 307 p. :ill., digital ;24 cm. - Vienna circle institute library ;v. 9. - Vienna circle institute library ;v.3..

PART I: AT HIGH SCHOOL AND UNIVERSITY -- 1. At high school -- 1.1. High school extraordinary -- 1.2. The activity of the human mind -- 1.3. Molecular theory -- 1.4. G¨odel's esoteric side -- At university: from physics to mathematics -- 2.1. The physics student -- 2.2. Mathematics and philosophy -- PART II: FIRST STEPS IN LOGIC -- 1. First encounters with foundational problems -- 2. The Weber-Heft -- 3. The U¨ bungsheft Logik -- 3.1. Exercise in constitutional analysis -- 3.2. Formal derivations in second-order arithmetic and set theory -- 3.3. Beautiful syntax trees and other diversions -- 3.4. Summary overview of the U¨ bungsheft -- 4. Punktmengenlehre -- 4.1. Hilbert's geometry -- 4.2. Hausdorff's point set topology -- PART III: THE PROBLEM OF COMPLETENESS -- 1. From Carnap's exercises to the problem of completeness -- 2. Dissertation draft -- 2.1. Generality -- 2.2. First-order logic -- 2.3. The proof of completeness -- 3. Completeness of the axioms of the narrower function calculus -- 4. Lectures and seminars on completeness. -- 5. Anticipations of incompleteness -- PART IV: THE SHORTHAND NOTEBOOKS -- 1. The Weber-Heft -- 2. U¨ bungsheft Logik: formal derivations -- 3. Punktmengenlehre: Hilbert's geometry -- 4. Punktmengenlehre and U¨ bungsheft: set theory and topology -- 6. Completeness of the axioms of the narrower function calculus -- PART V: LECTURES AND SEMINARS ON COMPLETENESS -- 1. On the completeness of the axioms of the logical function calculus -- 2. Lecture in K¨onigsberg -- 3. Lecture in Vienna (plan of contents) -- 4. Report on G¨odel's work -- 5. Completeness of the function calculus.

In the summer of 1928, Kurt Gödel (1906-1978) embarked on his logical journey that would bring him world fame in a mere three years. By early 1929, he had solved an outstanding problem in logic, namely the question of the completeness of the axioms and rules of quantificational logic. He then went on to extend the result to the axiom system of arithmetic but found, instead of completeness, his famous incompleteness theorem that got published in 1931. It belongs to the most iconic achievements of 20th century science and has been instrumental in the development of theories of formal languages and algorithmic computability - two essential components in the birth of the information society. This book explores Gödel's way from an exceptional high-school student to a firmly established young logician. Essays in Gödel's hand from the high school show that his central philosophical and scientific convictions were formed early on, before his university studies. Particular emphasis is laid on the course that made Gödel one of the foremost logicians of all times. The scientific biography of young Gödel is followed by English translations from Gödel's German Gabelsberger shorthand of all his early preserved notebooks on logic and related topics.

ISBN: 9783031519710$q(electronic bk.)

Standard No.: 10.1007/978-3-031-51971-0doiSubjects--Personal Names:

305217
Gödel, Kurt.
Subjects--Topical Terms:

180785
Logic.

LC Class. No.: BC108

Dewey Class. No.: 160

Portrait of young Gödeleducation, first steps in logic, the problem of completeness /
LDR:03942nmm a2200337 a 4500 001 663219
003 DE-He213
005 20240206123654.0
006 m d
007 cr nn 008maaau
008 241203s2024 sz s 0 eng d
020 $a 9783031519710$q(electronic bk.)
020 $a 9783031519703$q(paper)
024 7 $a 10.1007/978-3-031-51971-0 $2 doi
035 $a 978-3-031-51971-0
040 $a GP $c GP
041 0 $a eng
050 4 $a BC108
072 7 $a JFCX $2 bicssc
072 7 $a HIS000000 $2 bisacsh
072 7 $a JBCC9 $2 thema
082 0 4 $a 160 $2 23
090 $a BC108 $b .V948 2024
100 1 $a Von Plato, Jan. $3 183815
245 1 0 $a Portrait of young Gödel $h [electronic resource] : $b education, first steps in logic, the problem of completeness / $c by Jan von Plato.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a ix, 307 p. : $b ill., digital ; $c 24 cm.
490 1 $a Vienna circle institute library ; $v v. 9
505 0 $a PART I: AT HIGH SCHOOL AND UNIVERSITY -- 1. At high school -- 1.1. High school extraordinary -- 1.2. The activity of the human mind -- 1.3. Molecular theory -- 1.4. G¨odel's esoteric side -- At university: from physics to mathematics -- 2.1. The physics student -- 2.2. Mathematics and philosophy -- PART II: FIRST STEPS IN LOGIC -- 1. First encounters with foundational problems -- 2. The Weber-Heft -- 3. The U¨ bungsheft Logik -- 3.1. Exercise in constitutional analysis -- 3.2. Formal derivations in second-order arithmetic and set theory -- 3.3. Beautiful syntax trees and other diversions -- 3.4. Summary overview of the U¨ bungsheft -- 4. Punktmengenlehre -- 4.1. Hilbert's geometry -- 4.2. Hausdorff's point set topology -- PART III: THE PROBLEM OF COMPLETENESS -- 1. From Carnap's exercises to the problem of completeness -- 2. Dissertation draft -- 2.1. Generality -- 2.2. First-order logic -- 2.3. The proof of completeness -- 3. Completeness of the axioms of the narrower function calculus -- 4. Lectures and seminars on completeness. -- 5. Anticipations of incompleteness -- PART IV: THE SHORTHAND NOTEBOOKS -- 1. The Weber-Heft -- 2. U¨ bungsheft Logik: formal derivations -- 3. Punktmengenlehre: Hilbert's geometry -- 4. Punktmengenlehre and U¨ bungsheft: set theory and topology -- 6. Completeness of the axioms of the narrower function calculus -- PART V: LECTURES AND SEMINARS ON COMPLETENESS -- 1. On the completeness of the axioms of the logical function calculus -- 2. Lecture in K¨onigsberg -- 3. Lecture in Vienna (plan of contents) -- 4. Report on G¨odel's work -- 5. Completeness of the function calculus.
520 $a In the summer of 1928, Kurt Gödel (1906-1978) embarked on his logical journey that would bring him world fame in a mere three years. By early 1929, he had solved an outstanding problem in logic, namely the question of the completeness of the axioms and rules of quantificational logic. He then went on to extend the result to the axiom system of arithmetic but found, instead of completeness, his famous incompleteness theorem that got published in 1931. It belongs to the most iconic achievements of 20th century science and has been instrumental in the development of theories of formal languages and algorithmic computability - two essential components in the birth of the information society. This book explores Gödel's way from an exceptional high-school student to a firmly established young logician. Essays in Gödel's hand from the high school show that his central philosophical and scientific convictions were formed early on, before his university studies. Particular emphasis is laid on the course that made Gödel one of the foremost logicians of all times. The scientific biography of young Gödel is followed by English translations from Gödel's German Gabelsberger shorthand of all his early preserved notebooks on logic and related topics.
600 1 0 $a Gödel, Kurt. $3 305217
650 0 $a Logic. $3 180785
650 0 $a Thought and thinking. $3 186890
650 1 4 $a Intellectual History. $3 913246
650 2 4 $a Biographies of Physicists and Astronomers. $3 935991
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Vienna circle institute library ; $v v.3. $3 700160
856 4 0 $u https://doi.org/10.1007/978-3-031-51971-0
950 $a History (SpringerNature-41172)