Mathematics 27800 / Computer Science 27800: Mathematical Logic II,
Winter 2026
TTh 12:30 - 1:50 in Eckhart 312
Instructor:
Denis Hirschfeldt
drh@uchicago.edu
Ryerson 359B
He/Him/His
Office Hours: W 2:00-3:00 and Th 3:30-4:30
College Fellow:
Raghuram Sundararajan
raghurams@uchicago.edu
Office Hours: T 9:30-10:30 and Th 11:00-12:00 in Ryerson 253A
Course information sheet
Course Canvas page
Assignment 1 (due Friday, Jan. 23rd)
Assignment 2 (due Friday, Jan. 30th)
Recommended Texts:
Jeremy Avigad, Mathematical
Logic and Computation
Joseph Mileti,
Modern
Mathematical Logic
Herbert
Enderton, A
Mathematical Introduction to Logic
Other Resources:
Evolution of the Function Concept: A Brief Survey by Israel Kleiner
Notices of the AMS:
Special
issue on Formal Proof including an article
by Thomas Hales
Set
Theory: An Introduction to Independence Proofs by Kenneth Kunen
A
home page for the Axiom of Choice by Eric Schechter of Vanderbilt
University
Meyer's or (Putnam's) Proof of the Existence of God by
Alexander R. Pruss
Notes
on Ordinals and Cardinals by Reed Solomon
A video of my public lecture Waking up from
Leiniz' Dream: On the Unmechanizability of Truth
Turing Computability: Theory and Applications by Robert I. Soare
Computability
by Cutland, including a proof in the Appendix to Chapter 5 that a
function representing configurations of a Turing machine is primitive
recursive
Turing's On computable numbers, with an application to the
Entscheidungsproblem