Philosophy 327 - Advanced Logic

Fall
2017
01
4.00
Samuel Mitchell
MW 02:40PM-03:55PM
Mount Holyoke College
100800
Kendade 303
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.
Permission is required for interchange registration during the add/drop period only.