PHIL-P 506 LOGICAL THEORY II (3 CR.)
A thorough and rigorous survey of essential topics in modern logic consisting of twentieth-century developments in logical research, with special emphasis on: (a) model theory and first-order completeness, (b) incompleteness and un-decidability results of Gödel and Church, and (c) recursive function theory.
1 classes found
Spring 2025
| Component | Credits | Class | Status | Time | Day | Facility | Instructor |
|---|---|---|---|---|---|---|---|
| LEC | 3 | 29652 | Open | 3:10 p.m.–4:25 p.m. | MW | WH 006 | Ebbs G |
Regular Academic Session / In Person
LEC 29652: Total Seats: 15 / Available: 6 / Waitlisted: 0
Lecture (LEC)
- Above class open to graduates only
The aim of this course is to provide students with a thorough understanding of Kurt Gödel's First and Second Incompleteness Theorems, Tarski's Theorem, the Turing-Church proof that first-order logical truth is Undecidable, and related topics, including Peano arithmetic, Gödel numbering, numeralwise representability, primitive recursive functions, and computability. The main text for the course will be Notes on Metamathematics, by Warren Goldfarb. Prerequisites: P505 (Logical Theory I) or the equivalent.
The College of Arts