Courses:

Logic II >> Content Detail



Lecture Notes



Lecture Notes

LEC #TOPICS
1Why Study Computability? (PDF)
2-3Key Computability Concepts (PDF)
4The Language of Arithmetic (PDF)
5Church-Turing Thesis (PDF)
6Nonstandard Models of Arithmetic (PDF)
7Gödel Numbering (PDF)
8Robinson's Arithmetic (PDF)
9-10Coding Proofs (PDF)
11-12Peano Arithmetic (PDF)
13-14Self-Reference Lemma (PDF)
15-16First Incompleteness Theorem (PDF)
17Interpretations (PDF)
18Tarski's Theory of Truth (PDF)
19

Gödel, Mechanism, and Mind

Articles by Lucas and Benacerraf

20-21Second Incompleteness Theorem (PDF)
22Introduction to Modal Logic (PDF)
23-24Provability Logic (PDF)
25Defining Exponentiation (PDF)

 








© 2010-2021 OpenCollege.com, All Rights Reserved.
Open College is a service mark of AmeriCareers LLC.