Mathematics 27800 / Computer Science 27800: Mathematical Logic II, Winter 2021

TTh 1:00 - 2:20 (see Canvas page for Zoom links; photos of the lecture notes can be found under "Files" on Canvas)

Instructor:
Denis Hirschfeldt
drh@math.uchicago.edu
He/Him/His
Office Hours: M 12:00 - 1:00, W 1:00-2:00, or by appointment

Course Assistant:
Spencer Dembner
spencer.wd@hotmail.com
He/Him/His
Office Hours: Th 3:00 - 5:00 Problem Session: T 5:30

Recommended Text: Enderton, A Mathematical Introduction to Logic, 2nd Edition

The following are drafts of upcoming logic textbooks:

Joseph R. Mileti, A Mathematical Introduction to Mathematical Logic

Jeremy Avigad, Mathematical Logic (available under "Files" on Canvas)



Homework Assignment 1, due on Friday, January 22nd (see Canvas page for the LaTeX source)

Homework Assignment 2, due on Friday, January 29th (see Canvas page for the LaTeX source)

Homework Assignment 3, due on Friday, February 5th (see Canvas page for the LaTeX source)

Homework Assignment 4, due on Friday, February 12th (see Canvas page for the LaTeX source)

Homework Assignment 5, due on Friday, February 19th (see Canvas page for the LaTeX source)

Homework Assignment 6, due on Friday, February 26th (see Canvas page for the LaTeX source)

Homework Assignment 7, due on Friday, March 5th (see Canvas page for the LaTeX source)

Homework Assignment 8, due on Friday, March 12th (see Canvas page for the LaTeX source)



Grades for this course will be based on weekly homework assignments. Late homework will generally not be accepted, but the lowest grade will be dropped. Some homework questions will be labelled as "take home test questions". These must be worked out individually, without consultation with other students or the course assistant. It is fine to ask me clariying questions. For all other problems, collaboration is encouraged, but each person should write their own solutions independently.



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

To Settle Infinity Dispute, a New Law of Logic by Natalie Wolchover (published in Quanta Magazine)

A video of my public lecture Waking up from Leiniz' Dream: On the Unmechanizability of Truth

Turing's On computable numbers, with an application to the Entscheidungsproblem

A notebook on Turing machines from Wolfram Research

Reflections on Trusting Trust by Ken Thompson (1983 Turing Award lecture)

Gödel's On Formally Undecidable Propositions of Principia Mathematica and Related Systems I

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 Computability: Theory and Applications by Robert I. Soare