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