Philosophy 327 - Advanced Logic
Advanced Logic
Fall
2024
01
4.00
Samuel Mitchell
MW 01:45PM-03:00PM
Mount Holyoke College
124687
Clapp Laboratory 206
smitchel@mtholyoke.edu
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.
Prereq: PHIL-225 or MATH-232.