阿克曼

---

【生卒】：1896—1962

德国逻辑学家。

著名数理逻辑学家D·希尔伯特的学生。格廷根大学博士(1924)。长期在剑桥从事研究工作，并在文科中学执教(1927－1961)。

由于他对数理逻辑的贡献，1953年当选为格廷根科学院通讯院士，并被明斯特大学聘为名誉教授。

他重点研究数理哲学中的证明理论，如算术的不矛盾性、蔡梅罗－弗兰克尔公理系统的不矛盾性，以及一些非标准系统的不矛盾性。他与希尔伯特合著的《数理逻辑基础》，内容简明扼要，而又相当深广，在数理逻辑研究方面颇有影响。

还著有《论数理逻辑的判定问题》(1939)、《关于数论的不矛盾性》(1940)、《建立一种严密的蕴涵》(1956)等。