Gentzen
Gentzen [-cen] Gerhard, 24. 11. 1909 až 4. 8. 1945, něm. logik a matematik; žák H. Weyla a D. Hilberta a pokračovatel Hilbertova programu. Položil zákl. kvantifikátorové log. a formalizoval její kalkul.
Gentzen [-cen] Gerhard, 24. 11. 1909 až 4. 8. 1945, něm. logik a matematik; žák H. Weyla a D. Hilberta a pokračovatel Hilbertova programu. Položil zákl. kvantifikátorové log. a formalizoval její kalkul.
