J. Baldwin's Math 502 HomePage

  Welcome to the homepage for Prof. John Baldwin's Fall97 course:

          Math 502:MetaMathematics              

  Meeting at 11am M  2PM WF, in 301 Taft Hall          (UIC call no.=62131)

  Instructor:   John T. Baldwin
  Office:       417 SEO
  Office hours: 10 am MF  11 AM W (tentative)
  Phone:        (312) 413-2149   (fax 996-1491)
  Email:        jbaldwin@math.uic.edu

Click on the title to move to any of the following topics.

This course, popularly known as, "Godel, I and II" aims at the proof Godel's completeness and incompleteness theorems. We will focus on the use of these methods and theorems as tools for understanding mathematics.

Text: Ebbinghaus, Flum, and Thomas: Mathematical Logic

Supplement: Enderton: A Mathematical Introduction to Logic

Homework assignments will be due weekly for the first part of the semester.

Assignments

Bibliography

Substitution

Further course handouts will be posted, stay tuned.
Last revised: 4 Sep 1997 by J. Baldwin