Zur Startseite gehen
0,00 €*
Cover: 9783031519703 | Portrait of Young Gödel | Jan Von Plato | Buch | ix | Englisch | 2024
Dekorationsartikel gehören nicht zum Leistungsumfang.
Portrait of Young Gödel
Education, First Steps in Logic, the Problem of Completeness
Buch von Jan Von Plato
Sprache: Englisch

128,39 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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.
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.
Über den Autor
Jan von Plato is professor of philosophy at the University of Helsinki. He has written several books on proof theory and the development of logic, including Elements of Logical Reasoning and The Great Formal Machinery Works. His series of books on Gödel began in 2020 with Can Mathematics Be Proved Consistent? Portrait of Young Gödel is the fifth book in this series.
Inhaltsverzeichnis

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.

Details
Erscheinungsjahr: 2024
Genre: Geschichte
Rubrik: Geisteswissenschaften
Medium: Buch
Reihe: Vienna Circle Institute Library
Inhalt: ix
307 S.
ISBN-13: 9783031519703
ISBN-10: 3031519701
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Plato, Jan Von
Auflage: 1st ed. 2024
Hersteller: Springer Nature Switzerland
Springer International Publishing
Springer International Publishing AG
Vienna Circle Institute Library
Maße: 241 x 160 x 23 mm
Von/Mit: Jan Von Plato
Erscheinungsdatum: 07.02.2024
Gewicht: 0,647 kg
Artikel-ID: 128132860
Über den Autor
Jan von Plato is professor of philosophy at the University of Helsinki. He has written several books on proof theory and the development of logic, including Elements of Logical Reasoning and The Great Formal Machinery Works. His series of books on Gödel began in 2020 with Can Mathematics Be Proved Consistent? Portrait of Young Gödel is the fifth book in this series.
Inhaltsverzeichnis

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.

Details
Erscheinungsjahr: 2024
Genre: Geschichte
Rubrik: Geisteswissenschaften
Medium: Buch
Reihe: Vienna Circle Institute Library
Inhalt: ix
307 S.
ISBN-13: 9783031519703
ISBN-10: 3031519701
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Plato, Jan Von
Auflage: 1st ed. 2024
Hersteller: Springer Nature Switzerland
Springer International Publishing
Springer International Publishing AG
Vienna Circle Institute Library
Maße: 241 x 160 x 23 mm
Von/Mit: Jan Von Plato
Erscheinungsdatum: 07.02.2024
Gewicht: 0,647 kg
Artikel-ID: 128132860
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780521096263 | Speech Acts | An Essay in the Philosophy of Language | John R. Searle
Speech Acts
An Essay in the Philosophy of Language
EAN: 9780521096263
Sprache: Englisch
Von/Mit: John R. Searle

68,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783593385440 | Die intellektuelle Gründung der Bundesrepublik | Albrecht (u. a.)
Die intellektuelle Gründung der Bundesrepublik
Eine Wirkungsgeschichte der Frankfurter Schule
EAN: 9783593385440
Sprache: Deutsch
Von/Mit: Clemens Albrecht (u. a.)

46,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783777613567 | Die chemischen Elemente | Ein Streifzug durch das Periodensystem
Die chemischen Elemente
Ein Streifzug durch das Periodensystem | Wissenswertes über die Entstehung des Universums, geologische Prozesse, die...
EAN: 9783777613567
Sprache: Deutsch
Von/Mit: Lucien F. Trueb

64,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9780226180311 | Abductive Analysis | Theorizing Qualitative Research | Tavory (u. a.)
Abductive Analysis
Theorizing Qualitative Research
EAN: 9780226180311
Sprache: Englisch
Von/Mit: Iddo Tavory (u. a.)

27,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781841657561 | Alan Turing | The Life of a Genius | Dermot Turing | Taschenbuch
Alan Turing
The Life of a Genius
EAN: 9781841657561
Sprache: Englisch
Von/Mit: Dermot Turing

11,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781474474580 | Diagrammatic Immanence | Category Theory and Philosophy | Rocco Gangle
Diagrammatic Immanence
Category Theory and Philosophy
EAN: 9781474474580
Sprache: Englisch
Von/Mit: Rocco Gangle

33,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780008580230 | The Sun | Beginner'S Guide to Our Local Star | Astronomy (u. a.)
The Sun
Beginner'S Guide to Our Local Star, Including Solar and Lunar Eclipses
EAN: 9780008580230
Sprache: Englisch
Von/Mit: Collins Astronomy (u. a.)

14,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781350232938 | Critical Thinking | An Introduction to Reasoning Well | Watson (u. a.)
Critical Thinking
An Introduction to Reasoning Well
EAN: 9781350232938
Sprache: Englisch
Von/Mit: Jamie Carlin Watson (u. a.)

32,50 €*

Aktuell nicht verfügbar

Buch
Cover: 9783510655472 | Wetzstein, Erz und Kohle | Herbert Scholz | Buch | XII | Deutsch
Wetzstein, Erz und Kohle
Nutzbare Gesteine, mineralische Rohstoffe und Trinkwasser aus den Allgäuer, Nordtiroler, Vorarlberger und Bayerischen...
EAN: 9783510655472
Sprache: Deutsch
Von/Mit: Herbert Scholz

49,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781394244584 | Critical Thinking Skills for Dummies | Martin Cohen | Taschenbuch
Critical Thinking Skills for Dummies
EAN: 9781394244584
Sprache: Englisch
Von/Mit: Martin Cohen

20,10 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...