3TP3 "Truth and Provability" Fall 2012

Course times: Tuesdays, Wednesdays and Fridays, 12:30-13:30, HH217

Office hours: HH409, Wednesday 13:20-16:20 or by appointment.

Mailing list: If you're taking this course, please subscribe to the course mailing list, either by sending an email to 3tp32012-join@math.mcmaster.ca, or by using the web interface.

Final exam: Thu 6 Dec 12:30-15:30 HH/102.

Course outline

Information on the writing project


Lecture notes

Introductory historical overview (source)


Other relevant links: