STANFORD UNIVERSITY
Department of Mathematics
Autumn quarter 2003

MATHEMATICAL LOGIC SEMINAR

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).

LOGICAL METHODS IN THE HUMANITIES WORKSHOP

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.

MATHEMATICS COLLOQUIUM

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