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

• About this document ...