人物-艾米尔·波斯特

艾米尔·波斯特（Emil Post, 1897-1954）是一位对数理逻辑和计算理论做出重要贡献的美国数学家和逻辑学家。

对形式系统的贡献

在本书中，波斯特被提及主要是因为他在二十世纪二十年代发明的“波斯特产生式系统”（Post production systems）。这种系统通过一组简单的符号串重写规则来定义一个概念-形式系统，是现代计算理论的基石之一。

书中所介绍的第一个概念-形式系统——形式系统-WJU系统，就是基于波斯特的产生式系统设计的。

本书中心的概念之一是形式系统。我用的这种形式系统是美国逻辑学家艾米尔·波斯特在二十世纪二十年代发明的，通常被称为“波斯特产生式系统”。

与哥德尔和图灵的关联

波斯特的工作与人物-库尔特·哥德尔、人物-艾伦·图灵等人的研究并行，共同奠定了元数学和可计算性理论的基础。他的重要论文被收录在马丁·戴维斯编辑的《不可判定的》一书中，该书汇集了自1931年以来元数学领域最重要的文献。

1931年以来元数学方面最重要的论文的汇编（因此是对范·海耶奴尔特[van Heijenoort]的那部汇编的补充）。包含哥德尔1931年的论文、哥德尔一次就他的结果所讲的课的讲稿笔记的翻译、然后是丘奇、克里尼、罗瑟、波斯特和图灵的论文。

Davis Martin[戴维斯·马丁]，The Undecidable《不可判定的》，纽约，Hewlett: Raven Press，1965年版。