Abstract
AbstractThis 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.
Publisher
Cambridge University Press (CUP)
Reference26 articles.
1. [7] Došen K. and Adžić M. , Gödel on deduction, preprint, available at http://www.mi.sanu.ac.rs/∼kosta/DAgoedded.pdf; http://arXiv.org.
2. WHAT THE TORTOISE SAID TO ACHILLES
3. Adjointness in Foundations
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献