Gerhard Gentzen

Z Wikipédie

Gerhard Karl Erich Gentzen (* 24. november 1909, Greifswald – † 4. august 1945, Praha) bol nemecký matematik.

V rokoch 1944-1945 pracoval na Pražskej univerzite. Venoval sa hlavne základom matematiky a matematickej logike (Gentzenov formálny sytém).



[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok