Philosophy 327 - Advanced Logic

Fall
2013
01
4.00
Lee Bowie

MWF 10:00AM-10:50AM

Mount Holyoke College
85149
Skinner Hall 212
lbowie@mtholyoke.edu
85149,85040
'This course presents a careful development of predicate calculus, formal elementary number theory, and elementary recursion theory, culminating in a proof of Godel's incompleteness results. It includes some discussion of the philosophical significance of these results for the foundations of mathematics.'
Prereq: Philosophy 225 and 4 additional credits in Philosophy or Mathematics
Permission is required for interchange registration during the add/drop period only.