Topics in mathematical logic, Applications -- Tristan Perich and Jon Simon, November 13, 2001

<p>

Basic model theory and a sketch of the completeness theorem. The 
Lowenheim-Skolem Theorem, so-called "Skolemite" relativism - the philosophical 
import of the LST. Basic recursion theory, Goedel's incompleteness results, 
Hilbert's programme. Applications of Goedel-style arguments in computer 
science; complexity classes.