Герхард Генцен
Из Википедије, слободне енциклопедије
| Герхард Карл Ерих Генцен | |
|---|---|
|
десно |
|
| Општи подаци | |
| Рад | |
| Поље | математика |
Герхард Карл Ерих Генцен (нем. Gerhard Karl Erich Gentzen; 24. новембар 1909 — 4. август 1945.) је био немачки математичар и логичар.
Рођен је у Грајфсвалду, Немачка. Био је ученик Хермана Вајла на Универзитету у Гетингену од 1929. до 1933. Главни Генценов рад је био из основа математике, у теорији доказа, посебно у природној дедукцији и рачуну секвената.
Герхард Генцен је био члан НСДАП и СА. Између 1934. и 1943. је био асистент Давида Хилберта у Гетингену, а од 1943. је био доцент на Универзитету у Прагу. Након рата је умро од глади у Прагу, након што су га 7. маја 1945. године Руси ухапсили, као и све Немце у Прагу[1]
Извори [уреди]
- ^ Menzler-Trott p 273 ff
Литература [уреди]
- Eckart Menzler-Trott. Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland. Birkhäuser Verlag, 2001. ISBN 3-7643-6574-9. An English translation, Logic's Lost Genius: The Life of Gerhard Gentzen, by Edward Griffor and Craig Smorynski will appear in December 2007, published by the American and the London Mathematical Societies.
- M. E. Szabo. Collected Papers of Gerhard Gentzen. North-Holland, 1969.
- Gentzen, Gerhard, "Die Widerspruchsfreiheit der reinen Zahlentheorie", Mathematische Annalen, 112: 493-565.(1936)
Спољашње везе [уреди]
- О'Конор, Џон; Робертсон, Едмунд. „Герхард Генцен - биографија“. Архива историје математике Мектјутор. ((en))
- Герхард Генцен на интернет страници Mathematics Genealogy Project ((en))