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

Из Википедије, слободне енциклопедије
Герхард Карл Ерих Генцен

Gerhard Gentzen.jpg
Герхард Генцен

Општи подаци
Датум рођења (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 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)

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