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