Gerhard Gentzen
Z Wikipedii
Gerhard Gentzen (24 listopada 1909 - 4 sierpnia 1945) - niemiecki matematyk, zasłużony w badaniach nad logiką i podstawami matematyki. Miał duży wpływ na powstanie systemów dowodzenia twierdzeń, tworząc między innymi system sekwentów.
Po zajęciu Pragi przez wojska radzieckie został aresztowany razem z pozostałymi profesorami niemieckiego uniwersytetu i po trzech miesiącach przebywania w tragicznych warunkach zmarł.
To jest tylko zalążek artykułu biograficznego związanego z matematyką. Jeśli możesz, rozbuduj go.