PHIL232

[WesMaps Home Page] [Course Search] [Course Search by CID]

PHIL232

Logical Theory II: Metamathematics and the Foundations of Mathematics PHIL232 FA

Crosslistings: MATH232

Section	Class Size	*Available	Times
1	49	0	Times: .T.T... 1:10PM-2:30PM;

*The number of spaces listed as available is based on class seats open for the current phase of registration. Some seats may be taken in previous phases while others may be held out for subsequent phases of registration. (Last Updated on Wed Mar 4 05:01:03 EST 1998 )

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 theorums, 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 up to epsilon zero, we will prove the consistency of first order arithmetic via Goodstein's Theorum, 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 a 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 MATH 243, you should have taken PHIL 230 AND a mathematics course at the level of MATH 225 or COMP 301. Unless preregistered students attend the first class meeting or communicate directly with the instructor prior to the first class, they will be dropped from the class list. NOTE: Students must still submit a completed Drop/Add form to the Registrar's Office.

COURSE FORMAT: Discussion Lecture

REGISTRATION INFORMATION

Level: UG Credit: 1.00 Gen Ed Area & Dept: SBS PHIL

Prerequisites: MATH243 or PHIL230 and MATH225 or PHIL230 and COMP301

Section 01: Shieh, S; Times: .T.T... 1:10PM- 2:30PM;; Grading Mode: A/F; Registration Preference (1 high to 6 low, 0=Excluded) Sr: 1, Jr: 2, So: 3, Fr: 0; No Major Preference Given

Last Updated on MAR-03-1998

Contact wesmaps@wesleyan.edu to submit comments or suggestions.