Next: About this document
CS486 Spring 1997
Lecture 18 Tuesday, April 1, 1997
- Remarks on Applied Logic and Assignment
- Defining
, 
, 
, etc. is a programming issue.
- Constructivity in applied logic (Bates/Constable paper)
- We'll discuss Prolog later.
- The Continuum continued
- algebraic approach to reals: ordered fields
- algebra and topology: complete ordered field
- set theoretic approach: Cauchy sequences
- Set theories
- foundations of mathematics (see Suppes introduction)
- variety of theories;
- Suppes account of
- Discuss Prelim
- answers for Boolean ring
- answers for prop calculus theory