威廉·阿克曼

威廉·阿克曼(Wilhelm Ackermann)，德國數學家，最著名的成果是計算理論的重要例子阿克曼函數以及跟大衛·希爾伯特合寫《理論邏輯原理》（Grundzuge der Theoretischen Logik）。他又寫了Solvable cases of the decision problem (North Holland, 1954)。