Completud débil y Post completud en la escuela de Hilbert
Humanities Journal of Valparaiso(2019)
摘要
The aim of this paper is to clarify why propositional logic is Post complete and its weak completeness was almost unnoticed by Hilbert and Bernays, while first-order logic is Post incomplete and its weak completeness was seen as an open problem by Hilbert and Ackermman. Thus, I will compare propositional and first-order logic in the Prinzipien der Mathematik, Bernays’s second Habilitationsschrift and the Grundzüge der Theoretischen Logik. The so called “arithmetical interpretation”, the conjunctive and disjunctive normal forms and the soundness of the propositional rules of inference deserve special emphasis.
更多查看译文
关键词
hilbert,de,la escuela
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要