格雷戈里·摩尔。 希尔伯特和现代数理逻辑的出现。 （英语） Zbl 0918.03001号 塞贡达·埃波卡理论 12，第28号，65-90（1997）。 概要：希尔伯特1917年未发表的逻辑讲座是现代元逻辑的开始。在其中，他证明了命题逻辑的一致性和后完备性（最大一致性）——结果传统上归于伯奈斯（1918）和波斯特（1921）。这些讲座包含了对一阶逻辑的第一次正式处理，并构成了希尔伯特1928年与阿克曼合著的著名著作的核心。受这些讲座的影响，伯奈斯在1918年所做的是将重点从逻辑的一致性和后完备性改为其正确性和完备性：一个句子只有在有效时才是可证明的。到1917年，在PM的强烈影响下，希尔伯特接受了类型和逻辑主义理论——这是一个令人惊讶的转变。但到了1922年，他放弃了可约公理，然后退出了逻辑主义，回到了1905年试图在句法上证明数论一致性的方法。 引用于4文件 MSC公司： 03-03 数学逻辑和基础的历史 01A60型 20世纪数学史 关键词：高阶逻辑;希尔伯特1917年未发表的逻辑讲座;元逻辑的;一致性;岗位完整性;命题逻辑;伯纳斯;岗位;一阶逻辑;可靠性;希尔伯特;逻辑主义;可约公理 PDF格式BibTeX公司 XML格式引用 \textit｛G.H.Moore｝，Theoria，Segunda Epoca 12，编号28，65-90（1997年；Zbl 0918.03001）