Gerhard Gentzen
Biografie / Matematika
[-cen], *24. 11.1909 – †4.8.1945, německý logik a matematik; žák H. Weyla a D. Hilberta a pokračovatel Hilbertova programu. Položil základy kvantifikátorové logiky a formalizoval její kalkul.
Vytvořeno:
14. 3. 2000
Aktualizováno:
19. 10. 2005
Autor: -red-
Odkazující hesla: Stanisław Jaśkowski.