威廉·阿克曼

　　威廉·阿克曼(Wilhelm Ackermann)，德国数学家，最著名的成果是计算理论的重要例子阿克曼函数以及跟大卫·希尔伯特合写《理论逻辑原理》(Grundzuge der Theoretischen Logik)。他又写了Solvable cases of the decision problem (North Holland, 1954)。