Gerhard Gentzen
aus Wikipedia, der freien Enzyklopädie
Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker.
Gentzen ist ein wichtiger Mitbegründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute vor allem in wichtigen Teilgebieten der Informatik, der Verifikation von Programmen. Dabei werden formale Beweise selbst als Programme gedeutet.
Ausgehend von dem Hilbertschen Programm bewies Gentzen für den Aufbau der Mathematik die Widerspruchsfreiheit der Zahlentheorie. Er entwickelte als einer der ersten Systeme natürlichen Schließens, für die er auch den so genannten "Hauptsatz" bewies. Dadurch sind große Teile der Logik und Mathematik als widerspruchsfrei beweisbar.
Gentzen, der als Assistent David Hilberts in Göttingen lehrte, erhält 1943 eine Dozentur in Prag. Trotz Warnungen floh der wegen seiner Loyalität zu den Nazis bedrohte Gentzen bei Kriegsende nicht nach Deutschland. Er verhungerte in einem Internierungslager in Prag, drei Monate nach seiner Verhaftung 1945.
[Bearbeiten] Siehe auch
[Bearbeiten] Werke und Literatur
- Gerhard Gentzen: "Die gegenwärtige Lage in der mathematischen Grundlagenforschung", Leipzig 1938
- Gerhard Gentzen: "Untersuchungen über das logische Schließen", Math. Z. 39 (1934) Nachdruck in: Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 4. Aufl. 1986, Seite 206-261
- Gerhard Gentzen (Herausgeber M. E. Szabo): "The Collected Papers of Gerhard Gentzen", Amsterdam 1969, ISBN 0-7204-2254-X
- Eckart Menzler-Trott: "Gentzens Problem. Mathematische Logik im nationalsozialistischen Deutschland." Birkhäuser Verlag, Basel 2001, ISBN 3-7643-6574-9
[Bearbeiten] Weblinks
- Literatur von und über Gerhard Gentzen im Katalog der Deutschen Nationalbibliothek
- Online-Version der "Untersuchungen über das logische Schließen", Teil 1
- Online-Version der "Untersuchungen über das logische Schließen", Teil 2
- The MacTutor History of Mathematics archive
- M. E. Szabo. The Collected Works of Gerhard Gentzen
- Sequent Calculus by Alex Sakharov MathWorld
| Personendaten | |
|---|---|
| NAME | Gentzen, Gerhard |
| ALTERNATIVNAMEN | Gerhard Karl Erich Gentzen |
| KURZBESCHREIBUNG | Mathematiker |
| GEBURTSDATUM | 24. November 1909 |
| GEBURTSORT | Greifswald, Deutschland |
| STERBEDATUM | 4. August 1945 |
| STERBEORT | Prag, Tschechien |
