[ Wesleyan Home Page ] [ WesMaps Home Page ] [ WesMaps Archive ] [ Course Search ] [ Course Search by CID ]
Academic Year 2004/2005

Introduction to Meta-Mathematics
PHIL 292 SP

This course traces developments in mathematical logic that grew out of attempts to carry out David Hilbert's program for providing logical and philosophical foundations for mathematical practice. After a brief discussion of the philosophical and mathematical aims of Hilbert's program, we will study Godel's incompleteness theorems as he proved them in his 1931 papers. Then we will study the elementary recursion theory and provability logic that arise directly from the incompleteness results. After a detour in transfinite recursion on ordinals, we will prove the consistency of first order arithmetic via Goodstein's Theorem and use this result to study the reasons for the failure of early attempts to implement Hilbert's program. Throughout the course we will periodically pause from the mathematics to discuss its philosophical implications.

MAJOR READINGS

Selections from van Heijenoort (ed.), FROM FREGE TO GODEL

EXAMINATIONS AND ASSIGNMENTS

Regular problem sets, a midterm and final.

ADDITIONAL REQUIREMENTS and/or COMMENTS

This course requires some background in logic, but a fair amount of experience with mathematics. So, if you have not taken MATH243, you should have taken PHIL230 AND a mathematics course at the level of MATH225 or COMP301.

COURSE FORMAT: Lecture

REGISTRATION INFORMATION

Level: UGRD    Credit: 1    Gen Ed Area Dept: NSM PHIL    Grading Mode: Student Option   

Prerequisites: MATH243 OR (PHIL230 AND MATH225) OR (PHIL230 AND [COMP301 or COMP500]) Links to Web Resources For This Course.

Last Updated on MAR-21-2005

Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email

Copyright Wesleyan University, Middletown, Connecticut, 06459