STANFORD UNIVERSITY
Department of Mathematics
Winter quarter 2001

MATHEMATICAL LOGIC SEMINAR

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

Logic lunch takes place on Fridays at 12:00 PM in room 383-N,
Mathematics Department (building 380).

MATHEMATICS COLLOQUIUM

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