Герхард Генцен

С Википедије, слободне енциклопедије
Герхард Карл Ерих Генцен
Герхард Генцен
Лични подаци
Датум рођења(1909-11-24)24. новембар 1909.
Место рођењаГрајфсвалд,
Датум смрти4. август 1945.(1945-08-04) (35 год.)
Место смртиПраг,
ОбразовањеУниверзитет у Гетингену
Научни рад
Пољематематика

Герхард Карл Ерих Генцен (нем. Gerhard Karl Erich Gentzen; Грајфсвалд, 24. новембар 1909Праг, 4. август 1945) је био немачки математичар и логичар.

Рођен је у Грајфсвалду, Немачка. Био је ученик Хермана Вајла на Универзитету у Гетингену од 1929. до 1933. Главни Генценов рад је био из основа математике, у теорији доказа, посебно у природној дедукцији и рачуну секвената.

Герхард Генцен је био члан НСДАП и СА. Између 1934. и 1943. је био асистент Давида Хилберта у Гетингену, а од 1943. је био доцент на Универзитету у Прагу. Након рата је умро од глади у Прагу, након што су га 7. маја 1945. године Руси ухапсили, као и све Немце у Прагу[1]

Извори[уреди | уреди извор]

  1. ^ Menzler-Trott p 273 ff

Литература[уреди | уреди извор]

  • Eckart Menzler-Trott. Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland. Birkhäuser Verlag, 2001. ISBN 978-3-7643-6574-5. 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)

Спољашње везе[уреди | уреди извор]