Next: About this document
CS486 Spring 1997
Lecture 17 Tuesday, March 25, 1997
- Comments on Prelim
- review Boolean rings
- think about a first-order formalization of Smullyan, Chapter 1
1, 2
- Nature of Applied Logic
- Applied vs Pure Logics (Peano Arith vs Smullyan)
- High-level vs low-level logics
``compiling'' functions to relations or to
-operators
constants to existentials
removing definitions (Suppes gives examples)
- More Applied Logics
-
lists
- list induction
- primitive recursive functions of lists
- stating FTA (Fundamental Theorem of Arithmatic)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- Theories of the Continuum,
- Zeno paradoxes (discrete vs continuous: Dichotomy, Achilles
Tortoise, Arrow)
- constructive, building
from