Department of Mathematics

Autumn quarter 2003

Oct 21 **G. Mints, T. Zhang** (Stanford) *
Propositional Logic of continuous transformations*

Oct 28 **Jesse Alama, Patrick Girard** (Stanford)*
Decision Methods for Arithmetical Universal-Existential Sentences*

Nov 4 **Jesse Alama, Patrick Girard** (Stanford) *
Decision Methods for Arithmetical Universal-Existential
Sentences II*

Nov 11 **Jesse Alama, Patrick Girard** (Stanford) *
Decision Methods for Arithmetical Universal-Existential
Sentences III*

Nov 18 **Makoto Tatsuta** (National Institute of Informatics,
Japan) *
Strong Normalization Proof with CPS-Translation for Second Order
Classical Natural Deduction
*

Nov 25 **G. Mints** (Stanford) *
Computerized Exercises to a Course of First Order Logic*

Dec 2 **Harvey Friedman** (Ohio State University, Columbus) *
Boolean Relation Theory*

(Room 380-380F)

Seminars this quarter are on Tuesdays at 4:15PM

in room 380:381T (Math building).

Oct 10*
Organizational Meeting*

Nov 7 **Ed Zalta** (CSLI/Stanford) *
Convergence in the Philosophy of Mathematics*

(Board Room, Stanford Humanities Center)

Dec 3 **Harvey Friedman** (Ohio State) *
Reflection*

(4:30-6PM, Baker Room, Stanford Humanities Center)

The Logical Methods in the Humanities Workshop meets on Fridays from 3-5PM in room 90-92Q. To be added to the mailing list, send email to majordomo@lists.stanford.edu with the words `subscribe logical-methods' in the message text.

Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).

**Past Seminars and Lunches****Logic at Stanford**