| Course Title: Advanced Logic |
| Start Date: 09/04/2019 End Date: 12/17/2019 |
| Term: Fall Semester 2019 |
| 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/2019 - 12/17/2019 | Seminar | Monday and Wednesday | 01:30PM - 02:45PM | CLAP - Clapp Laboratory | 402 | 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: 18 | Enrollment: 16 | Available: 2 | Waitlist: 0 |
BOOK INFORMATION
| Book List | Required | Publisher Full Price |
| Title: Godel's Incompleteness Theorems Author: Smith, Peter Copyright: Edition: 2 Volume: ISBN: 9781107606753 Publisher: Cambridge UP |
Required | 32.18 |
| Additional Book Comments |
| This is the complete book list for this class. |
| Copies are on order at Odyssey |
| Instructor's comments about the book list: This is a great book. You can find it cheaper on the Internet. You do need the SECOND edition! |