Gerhard Gentzen

Technology
12 hours ago
8
4
2
Avatar
Author
Albert Flores

Gerhard Karl Erich Gentzen (24. listopadu 1909, Greifswald, Německo - 4. srpna 1945, Praha, Československo) byl německý matematik a logik. Jeho hlavní práce tkví v základech matematiky, v teorii důkazů a zavedení sekventního kalkulu matematické logiky.

Gentzen byl v letech 1939 až 1941 spojařem Wehrmachtu v blízkosti Braunschweigu, mohl se však habilitovat na univerzitě v Göttingenu. V důsledku nemoci byl vojenské služby zproštěn. +more V roce 1943 jej profesor matematiky na pražské Německé univerzitě Hans Rohrbach povolal jako docenta do Prahy.

Gentzen neodešel do Německa ani po skončení druhé světové války, přestože byl varován. Byl pak v květnu 1945 zatčen jako příslušník NSDAP. +more Zemřel na podvýživu tři měsíce poté ve vězení na Karlově náměstí v Praze. Pohřben byl na Ďáblickém hřbitově.

Reference

5 min read
Share this post:
Like it 8

Leave a Comment

Please, enter your name.
Please, provide a valid email address.
Please, enter your comment.
Enjoy this post? Join Cesko.wiki
Don’t forget to share it
Top