Mathematics 27800 / Computer Science 27800: Mathematical Logic II,
Winter 2012
Course information
homework 1
homework 2
homework 3
homework 4: Do problem 3 in Section 3.2 and problem 3 in Section 3.3 in
Enderton. In
Section 2.4, read the sections titled "Formal Deductions" and
"Tautologies".
homework 5: Do problem 4 in Section 3.2, problems 5 and 11 in Section 3.3,
and problems 1 and 3 in Section 3.4 in Enderton
homework 6: Do Problems 1, 2, 3, 4, 5, and 8 in Section 3.5 of Enderton.
Set
Theory: An Introduction to Independence Proofs by Kenneth Kunen
Mathematical Logic for Mathematicians by
Joseph R. Mileti. This is a draft of a book that can be used as an
alternative to Enderton's book. If you have any comments or corrections on
this draft, please let me know, as Mileti is still in the process of
making revisions.
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 (using the Axiom of
Choice) by Alexander R. Pruss.
Turing's On
computable numbers, with an application to the
Entscheidungsproblem.
Reflections on Trusting
Trust by Ken Thompson (1983 Turing Award lecture).
Gödel's On
Formally Undecidable Propositions of Principia Mathematica and Related
Systems.
Last time I taught this course, Luke Joyner typeset his notes
and made them available. He asked that I add the disclaimer that these
were posted as he took them, and may contain mistakes.
1, 2, 3, 4, 5, 6, 7, 8, 9, 8, 9, 10, 11, 12, 13, 14, 15, 16