阿克曼

出处：按学科分类—历史、地理 湖北人民出版社《二十世纪外国社会科学家辞典》第21页（318字）

【生卒】：1896—1962

德国逻辑学家。着名数理逻辑学家D·希尔伯特的学生。格廷根大学博士(1924)。长期在剑桥从事研究工作，并在文科中学执教(1927－1961)。由于他对数理逻辑的贡献，1953年当选为格廷根科学院通讯院士，并被明斯特大学聘为名誉教授。他重点研究数理哲学中的证明理论，如算术的不矛盾性、蔡梅罗－弗兰克尔公理系统的不矛盾性，以及一些非标准系统的不矛盾性。他与希尔伯特合着的《数理逻辑基础》，内容简明扼要，而又相当深广，在数理逻辑研究方面颇有影响。还着有《论数理逻辑的判定问题》(1939)、《关于数论的不矛盾性》(1940)、《建立一种严密的蕴涵》(1956)等。