Jan Von Plato: Portrait of Young Gödel, Kartoniert / Broschiert

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.