Logic's lost genius: the life of Gerhard Gentzen
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English German |
| Published: |
Providence, RI
American Mathematical Society [u.a.]
2007
|
| Series: | History of mathematics
33 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXII, 440 S. 27 cm |
| ISBN: | 9780821835500 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV023318255 | ||
| 003 | DE-604 | ||
| 005 | 20220120 | ||
| 007 | t | ||
| 008 | 080528s2007 xxu |||| 00||| eng d | ||
| 020 | |a 9780821835500 |9 978-0-8218-3550-0 | ||
| 035 | |a (OCoLC)845161327 | ||
| 035 | |a (DE-599)BVBBV023318255 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 1 | |a eng |h ger | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-210 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA29.G467 | |
| 082 | 0 | |a 510.92 | |
| 084 | |a SG 171 |0 (DE-625)143047:13635 |2 rvk | ||
| 084 | |a 03-03 |2 msc | ||
| 084 | |a 01A60 |2 msc | ||
| 084 | |a 01A70 |2 msc | ||
| 100 | 1 | |a Menzler-Trott, Eckart |d 1953- |e Verfasser |0 (DE-588)12110852X |4 aut | |
| 240 | 1 | 0 | |a Gentzens Problem |
| 245 | 1 | 0 | |a Logic's lost genius |b the life of Gerhard Gentzen |c Eckart Menzler-Trott |
| 264 | 1 | |a Providence, RI |b American Mathematical Society [u.a.] |c 2007 | |
| 300 | |a XXII, 440 S. |c 27 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a History of mathematics |v 33 | |
| 600 | 1 | 4 | |a Gentzen, Gerhard |
| 600 | 1 | 7 | |a Gentzen, Gerhard |d 1909-1945 |0 (DE-588)117710458 |2 gnd |9 rswk-swf |
| 648 | 7 | |a Geschichte 1933-1945 |2 gnd |9 rswk-swf | |
| 650 | 4 | |a Mathematicians |z Germany |v Biography | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Drittes Reich |0 (DE-588)4013021-6 |2 gnd |9 rswk-swf |
| 651 | 4 | |a Deutschland | |
| 651 | 7 | |a Deutschland |0 (DE-588)4011882-4 |2 gnd |9 rswk-swf | |
| 655 | 7 | |0 (DE-588)4006804-3 |a Biografie |2 gnd-content | |
| 689 | 0 | 0 | |a Gentzen, Gerhard |d 1909-1945 |0 (DE-588)117710458 |D p |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Deutschland |0 (DE-588)4011882-4 |D g |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 2 | |a Geschichte 1933-1945 |A z |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Drittes Reich |0 (DE-588)4013021-6 |D s |
| 689 | 2 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |C b |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4704-3899-9 |
| 830 | 0 | |a History of mathematics |v 33 |w (DE-604)BV001327576 |9 33 | |
| 856 | 4 | 2 | |m Digitalisierung Deutsches Museum |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016502390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016502390 | ||
Record in the Search Index
| _version_ | 1804137655565287424 |
|---|---|
| adam_text | CONTENTS PREFACE TO THE ENGLISH EDITION XIII INTRODUCTION XVII 1.
GENTZEN S ACCOMPLISHMENTS XVII 2. AIMS OF MY LIFESTORY OF GERHARD
GENTZEN XVIII 3. MATHEMATICAL LOGIC AND NATIONAL SOCIALISM:THE
POLITICALFIELD XIX CHAPTER 1. EARLY YOUTH AND ABITUR 1 1. GERHARD
GENTZEN S BIRTH 1 2. GENTZEN S MOTHER: MELANIE GENTZEN (1873-1968) 1 3.
GENTZEN S PATERNAL GRANDPARENTS AND HIS FATHER: THE ATTORNEY AND COURT
OFFICIALDR. JUR.HANS GENTZEN (1870-1919) 2 4. YOUTH AND STUDENT DAYS
OFHANS GENTZEN 3 5. GENTZEN S MATERNAL GRANDPARENTS: THE.PHYSICIAN
ALFONS BILHARZ AND ADELEBILHARZ 4 6. THE SHININGEXAMPLE
INGENTZEN SFAMILYTREE:THE GREAT,SUCCESSFUL PHYSICIANAND NATURALSCIENTIST
MAXIMILIANTHEODOR BILHARZ (1823-1862) 9 7. GENTZEN S SISTER:WALTRAUT
SOPHIE MARGARET GENTZEN (*1911) 10 8. THE SCHOOLCHILDGERHARD GENTZEN 11
9. THE DEATH OF THE FATHER MEANS A MOVE AND A NEW SCHOOL 12 10. THE
BEGINNING OF GENTZEN S INTELLECTUAL ACTIVITY 12 11. GENTZEN S SUCCESS AT
SCHOOL 15 12. THE ABITUR ON 29 FEBRUARY 1928 16 CHAPTER
2.1928-1938-WEIMAR REPUBLICAND NATIONALSOCIALISMINPEACE. FROM THE
BEGINNINGOF STUDIESTO THE EXTENSIONOFTHE UNSCHEDULEDASSISTANTSHIP
FORANOTHER YEAR INEFFECTFROM 1 OCTOBER 1938 21 1. BEGINNING OF STUDIESIN
GREIFSWALD 21 2. CONTINUATION OF STUDY IN GOTTINGEN 22 3. ISGOTTINGEN
THE CENTRE OF MATHEMATICS FORGENTZEN? 23 4. CONTINUING STUDIESIN MUNICH
23 5. A SEMESTER IN BERLIN:WINTER SEMESTER 1930/31 26 6. BACK IN
GOTTINGEN: SAUNDERS MAC LANE AND GENTZEN AS THE TYPE OF A
SCIENTIFICALLY ORIENTED MAN (RICHARD COURANT) 27 7. THE DECISION:
GENTZEN S FIRST PUBLICATION, UBER DIE EXISTENZ UNABHANGIGER
AXIOMENSYSTEME ZU UNENDLICHEN SATZSYSTEMEN AND HIS PROGRAMME FOR1932 30
VII VIII CONTENTS 8. WHAT DO GENTZEN S INTELLECTUAL INTERESTSAND
ATTITUDE IN 1931 AND 1932 APPEAR TO BE? 33 9. POLITICALLANGUAGE IN
MATHEMATICS IN 1918 34 10. POLITICALLANGUAGE BY HERMANN WEYL AND DAVID
HILBERT 34 11. WHOM DID GENTZEN KNOW IN GOTTINGEN AND WHAT DID HE READ?
37 12. GENTZEN S LIFEIN THE EARLY NAZI PERIOD. THE WITHDRAWN MANUSCRIPT
UBER DAS VERHALTNISZWISCHEN INTUITIONISTISCHER AND KLASSISCHER
ARITHMETIK OF 15 MARCH 1933 38 13. GERHARD GENTZEN S
DISSERTATION UNTERSUCHUNGEN FIBERDAS LOGISCHE SCHLIEFFEN OF 12 JULY
1933 41 14. THE PENETRATION OF THE NAZIS INTOMATHEMATICAL RESEARCH AT
THE UNIVERSITYIN GOTTINGEN 1933 AND 1934-OR, VAHLEN AND BIEBERBACH VS.
WEBER AND WEGNER 46 15. THE STATEEXAMINATION WITH ELEKTRONENBAHNEN
INAXIALSYMMETRISCHEN FELDERN UNTER ANWENDUNG AUF KOSMISCHE PROBLEME ON
16 NOVEMBER 1933 51 16. WHY DID GENTZEN JOIN THE SA? 52 17. GENTZEN S
POLITICALPOSITION:A CONJECTURE 53 18. GENTZEN IN FINANCIALDIFFICULTIES
54 19. FINANCIALSTRAITSAND JOB HUNTING 55 20. CONSISTENCY PROOF
FORNUMBER THEORY IN DISCUSSIONWITH PAUL BERNAYS 57 21.
WIDERSPRUCHSFREIHEITDER REINEN ZAHLENTHEORIE MIRRORED IN THE
CORRESPONDENCE OF BERNAYS AND WEYL 58 22. DIFFICULTIES WITH THE
WIDERSPRUCHSFREIHEITDER REINEN ZAHLENTHEORIE OF11 AUGUST 1935 59 23.
THE UNSCHEDULEDASSISTANTSHIP UNDERHILBERTFROM 1 NOVEMBER 1935: A
PRODUCTIVE PERIOD FORFOUNDATIONAL RESEARCH BEGINS 62 24. CONSISTENCY OF
TYPE THEORY 63 25. REVISING THE PROOF OF THE WIDERSPRUCHSFREIHEITDER
REINEN ZAHLENTHEORIE 64 26. DIE WIDERSPRUCHSFREIHEITDER
REINENZAHLENTHEORIE 65 27. GENTZEN WAS AN INTELLECTUAL INDEPENDENT 69
28. GENTZEN EXPRESSES HIS THANKS TO TURING 71 29. CORRESPONDENCE BETWEEN
BERNAYS AND ACKERMANN 1936 TO 1940 72 30. THE CORRESPONDENCE BETWEEN
BERNAYS AND GENTZEN MERRILY CONTINUES 75 31. INVITATIONTO THE
PARISIANDESCARTES CONGRESS IN AUGUST 1937. THE INVITATIONTO LECTURE TO
THE DMV CONFERENCE IN BAD KREUZNACH ON 21 SEPTEMBER 1937: DIE
GEGENWARTIGE LAGE IN DER MATHEMATISCHEN GRUNDLAGENFORSCHUNG . THE
EXTENSION OF THE TENURE OF THE UNSCHEDULED ASSISTANTSHIPON 1 OCTOBER
1937 FORA YEAR 77 32. JEAN CAVAILLESAND GERHARD GENTZEN 82 33. GENTZEN
BECOMES AN ASSOCIATE OF THE PUBLICATIONOF SCHOLZ S FORSCHUNGEN ZUR
LOGIK AND ZUR GRUNDLEGUNG DER EXAKTEN WISSENSCHAFTEN 84 34. DIE
GEGENWARTIGE LAGE IN DER MATHEMATISCHEN GRUNDLAGENFORSCHUNG 86 35.
NEUE FASSUNG DES WIDERSPRUCHSFREIHEITSBEWEISESDER REINEN ZAHLENTHEORIE
1938 88 CONTENTS IX 36. BERNAYS VIEW OF GENTZEN S PROGRAMME (SECOND
CONSISTENCY PROOF) 89 37. CORRESPONDENCE WITH PAUL BERNAYS 93 38.
EXTENSION OF THE UNSCHEDULED POSITIONFOR ANOTHER YEAR TAKING EFFECT1
OCTOBER 1938 97 39. BERNAYS VIEWS OFHILBERT SPROGRAMME AND GENTZEN S
PLACE IN IT 100 40. CLOSING THOUGHTS ON PAUL BERNAYS 101 41. LONGER
NOTES 102 CHAPTER 3.1939-1942-FROM THE BEGINNING OF THE WAR TO DISMISSAL
FROM THE WEHRMACHT AND THE WARTIME HABILITATIONUNDER HELMUT HASSE 117
1.1939: AT THE HIGHPOINT OF REPUTATION 117 2. THE SECOND VOLUME OF
GRUNDLAGEN DER MATHEMATIK OF HILBERTAND BERNAYS APPEARS 119 3. ACTIVE
MILITARYSERVICEAT THE HOMEFRONT AS RADIO OPERATOR BY THE
FLUGWACHKOMMANDO 125 4.1939/40: PREPARATION FOR HABILITATION.
BEWEISBARKEIT AND UNBEWEISBARKEIT VON ANFANGSFALLENDER
TRANSFINITENINDUKTION IN DER REINENZAHLENTHEORIE 128 5.1941:
ENCOURAGEMENT FROM HELLMUTH KNESER 135 6.1942: DISCHARGE FROM
MILITARYSERVICE 139 CHAPTER 4. THE FIGHT OVER GERMAN LOGIC FROM 1940
TO 1945: A BATTLE BETWEEN AMATEURS 141 A SHORT PREFACE 141 1. LUDWIG
BIEBERBACH AS SUPPORTER OF THE IDEA THAT THE VALIDITYOF MATHEMATICS BE
DECIDED THROUGH WORLD VIEWS 142 2. AN ADVOCATE OF RACIAL PURITY SETS THE
STANDARDS IN GERMAN MATHEMATICAL LOGIC, WHERE ATTEMPTS ARE MADE TO
CONFUSE SCIENTIFIC RESULTSWITH MATTERS OF RACE 143 3. GENTZEN AS A
WITNESS FORA NATIONAL-RACIALINTERPRETATIONOF THE MATHEMATICAL
FOUNDATIONAL RESEARCH THROUGH STECK AND REQUARD 144 4. THE SOMEWHAT
SHARPER POINT OFVIEW OF FRIEDRICHREQUARD 147 5. LUDWIG BIEBERBACH AND
HIS DEUTSCHE MATHEMATIK 150 6. NS IDEOLOGY IN MATHEMATICS THROUGH
BIEBERBACH RECEIVES NEGATIVE RESONANCE EVEN WITHIN HIS OWN CAMP 152 7.
LUDWIG BIEBERBACH: REPRESENTATIVEOF GERMAN MATHEMATICS 153 8. A
CONTEMPORARY OF BIEBERBACH SIN EXILE:JOHANN L. SCHMIDT 159 9. BIEBERBACH
AND INTUITIONISM 160 10. FORMALISM AND PROOF THEORY 160 11. APPLIED
MATHEMATICS AS FOLKISHMATHEMATICS 162 12. NAZIS CRITICISEDTHE LACK OF
SUPPORT FROM MATHEMATICS 163 13. MATHEMATICAL FOUNDATIONAL RESEARCH
REMAINS UNMOLESTED BY THE NAZIS 167 14. ATTACKS ON MATHEMATICAL LOGIC
FROM WITHOUT: DINGIER,STECK,AND MAY 169 15. THE ATTACKED: HEINRICH
SCHOLZ (1884-1956) 176 16. BIEBERBACH, MAX STECK AND JAENSCH 186 17.
BIEBERBACH AND ERICH JAENSCH 188 X CONTENTS 18. STECK SATTACK ON
HILBERTLEADS TO BIEBERBACH S COMMISSIONING A DEFENCE OF MATHEMATICAL
LOGIC BY H. SCHOLZ AND PUBLISHING IT IN DEUTSCHE MATHEMATIK 190 19.
INTERLUDE:MAY AND DINGIER PROVIDE ARGUMENTS FORSTECK 197 20. STECK AND
SCHOLZ IN DISPUTE 202 21. MAX STECK AS DENOUNCING EXPERT WITNESS AND
PUBLICIST 208 22. THE EXCEPTION: THE DEDICATED NATIONAL SOCIALIST,
LOGICIAN AND HISTORIANOF MATHEMATICS, OSKAR BECKER,REMAINS NEUTRAL 216
23. RESISTANCE AS A MATHEMATICIAN WAS POSSIBLEUNDER NATIONAL SOCIAL- ISM
218 24. KURT REIDEMEISTER SADDITIONAL CONTEMPLATIONS ON
POLITICO-SCIENTIFIC POWER PLAY IN GERMAN MATHEMATICS 219 25. LONGER
NOTES 221 CHAPTER 5. RECOVERY AND DOCENT POSITION1942 TO 1944 233 1.
FINAL DISCHARGE FROM THE GERMAN ARMY 233 2. HANS ROHRBACH COMMANDEERS
GERHARD GENTZEN TO PRAGUE THROUGH THE OSENBERG INITIATIVE 234 3.
GENTZEN S TEACHING POSITIONIN PRAGUE: KEPLER SLAWS OF PLANETARY MOTION
236 4. THE FIRSTCOURSES IN NOVEMBER 1943 238 5. THE LAST KNOWN
SCIENTIFIC LETTEROF GERHARD GENTZEN 243 6. GERHARD GENTZEN IN 1944:
TEACHING FUNCTIONS, COMPUTING OFFICE, AND WAR 244 7. HANS ROHRBACH S
REPORT ON THE CONDITIONS IN THE MATHEMATICAL INSTITUTEIN PRAGUE 246 8.
WHY DID GENTZEN BANISHANY THOUGHT OFFLIGHT? 247 CHAPTER 6.
ARREST,IMPRISONMENT, DEATH AND NACHLASS 253 1. THE LAST DAYS OFFREEDOM
IN THE PRIVATESECTOR 253 2. THE ARREST OF GERHARD GENTZEN AND THE AWFUL
IMPRISONMENT 255 3. GENTZEN S PHYSICALDEATH 257 4. ISGENTZEN S DEATH
UNDERSTANDABLE? 260 5. RUMOURS 261 6. ATTEMPTS TO RESCUE THE NACHLASS
263 7. THE DECIPHERING OF THE STENOGRAPHIC NOTES 266 CONCLUSION 267 1.
MISAPPREHENSIONS ABOUT THE LIFEOF GERHARD GENTZEN 267 2. LOGIC AND
POLITICS 267 3. UPSHOT 269 TABLES OFTHE LIFEOF GERHARD GENTZEN 273
CHRONOLOGY 273 CONTEMPORARY ASSESSMENTS OF GENTZEN 278 PUBLICATIONSOF
GENTZEN 281 APPENDIX A. GENTZENAND GEOMETRY C. SMORYI 283 CONTENTS
APPENDIX B. HILBERT S PROGRAMME C. SMORYNSKI 1. CONSTRUCTIVEPROLOGUE 2.
PROBLEMS IN PARIS 3. HILBERTAND GEOMETRY 4. FIRSTSTEPS 5. ENTER BROUWER
6. BACK TO HILBERT 7. WEYL STIRSTHINGS UP 8. HILBERTRESPONDS 9. MORE ON
BROUWER 10. OUTBREAK OF HOSTILITIES 11. THE FORMULA GAME 12. ON THE
INFINITE 13. A FRAGILETRUCE 14. HILBERT S PROGRAMME ISBORN 15. BROUWER
TAKESUP ARMS 16. HILBERTFINISHESOFF BROUWER 17. THE PROGRAMME EXPANDS
18. GODEL S THEOREM 19. CONCLUDINGREMARKS APPENDIX C. THREE LECTURES XI
291 291 293 296 300 301 308 310 312 322 323 324 325 327 329 331 332 334
335 339 GERHARD GENTZEN 343 1. THE CONCEPT OFINFINITYIN MATHEMATICS 343
2. THE CONCEPT OF INFINITYAND THE CONSISTENCY OFMATHEMATICS 350 3. THE
CURRENT SITUATION IN RESEARCH IN THE FOUNDATIONS OF MATHEMATICS 353
APPENDIX D. FROM HILBERT SPROGRAMME TO GENTZEN S PROGRAMME JAN VON PLATO
367 1. MATHEMATICAL PROOF 367 2. HILBERT S PROGRAMME 373 3. GENTZEN S
PROGRAMME 383 4. LATER DEVELOPMENTS IN STRUCTURAL PROOF THEORY 396 5.
REFERENCES 401 BIBLIOGRAPHY 405 INDEX 433
|
| adam_txt |
CONTENTS PREFACE TO THE ENGLISH EDITION XIII INTRODUCTION XVII 1.
GENTZEN'S ACCOMPLISHMENTS XVII 2. AIMS OF MY LIFESTORY OF GERHARD
GENTZEN XVIII 3. MATHEMATICAL LOGIC AND NATIONAL SOCIALISM:THE
POLITICALFIELD XIX CHAPTER 1. EARLY YOUTH AND ABITUR 1 1. GERHARD
GENTZEN'S BIRTH 1 2. GENTZEN'S MOTHER: MELANIE GENTZEN (1873-1968) 1 3.
GENTZEN'S PATERNAL GRANDPARENTS AND HIS FATHER: THE ATTORNEY AND COURT
OFFICIALDR. JUR.HANS GENTZEN (1870-1919) 2 4. YOUTH AND STUDENT DAYS
OFHANS GENTZEN 3 5. GENTZEN'S MATERNAL GRANDPARENTS: THE.PHYSICIAN
ALFONS BILHARZ AND ADELEBILHARZ 4 6. THE SHININGEXAMPLE
INGENTZEN'SFAMILYTREE:THE GREAT,SUCCESSFUL PHYSICIANAND NATURALSCIENTIST
MAXIMILIANTHEODOR BILHARZ (1823-1862) 9 7. GENTZEN'S SISTER:WALTRAUT
SOPHIE MARGARET GENTZEN (*1911) 10 8. THE SCHOOLCHILDGERHARD GENTZEN 11
9. THE DEATH OF THE FATHER MEANS A MOVE AND A NEW SCHOOL 12 10. THE
BEGINNING OF GENTZEN'S INTELLECTUAL ACTIVITY 12 11. GENTZEN'S SUCCESS AT
SCHOOL 15 12. THE ABITUR ON 29 FEBRUARY 1928 16 CHAPTER
2.1928-1938-WEIMAR REPUBLICAND NATIONALSOCIALISMINPEACE. FROM THE
BEGINNINGOF STUDIESTO THE EXTENSIONOFTHE UNSCHEDULEDASSISTANTSHIP
FORANOTHER YEAR INEFFECTFROM 1 OCTOBER 1938 21 1. BEGINNING OF STUDIESIN
GREIFSWALD 21 2. CONTINUATION OF STUDY IN GOTTINGEN 22 3. ISGOTTINGEN
THE CENTRE OF MATHEMATICS FORGENTZEN? 23 4. CONTINUING STUDIESIN MUNICH
23 5. A SEMESTER IN BERLIN:WINTER SEMESTER 1930/31 26 6. BACK IN
GOTTINGEN: SAUNDERS MAC LANE AND GENTZEN AS THE "TYPE OF A
SCIENTIFICALLY ORIENTED MAN" (RICHARD COURANT) 27 7. THE DECISION:
GENTZEN'S FIRST PUBLICATION,"UBER DIE EXISTENZ UNABHANGIGER
AXIOMENSYSTEME ZU UNENDLICHEN SATZSYSTEMEN" AND HIS PROGRAMME FOR1932 30
VII VIII CONTENTS 8. WHAT DO GENTZEN'S INTELLECTUAL INTERESTSAND
ATTITUDE IN 1931 AND 1932 APPEAR TO BE? 33 9. POLITICALLANGUAGE IN
MATHEMATICS IN 1918 34 10. POLITICALLANGUAGE BY HERMANN WEYL AND DAVID
HILBERT 34 11. WHOM DID GENTZEN KNOW IN GOTTINGEN AND WHAT DID HE READ?
37 12. GENTZEN'S LIFEIN THE EARLY NAZI PERIOD. THE WITHDRAWN MANUSCRIPT
"UBER DAS VERHALTNISZWISCHEN INTUITIONISTISCHER AND KLASSISCHER
ARITHMETIK" OF 15 MARCH 1933 38 13. GERHARD GENTZEN'S
DISSERTATION"UNTERSUCHUNGEN FIBERDAS LOGISCHE SCHLIEFFEN" OF 12 JULY
1933 41 14. THE PENETRATION OF THE NAZIS INTOMATHEMATICAL RESEARCH AT
THE UNIVERSITYIN GOTTINGEN 1933 AND 1934-OR, VAHLEN AND BIEBERBACH VS.
WEBER AND WEGNER 46 15. THE STATEEXAMINATION WITH "ELEKTRONENBAHNEN
INAXIALSYMMETRISCHEN FELDERN UNTER ANWENDUNG AUF KOSMISCHE PROBLEME" ON
16 NOVEMBER 1933 51 16. WHY DID GENTZEN JOIN THE SA? 52 17. GENTZEN'S
POLITICALPOSITION:A CONJECTURE 53 18. GENTZEN IN FINANCIALDIFFICULTIES
54 19. FINANCIALSTRAITSAND JOB HUNTING 55 20. CONSISTENCY PROOF
FORNUMBER THEORY IN DISCUSSIONWITH PAUL BERNAYS 57 21.
"WIDERSPRUCHSFREIHEITDER REINEN ZAHLENTHEORIE"MIRRORED IN THE
CORRESPONDENCE OF BERNAYS AND WEYL 58 22. DIFFICULTIES WITH THE
"WIDERSPRUCHSFREIHEITDER REINEN ZAHLENTHEORIE" OF11 AUGUST 1935 59 23.
THE UNSCHEDULEDASSISTANTSHIP UNDERHILBERTFROM 1 NOVEMBER 1935: A
PRODUCTIVE PERIOD FORFOUNDATIONAL RESEARCH BEGINS 62 24. CONSISTENCY OF
TYPE THEORY 63 25. REVISING THE PROOF OF THE "WIDERSPRUCHSFREIHEITDER
REINEN ZAHLENTHEORIE" 64 26. "DIE WIDERSPRUCHSFREIHEITDER
REINENZAHLENTHEORIE" 65 27. GENTZEN WAS AN INTELLECTUAL INDEPENDENT 69
28. GENTZEN EXPRESSES HIS THANKS TO TURING 71 29. CORRESPONDENCE BETWEEN
BERNAYS AND ACKERMANN 1936 TO 1940 72 30. THE CORRESPONDENCE BETWEEN
BERNAYS AND GENTZEN MERRILY CONTINUES 75 31. INVITATIONTO THE
PARISIANDESCARTES CONGRESS IN AUGUST 1937. THE INVITATIONTO LECTURE TO
THE DMV CONFERENCE IN BAD KREUZNACH ON 21 SEPTEMBER 1937: "DIE
GEGENWARTIGE LAGE IN DER MATHEMATISCHEN GRUNDLAGENFORSCHUNG". THE
EXTENSION OF THE TENURE OF THE UNSCHEDULED ASSISTANTSHIPON 1 OCTOBER
1937 FORA YEAR 77 32. JEAN CAVAILLESAND GERHARD GENTZEN 82 33. GENTZEN
BECOMES AN "ASSOCIATE" OF THE PUBLICATIONOF SCHOLZ'S FORSCHUNGEN ZUR
LOGIK AND ZUR GRUNDLEGUNG DER EXAKTEN WISSENSCHAFTEN 84 34. "DIE
GEGENWARTIGE LAGE IN DER MATHEMATISCHEN GRUNDLAGENFORSCHUNG" 86 35.
"NEUE FASSUNG DES WIDERSPRUCHSFREIHEITSBEWEISESDER REINEN ZAHLENTHEORIE"
1938 88 CONTENTS IX 36. BERNAYS' VIEW OF GENTZEN'S PROGRAMME (SECOND
CONSISTENCY PROOF) 89 37. CORRESPONDENCE WITH PAUL BERNAYS 93 38.
EXTENSION OF THE UNSCHEDULED POSITIONFOR ANOTHER YEAR TAKING EFFECT1
OCTOBER 1938 97 39. BERNAYS' VIEWS OFHILBERT'SPROGRAMME AND GENTZEN'S
PLACE IN IT 100 40. CLOSING THOUGHTS ON PAUL BERNAYS 101 41. LONGER
NOTES 102 CHAPTER 3.1939-1942-FROM THE BEGINNING OF THE WAR TO DISMISSAL
FROM THE WEHRMACHT AND THE WARTIME HABILITATIONUNDER HELMUT HASSE 117
1.1939: AT THE HIGHPOINT OF REPUTATION 117 2. THE SECOND VOLUME OF
GRUNDLAGEN DER MATHEMATIK OF HILBERTAND BERNAYS APPEARS 119 3. ACTIVE
MILITARYSERVICEAT THE HOMEFRONT AS RADIO OPERATOR BY THE
FLUGWACHKOMMANDO 125 4.1939/40: PREPARATION FOR HABILITATION.
"BEWEISBARKEIT AND UNBEWEISBARKEIT VON ANFANGSFALLENDER
TRANSFINITENINDUKTION IN DER REINENZAHLENTHEORIE" 128 5.1941:
ENCOURAGEMENT FROM HELLMUTH KNESER 135 6.1942: DISCHARGE FROM
MILITARYSERVICE 139 CHAPTER 4. THE FIGHT OVER "GERMAN LOGIC" FROM 1940
TO 1945: A BATTLE BETWEEN AMATEURS 141 A SHORT PREFACE 141 1. LUDWIG
BIEBERBACH AS SUPPORTER OF THE IDEA THAT THE VALIDITYOF MATHEMATICS BE
DECIDED THROUGH WORLD VIEWS 142 2. AN ADVOCATE OF RACIAL PURITY SETS THE
STANDARDS IN GERMAN MATHEMATICAL LOGIC, WHERE ATTEMPTS ARE MADE TO
CONFUSE SCIENTIFIC RESULTSWITH MATTERS OF RACE 143 3. GENTZEN AS A
"WITNESS" FORA NATIONAL-RACIALINTERPRETATIONOF THE MATHEMATICAL
FOUNDATIONAL RESEARCH THROUGH STECK AND REQUARD 144 4. THE SOMEWHAT
SHARPER POINT OFVIEW OF FRIEDRICHREQUARD 147 5. LUDWIG BIEBERBACH AND
HIS DEUTSCHE MATHEMATIK 150 6. NS IDEOLOGY IN MATHEMATICS THROUGH
BIEBERBACH RECEIVES NEGATIVE RESONANCE EVEN WITHIN HIS OWN CAMP 152 7.
LUDWIG BIEBERBACH: REPRESENTATIVEOF "GERMAN MATHEMATICS" 153 8. A
CONTEMPORARY OF BIEBERBACH'SIN EXILE:JOHANN L. SCHMIDT 159 9. BIEBERBACH
AND INTUITIONISM 160 10. FORMALISM AND PROOF THEORY 160 11. APPLIED
MATHEMATICS AS FOLKISHMATHEMATICS 162 12. NAZIS CRITICISEDTHE LACK OF
SUPPORT FROM MATHEMATICS 163 13. MATHEMATICAL FOUNDATIONAL RESEARCH
REMAINS UNMOLESTED BY THE NAZIS 167 14. ATTACKS ON MATHEMATICAL LOGIC
FROM WITHOUT: DINGIER,STECK,AND MAY 169 15. THE ATTACKED: HEINRICH
SCHOLZ (1884-1956) 176 16. BIEBERBACH, MAX STECK AND JAENSCH 186 17.
BIEBERBACH AND ERICH JAENSCH 188 X CONTENTS 18. STECK'SATTACK ON
HILBERTLEADS TO BIEBERBACH'S COMMISSIONING A DEFENCE OF MATHEMATICAL
LOGIC BY H. SCHOLZ AND PUBLISHING IT IN DEUTSCHE MATHEMATIK 190 19.
INTERLUDE:MAY AND DINGIER PROVIDE ARGUMENTS FORSTECK 197 20. STECK AND
SCHOLZ IN DISPUTE 202 21. MAX STECK AS DENOUNCING "EXPERT WITNESS" AND
PUBLICIST 208 22. THE EXCEPTION: THE DEDICATED NATIONAL SOCIALIST,
LOGICIAN AND HISTORIANOF MATHEMATICS, OSKAR BECKER,REMAINS NEUTRAL 216
23. RESISTANCE AS A MATHEMATICIAN WAS POSSIBLEUNDER NATIONAL SOCIAL- ISM
218 24. KURT REIDEMEISTER'SADDITIONAL CONTEMPLATIONS ON
POLITICO-SCIENTIFIC POWER PLAY IN "GERMAN MATHEMATICS" 219 25. LONGER
NOTES 221 CHAPTER 5. RECOVERY AND DOCENT POSITION1942 TO 1944 233 1.
FINAL DISCHARGE FROM THE GERMAN ARMY 233 2. HANS ROHRBACH COMMANDEERS
GERHARD GENTZEN TO PRAGUE THROUGH THE OSENBERG INITIATIVE 234 3.
GENTZEN'S TEACHING POSITIONIN PRAGUE: "KEPLER'SLAWS OF PLANETARY MOTION"
236 4. THE FIRSTCOURSES IN NOVEMBER 1943 238 5. THE LAST KNOWN
SCIENTIFIC LETTEROF GERHARD GENTZEN 243 6. GERHARD GENTZEN IN 1944:
TEACHING FUNCTIONS, COMPUTING OFFICE, AND WAR 244 7. HANS ROHRBACH'S
REPORT ON THE CONDITIONS IN THE MATHEMATICAL INSTITUTEIN PRAGUE 246 8.
WHY DID GENTZEN BANISHANY THOUGHT OFFLIGHT? 247 CHAPTER 6.
ARREST,IMPRISONMENT, DEATH AND NACHLASS 253 1. THE LAST DAYS OFFREEDOM
IN THE PRIVATESECTOR 253 2. THE ARREST OF GERHARD GENTZEN AND THE AWFUL
IMPRISONMENT 255 3. GENTZEN'S PHYSICALDEATH 257 4. ISGENTZEN'S DEATH
UNDERSTANDABLE? 260 5. RUMOURS 261 6. ATTEMPTS TO RESCUE THE NACHLASS
263 7. THE DECIPHERING OF THE STENOGRAPHIC NOTES 266 CONCLUSION 267 1.
MISAPPREHENSIONS ABOUT THE LIFEOF GERHARD GENTZEN 267 2. LOGIC AND
POLITICS 267 3. UPSHOT 269 TABLES OFTHE LIFEOF GERHARD GENTZEN 273
CHRONOLOGY 273 CONTEMPORARY ASSESSMENTS OF GENTZEN 278 PUBLICATIONSOF
GENTZEN 281 APPENDIX A. GENTZENAND GEOMETRY C. SMORYI 283 CONTENTS
APPENDIX B. HILBERT'S PROGRAMME C. SMORYNSKI 1. CONSTRUCTIVEPROLOGUE 2.
PROBLEMS IN PARIS 3. HILBERTAND GEOMETRY 4. FIRSTSTEPS 5. ENTER BROUWER
6. BACK TO HILBERT 7. WEYL STIRSTHINGS UP 8. HILBERTRESPONDS 9. MORE ON
BROUWER 10. OUTBREAK OF HOSTILITIES 11. THE FORMULA GAME 12. ON THE
INFINITE 13. A FRAGILETRUCE 14. "HILBERT'S PROGRAMME" ISBORN 15. BROUWER
TAKESUP ARMS 16. HILBERTFINISHESOFF BROUWER 17. THE PROGRAMME EXPANDS
18. GODEL'S THEOREM 19. CONCLUDINGREMARKS APPENDIX C. THREE LECTURES XI
291 291 293 296 300 301 308 310 312 322 323 324 325 327 329 331 332 334
335 339 GERHARD GENTZEN 343 1. THE CONCEPT OFINFINITYIN MATHEMATICS 343
2. THE CONCEPT OF INFINITYAND THE CONSISTENCY OFMATHEMATICS 350 3. THE
CURRENT SITUATION IN RESEARCH IN THE FOUNDATIONS OF MATHEMATICS 353
APPENDIX D. FROM HILBERT'SPROGRAMME TO GENTZEN'S PROGRAMME JAN VON PLATO
367 1. MATHEMATICAL PROOF 367 2. HILBERT'S PROGRAMME 373 3. GENTZEN'S
PROGRAMME 383 4. LATER DEVELOPMENTS IN STRUCTURAL PROOF THEORY 396 5.
REFERENCES 401 BIBLIOGRAPHY 405 INDEX 433 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Menzler-Trott, Eckart 1953- |
| author_GND | (DE-588)12110852X |
| author_facet | Menzler-Trott, Eckart 1953- |
| author_role | aut |
| author_sort | Menzler-Trott, Eckart 1953- |
| author_variant | e m t emt |
| building | Verbundindex |
| bvnumber | BV023318255 |
| callnumber-first | Q - Science |
| callnumber-label | QA29 |
| callnumber-raw | QA29.G467 |
| callnumber-search | QA29.G467 |
| callnumber-sort | QA 229 G467 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SG 171 |
| ctrlnum | (OCoLC)845161327 (DE-599)BVBBV023318255 |
| dewey-full | 510.92 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.92 |
| dewey-search | 510.92 |
| dewey-sort | 3510.92 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| era | Geschichte 1933-1945 gnd |
| era_facet | Geschichte 1933-1945 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02422nam a2200625zcb4500</leader><controlfield tag="001">BV023318255</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220120 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080528s2007 xxu |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821835500</subfield><subfield code="9">978-0-8218-3550-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845161327</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023318255</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-210</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA29.G467</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.92</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 171</subfield><subfield code="0">(DE-625)143047:13635</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-03</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">01A60</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">01A70</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Menzler-Trott, Eckart</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12110852X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Gentzens Problem</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic's lost genius</subfield><subfield code="b">the life of Gerhard Gentzen</subfield><subfield code="c">Eckart Menzler-Trott</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, RI</subfield><subfield code="b">American Mathematical Society [u.a.]</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 440 S.</subfield><subfield code="c">27 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">History of mathematics</subfield><subfield code="v">33</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Gentzen, Gerhard</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gentzen, Gerhard</subfield><subfield code="d">1909-1945</subfield><subfield code="0">(DE-588)117710458</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte 1933-1945</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematicians</subfield><subfield code="z">Germany</subfield><subfield code="v">Biography</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Drittes Reich</subfield><subfield code="0">(DE-588)4013021-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="651" ind1=" " ind2="4"><subfield code="a">Deutschland</subfield></datafield><datafield tag="651" ind1=" " ind2="7"><subfield code="a">Deutschland</subfield><subfield code="0">(DE-588)4011882-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4006804-3</subfield><subfield code="a">Biografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gentzen, Gerhard</subfield><subfield code="d">1909-1945</subfield><subfield code="0">(DE-588)117710458</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Deutschland</subfield><subfield code="0">(DE-588)4011882-4</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Geschichte 1933-1945</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Drittes Reich</subfield><subfield code="0">(DE-588)4013021-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="C">b</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4704-3899-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">History of mathematics</subfield><subfield code="v">33</subfield><subfield code="w">(DE-604)BV001327576</subfield><subfield code="9">33</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung Deutsches Museum</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016502390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016502390</subfield></datafield></record></collection> |
| genre | (DE-588)4006804-3 Biografie gnd-content |
| genre_facet | Biografie |
| geographic | Deutschland Deutschland (DE-588)4011882-4 gnd |
| geographic_facet | Deutschland |
| id | DE-604.BV023318255 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T20:52:49Z |
| indexdate | 2024-07-09T21:15:45Z |
| institution | BVB |
| isbn | 9780821835500 |
| language | English German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016502390 |
| oclc_num | 845161327 |
| open_access_boolean | |
| owner | DE-210 DE-83 DE-11 |
| owner_facet | DE-210 DE-83 DE-11 |
| physical | XXII, 440 S. 27 cm |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | American Mathematical Society [u.a.] |
| record_format | marc |
| series | History of mathematics |
| series2 | History of mathematics |
| spelling | Menzler-Trott, Eckart 1953- Verfasser (DE-588)12110852X aut Gentzens Problem Logic's lost genius the life of Gerhard Gentzen Eckart Menzler-Trott Providence, RI American Mathematical Society [u.a.] 2007 XXII, 440 S. 27 cm txt rdacontent n rdamedia nc rdacarrier History of mathematics 33 Gentzen, Gerhard Gentzen, Gerhard 1909-1945 (DE-588)117710458 gnd rswk-swf Geschichte 1933-1945 gnd rswk-swf Mathematicians Germany Biography Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Drittes Reich (DE-588)4013021-6 gnd rswk-swf Deutschland Deutschland (DE-588)4011882-4 gnd rswk-swf (DE-588)4006804-3 Biografie gnd-content Gentzen, Gerhard 1909-1945 (DE-588)117710458 p DE-604 Deutschland (DE-588)4011882-4 g Mathematische Logik (DE-588)4037951-6 s Geschichte 1933-1945 z Drittes Reich (DE-588)4013021-6 s b DE-604 Erscheint auch als Online-Ausgabe 978-1-4704-3899-9 History of mathematics 33 (DE-604)BV001327576 33 Digitalisierung Deutsches Museum application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016502390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Menzler-Trott, Eckart 1953- Logic's lost genius the life of Gerhard Gentzen History of mathematics Gentzen, Gerhard Gentzen, Gerhard 1909-1945 (DE-588)117710458 gnd Mathematicians Germany Biography Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Drittes Reich (DE-588)4013021-6 gnd |
| subject_GND | (DE-588)117710458 (DE-588)4037951-6 (DE-588)4013021-6 (DE-588)4011882-4 (DE-588)4006804-3 |
| title | Logic's lost genius the life of Gerhard Gentzen |
| title_alt | Gentzens Problem |
| title_auth | Logic's lost genius the life of Gerhard Gentzen |
| title_exact_search | Logic's lost genius the life of Gerhard Gentzen |
| title_exact_search_txtP | Logic's lost genius the life of Gerhard Gentzen |
| title_full | Logic's lost genius the life of Gerhard Gentzen Eckart Menzler-Trott |
| title_fullStr | Logic's lost genius the life of Gerhard Gentzen Eckart Menzler-Trott |
| title_full_unstemmed | Logic's lost genius the life of Gerhard Gentzen Eckart Menzler-Trott |
| title_short | Logic's lost genius |
| title_sort | logic s lost genius the life of gerhard gentzen |
| title_sub | the life of Gerhard Gentzen |
| topic | Gentzen, Gerhard Gentzen, Gerhard 1909-1945 (DE-588)117710458 gnd Mathematicians Germany Biography Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Drittes Reich (DE-588)4013021-6 gnd |
| topic_facet | Gentzen, Gerhard Gentzen, Gerhard 1909-1945 Mathematicians Germany Biography Logic, Symbolic and mathematical Mathematische Logik Drittes Reich Deutschland Biografie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016502390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001327576 |
| work_keys_str_mv | AT menzlertrotteckart gentzensproblem AT menzlertrotteckart logicslostgeniusthelifeofgerhardgentzen |