Gerhard Gentzen: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
infobox, obrázok |
Bez shrnutí editace |
||
Riadok 11:
}}
'''Gerhard Karl Erich Gentzen''' (* [[24. november]] [[1909]], [[Greifswald]] – † [[4. august]] [[1945]], [[Praha]]) bol [[Nemecko|nemecký]] [[matematik]].
V rokoch [[1944]]-[[1945]] pracoval na Pražskej univerzite. Venoval sa hlavne základom matematiky a [[logika matematická|matematickej logike]] (Gentzenov formálny sytém).
| |||