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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 15. 3. 2020
Autor: -red-

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

Reklama: