• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Studia Logica >Godel's Natural Deduction
【24h】

Godel's Natural Deduction

机译：戈德尔的自然扣除

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This is a companion to a paper by the authors entitled "Godel on deduction", which examined the links between some philosophical views ascribed to Godel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Godel presented with the help of Gentzen's sequents, which amounts to JaA kowski's natural deduction system of 1934, and which may be found in Godel's unpublished notes for the elementary logic course he gave in 1939 at the University of Notre Dame. Here one finds a presentation of this system of Godel accompanied by a brief reexamination in the light of the notes of some points concerning his interest in sequents made in the preceding paper. This is preceded by a brief summary of Godel's Notre Dame course, and is followed by comments concerning Godel's natural deduction system.
机译：这是作者题为“悼词扣除奖励”的作者的伴侣，该伴随着归因于戈尔和一般证明理论的一些哲学观点之间的联系。 写作其他论文时，作者并不熟悉诸如葛兰的搜索帮助的戈德尔提供的自然扣除系统，这增加了JAA＆GT; Kowski的自然扣除制度为1934年，可以在1939年在1939年在巴黎圣母院大学的小学逻辑课程中找到。 这里发现这一系统的介绍了，鉴于关于他对前一篇文章中所制作的顺序的兴趣的一些要点的说明，伴随着简要的复审。 这是戈德尔的Notre Dame课程的简要摘要，然后是关于戈德尔的自然扣除制度的评论。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号