| 阿克曼 Wilhelm Ackermann1896—1962 德国数学家、逻辑学家。希尔伯特的学生、助手。1928年发表《希尔伯特构造实数的方法》，举出一种能行可计算函数，并证明其函数值的增长较任何原始递归为快，以说明存在着非原始递归的能行可递归函数。同年，协助希尔伯特发表了数理逻辑名著《理论逻辑基础》。希尔伯特逝世后，修订出版了该书的第3版(1949)与第4版(1959)。第3版中有较多的改进，如谓词代入规则得到了完全无误的陈述等。第4版改动更大，其中新增的关于严格蕴涵的介绍，就着重地简介了他在1956年发表的论文《一种严格蕴涵的建立》中所陈述的自己的严格蕴涵系统。另在判定问题方面写过《数理逻辑判定问题论稿》(1936)和《判定问题的可解实例》(1936)，在消元问题(Eliminations problem)方面写过《数理逻辑消元问题研究》(1934)和《论数理逻辑的消元问题》(1935)。 |