Wilhelm Friedrich Ackermann

Biografie

[Akrman], *29.3.1896 – †24.12.1962, německý matematik a logik. Významně se podílel na realizaci Hilbertova programu. Napsal řadu prací z metalogiky, o systémech logiky bez teorie typu; vytvořil teorii přísné implikace.

Vytvořeno: 14. 3. 2000
Aktualizováno: 15. 3. 2020
Autor: -red-

Odkazující hesla: modální logika.