Jan Von Plato: Portrait of Young Gödel, Kartoniert / Broschiert
Portrait of Young Gödel
- Education, First Steps in Logic, the Problem of Completeness
(soweit verfügbar beim Lieferanten)
- Verlag:
- Springer, 02/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031519734
- Artikelnummer:
- 12183701
- Umfang:
- 320 Seiten
- Gewicht:
- 487 g
- Maße:
- 235 x 155 mm
- Stärke:
- 18 mm
- Erscheinungstermin:
- 7.2.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Portrait of Young Gödel |
Preis |
---|
Klappentext
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.
Mehr von Jan Von Plato
