Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Gödel's Notre Dame Course
(Submitted on 9 Apr 2016 (v1), last revised 15 Nov 2016 (this version, v7))
Abstract: This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel'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\"odel and general proof theory, one can find a brief summary of G\"odel'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.
Submission history
From: Kosta Dosen [view email][v1] Sat, 9 Apr 2016 20:16:34 GMT (13kb)
[v2] Sat, 16 Apr 2016 10:28:08 GMT (14kb)
[v3] Sat, 4 Jun 2016 12:27:30 GMT (14kb)
[v4] Sun, 31 Jul 2016 22:59:31 GMT (14kb)
[v5] Mon, 3 Oct 2016 23:59:59 GMT (14kb)
[v6] Sat, 29 Oct 2016 00:32:34 GMT (15kb)
[v7] Tue, 15 Nov 2016 16:59:25 GMT (15kb)
Link back to: arXiv, form interface, contact.