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.
Recommendations
Cites work
- A propositional calculus with denumerable matrix
- Adjointness in Foundations
- Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
- Future Tasks for Gödel Scholars
- Gödel's Introduction to Logic in 1939
- scientific article; zbMATH DE number 1855556 (Why is no real title available?)
- scientific article; zbMATH DE number 785421 (Why is no real title available?)
- scientific article; zbMATH DE number 3066797 (Why is no real title available?)
- On the interpretation of Aristotelian syllogistic
- On the rules of suppositions in formal logic
- Untersuchungen über das logische Schliessen. I
Cited in
(9)- Gödel's natural deduction
- Gödel on deduction
- Gödel's Introduction to Logic in 1939
- Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
- Logic lectures. Gödel's basic logic course at Notre Dame
- Some strategies for teaching a course based on \textit{Gödel, Escher, Bach}
- Kurt Gödel and the logic of concepts
- Deduction at the crossroads
- Gödel's introduction to deduction
This page was built for publication: Gödel's Notre Dame course
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283448)
