Next: About this document
CS486 Spring 1997
Lecture 22 Tuesday, April 14, 1997
- Review
- Cantor's theorem (diagram-infinite matrix)
- applies to finite sets as well
-
is not countable (Theorem 59 p.191)
- Skolem paradox (based on Löwenheim/Skolem Theorem-Smullyan p.65)
- what is going on?
- Resolving the Skolem paradox
- ``inside and outside'' a theory
math vs metamath
- multiple interpretations of a theory
- Defining the reals (Suppes Chapter 6)
-
-
(equivalence classes)
-
(Cauchy sequences (p.177), equality (
) p.178, Re p.181)
- completeness (Theorem 55 p.187-details not required)
- diagonalization to show
