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

The class will be held in Eckhart 202

Course information

Homework Assignment 1

Homework Assignment 2

Set Theory: An Introduction to Independence Proofs by Kenneth Kunen

Herbert Enderton's commentary on his textbook.

Supplementary texts for the book Logic for Mathematics and Computer Science by Stanley N. Burris (Prentice Hall, 1998), including a text on the work of Cantor.

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

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.

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