| Course Title: Advanced Logic |
| Start Date: 09/04/2024 End Date: 12/17/2024 |
| Term: Fall Semester 2024 |
| Description: This course uses the predicate calculus to present a careful development of formal elementary number theory, and elementary recursion theory, culminating in a proof of Gödel's incompleteness results. It includes some discussion of the philosophical significance of these results for the foundations of mathematics. |
| Distribution(s): I - Humanities |
| Academic Level Of Course: Undergraduate | Credits:4.00 |
| Faculty | Phone | Email address |
| Samuel Mitchell | 413-538-2387 | smitchel@mtholyoke.edu |
| Meeting Dates | Method | Meeting days | Meeting times | Building name | Room | Frequency |
| 09/04/2024 - 12/17/2024 | Discussion | Monday and Wednesday | 01:45PM - 03:00PM | CLAP - Clapp Laboratory | 206 | Weekly |
| Requisite Courses | ||
| Prereq: PHIL-225 or MATH-232. | Take previously | Required |
| Comments |
| Additional Comments |
| Course Tags | ||
| PHIL0004 | PHIL-LG: Logic | This course has been approved to count towards the Philosophy major in the Logic area. |
| Cross-listed Sections |
| None |
| Course Availability | ||||
| Section status: Open | Capacity: 14 | Enrollment: 12 | Available: 2 | Waitlist: 0 |
BOOK INFORMATION
| Book List | Required | Publisher Full Price |
| Title: An Introduction to Godel's Theorems Author: Smith, Peter Copyright: 2020 Edition: 2 Volume: ISBN: 9798673862131 Publisher: Logic Matters |
Required | 9.99 |
| Additional Book Comments |
| This is NOT the complete book list for this class. |