FILIT
Obsah
Chronológia
Registre
Vyhľadávanie
Diskusia
Správa

Gentzen, g.


Gentzen, Gerhard Karl Erich (24. 11. 1909 Greifswald - 4. 8. 1945 Praha)

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