Past Seminars Logic at StanfordJan 11 Philip Scowcroft (Welseyan University)
Easy proofs of some theorems of Ax-Kochen-Ershov
Feb 8 Saul Kripke (Princeton University (Emeritus))
Metatheorems and the logicists
Seminars take place on Tuesdays at 4:15 PM in room 381-T,
Mathematics Department (building 380).
Logic Lunches are suspended for this quarter until further notice.
Logic lunch takes place on Fridays at 12:00 PM in room 383-N,
Mathematics Department (building 380).
Feb 3 Yuri Matiyasevich (Steklov Institute of Mathematics)
Hilbert's Tenth Problem Today: Main Results and Open Problems
Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).
Past Seminars Logic at Stanford