若きゲーデルの肖像：教育、論理学への関心、完全性の問題 Portrait of Young Gödel : Education, First Steps in Logic, the Problem of Completeness (Vienna Circle Institute Library)

若きゲーデルの肖像：教育、論理学への関心、完全性の問題<br>Portrait of Young Gödel : Education, First Steps in Logic, the Problem of Completeness (Vienna Circle Institute Library)

個数：

若きゲーデルの肖像：教育、論理学への関心、完全性の問題
Portrait of Young Gödel : Education, First Steps in Logic, the Problem of Completeness (Vienna Circle Institute Library)

von Plato, Jan

ウェブストア価格 ¥28,580（本体¥25,982）
Springer International Publishing AG（2024/02発売）
外貨定価 US$ 139.99
ポイント 259pt

提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
【重要ご説明事項】
1. 納期遅延や、ご入手不能となる場合が若干ございます。
2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
3. 美品のご指定は承りかねます。

●3Dセキュア導入とクレジットカードによるお支払いについて

【入荷遅延について】
世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。

◆画像の表紙や帯等は実物とは異なる場合があります。

◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
また、洋書販売価格は、ご注文確定時点での日本円価格となります。
ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。

製本 Hardcover:ハードカバー版／ページ数 307 p.
言語 ENG
商品コード 9783031519703

Full Description

In the summer of 1928, Kurt Gö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 Gödel's way from an exceptional high-school student to a firmly established young logician. Essays in Gö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 Gödel one of the foremost logicians of all times. The scientific biography of young Gödel is followed by English translations from Gödel's German Gabelsberger shorthand of all his early preserved notebooks on logic and related topics.

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.