Gerhard Gencen

S Vikipedije, slobodne enciklopedije
Gerhard Karl Erih Gencen
Gerhard Gencen
Lični podaci
Datum rođenja(1909-11-24)24. novembar 1909.
Mesto rođenjaGrajfsvald,
Datum smrti4. avgust 1945.(1945-08-04) (35 god.)
Mesto smrtiPrag,
ObrazovanjeUniverzitet u Getingenu
Naučni rad
Poljematematika

Gerhard Karl Erih Gencen (nem. Gerhard Karl Erich Gentzen; Grajfsvald, 24. novembar 1909Prag, 4. avgust 1945) je bio nemački matematičar i logičar.

Rođen je u Grajfsvaldu, Nemačka. Bio je učenik Hermana Vajla na Univerzitetu u Getingenu od 1929. do 1933. Glavni Gencenov rad je bio iz osnova matematike, u teoriji dokaza, posebno u prirodnoj dedukciji i računu sekvenata.

Gerhard Gencen je bio član NSDAP i SA. Između 1934. i 1943. je bio asistent Davida Hilberta u Getingenu, a od 1943. je bio docent na Univerzitetu u Pragu. Nakon rata je umro od gladi u Pragu, nakon što su ga 7. maja 1945. godine Rusi uhapsili, kao i sve Nemce u Pragu[1]

Izvori[uredi | uredi izvor]

  1. ^ Menzler-Trott p 273 ff

Literatura[uredi | uredi izvor]

  • 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)

Spoljašnje veze[uredi | uredi izvor]