MATH 3TP3

TRUTH AND PROVABILITY

Undergraduate

Winter 2026 · C01

Readings

Oer: A Friendly Introduction To Mathematical Logic Ed: '15
Leary · '15 · Required

Winter 2026 · C01

Week 1, some historical context; read chapters 1 - 3 of Smith's book
Week 2, more history zeroing in on Hilbert's problem
Week 3, some basic arithmetic; read chapters 4 - 5
Week 4, some basic logic; read chapters 6 - 8
Week 5, Peano arithmetic and primitive recursion; read chapters 9 - 12
Week 6, PA and PR cont'd; read chapters 13 - 15,
Week 7; a little more history; read chapters 16 - 18
Week 8, Q and primitive recursion; read chapters 10, 11, 14
Week 9, Godel numbering and the first incompleteness theorem; read chapters 15
Week 10, first incompleteness theorem cont'd; read chapters 19 - 23
Week 11, Diagonalization and Godel's second incompleteness theorem; read chapters 24, 31 - 32

Sources