MATH 71200: Logic

Instructor: Prof. Russell Miller

Tues. & Thurs., 5:30 - 7:00pm

4.5 cr., Rm. TBA

Course description: This course is a continuation of Math 71100, which was offered in the fall semester and should be considered a prerequisite. We will examine and prove Godel's Incompleteness Theorems, and then continue with an introduction to the theory of computability (also known as recursion theory, or recursive function theory) and to the axioms and basic results of set theory. The main text for the course is Enderton's *A Mathematical Introduction to Logic*. For further background, students are encouraged to consult Mendelson (*Introduction to Mathematical Logic*) on incompleteness, Soare (*Recursively Enumerable Sets and Degrees*) on computability, or Kunen (*Set Theory: An Introduction to Independence Proofs*) on set theory.

Last Modified on: 11/01/2006

Webmaster