Ackermann Wilhelm
Ackermann [akr-] Wilhelm Friedrich, 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.
