Department of Mathematics

Winter quarter 2001

Jan 16 **Sol Feferman***
Comparative approaches to feasible functions and functionals*

Jan 23 **Peter Selinger***
Classical logic, control, and duality*

Jan 30 **Peter Selinger***
Classical logic, control, and duality (continued)*

Feb 6 **Sol Feferman***
Thomas Strahm's paper "Theories with self-application and computational complexity"*

Feb 13 **Sol Feferman***
Thomas Strahm's paper "Theories with self-application and computational complexity" (concluded)*

Feb 20 **Michael Reeken** (Wuppertal) *
A Nonstandard Proof for The Jordan Curve Theorem*

Feb 27 **Grigori Mints** *
Substitution method for arithmetic with predicates*

Mar 13 **Richard Zach** *
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's Program*

Seminars take place on Tuesdays at 4:15 PM in room 381-T,

Mathematics Department (building 380).

Logic lunch takes place on Fridays at 12:00 PM in room 383-N,

Mathematics Department (building 380).

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**