阿克曼，W．

【介绍】：

德国数学家、逻辑学家。是德国数学家、逻辑学家D．希尔伯特的学生、助手。1928年协助希尔伯特发表了数理逻辑名著《理论逻辑基础》。在希尔伯特逝世后，独立修订了该书的第三版(1949年)和第四版(1959年)，作了较多的改进。在第三版中改正了谓词代入规则的陈述，在第四版中加强了关于蕴涵的论述，着重介绍了他1956年论文《一种严密蕴涵的建立》中的严密蕴涵系统。阿克曼的严密蕴涵系统Π′是第一个完整的相干逻辑系统，A．R．安特逊和N．贝尔纳普的衍推蕴涵系统E就是修改Π′后得到的。Π′的γ规则(从A和～A∨B推出B)不是E的初始规则，而是导出规则。一个相干逻辑系统能否接受γ规则为导出规则，这在50～60年代曾是相干逻辑研究的一个重要问题；相干算术系统能否接受γ规则至今还是一个未解决的问题。在数理逻辑的递归论分支中，有以阿克曼命名的非原始递归函数。他的重要论著还有：《数理逻辑判定问题论稿》(1936)、《判定问题的可解情形》(1936)、《数理逻辑消元问题研究》(1934)以及《论数理逻辑的消元问题》(1935)等。