Portrait of Young Gödel (Record no. 57512)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04953nam a22005535i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-51971-0 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030111418.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240206s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031519710 |
| -- | 978-3-031-51971-0 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-031-51971-0 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | D1-2027 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | JFCX |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | HIS000000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | JBCC9 |
| Source | thema |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | von Plato, Jan. |
| Relator term | author. |
| Authority record control number | (orcid)0000-0002-8370-9255 |
| -- | https://orcid.org/0000-0002-8370-9255 |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 9 (RLIN) | 70672 |
| 245 10 - TITLE STATEMENT | |
| Title | Portrait of Young Gödel |
| Medium | [electronic resource] : |
| Remainder of title | Education, First Steps in Logic, the Problem of Completeness / |
| Statement of responsibility, etc. | by Jan von Plato. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer Nature Switzerland : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | IX, 307 p. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Vienna Circle Institute Library ; |
| Volume/sequential designation | 9 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | History. |
| 9 (RLIN) | 70673 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | Biography. |
| 9 (RLIN) | 68034 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | Biography. |
| 9 (RLIN) | 68035 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70675 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 68038 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031519703 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031519727 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031519734 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Vienna Circle Institute Library ; |
| Volume number/sequential designation | 9 |
| 9 (RLIN) | 70676 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-031-51971-0">https://doi.org/10.1007/978-3-031-51971-0</a> |
| 912 ## - | |
| -- | ZDB-2-HTY |
| 912 ## - | |
| -- | ZDB-2-SXH |
No items available.