Mathematics 27800 / Computer Science 27800: Mathematical Logic II,
The class will be held in Eckhart 202
Homework Assignment 1
Homework Assignment 2
Theory: An Introduction to Independence Proofs by Kenneth Kunen
Herbert Enderton's commentary
on his textbook.
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.
home page for the Axiom of Choice by Eric Schechter of Vanderbilt
Meyer's or (Putnam's) Proof of the Existence of God by
Alexander R. Pruss
computable numbers, with an application to the
A notebook on Turing machines from Wolfram Research
Reflections on Trusting
Trust by Ken Thompson (1983 Turing Award lecture).
Formally Undecidable Propositions of Principia Mathematica and Related
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