哥德尔圣母院
Gödel's Notre Dame Course
摘要：
这是一个同伴的一份文件的作者题为“哥德尔的自然演绎”，其中提出并作出评论的自然演绎系统哥德尔的未发表的说明，小学逻辑当然，他在圣母大学于1939年。在这篇较早的论文中，人们可以找到哥德尔在巴黎圣母院课程中的笔记的简要摘要。这篇论文本身是一篇论文的同伴，该论文研究了哥德尔的一些哲学观点与一般证明论之间的联系。为了正确地看待先前的论文，这里对这些有趣的笔记进行了更完整的总结，并对它们进行了评论。
英文摘要：
This is a companion to a paper by the authors entitled "Gödel's natural deduction", which presented and made comments about the natural deduction system in Gödel's unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to Gödel and general proof theory, one can find a brief summary of Gödel's notes for the Notre Dame course. In order to put the earlier paper in proper perspective, a more complete summary of these interesting notes, with comments concerning them, is given here.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
