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

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

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

Општи подаци
Датум рођења 24. новембар 1909.
Место рођења Грајфсвалд
Датум смрти 4. август 1945.
Место смрти Праг
Рад
Поље математика

Герхард Карл Ерих Генцен (нем. 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)

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