Five College Consortium

Advanced Logic

Semester: 
Fall
Year: 
2017
Subject Name: 
Philosophy
Course Number: 
327
Institution: 
Mount Holyoke College
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.
Comments: 
Prereq: PHIL-225.
Instructor Permission: 
Permission is required for interchange registration during the add/drop period only.
https://wadv1.mtholyoke.edu/wadvg/mhc?TYPE=P&PID=ST-XWSTS12A
Schedule #: 
100800

Course Sections

Advanced Logic
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
01 4.0 Samuel Mitchell smitchel@mtholyoke.edu MW 02:40PM-03:55PM Kendade 303