STANFORD UNIVERSITY
Department of Mathematics
Winter quarter 2004

MATHEMATICAL LOGIC SEMINAR

Jan 13 Boris Konev (Steklov Institute of Mathematics at St. Petersburg and The University of Liverpool)
Monodic Temporal Resolution

Jan 27 Michael Zakharevich
Review of a paper ``The theory of Liouville functions" by P. Koiran, JSL 68 (2003)

Feb 3 M. Tatsuta (National Institute of Informatics[Japan] and Stanford) G. Mints (Stanford)
A Simple Proof of Strong Normalization with Permutative Conversions

Feb 10 Andrew Arana (Stanford University)
Arithmetic independence results using higher recursion theory

Feb 17 Dana S. Scott (Carnegie Mellon University, Retired)
The algebraic interpretation of classical and intuitionistic quantifiers

Feb 24 Grigori Mints (Stanford University)
Intuitionistic Frege Systems are Polynomially Equivalent

Seminars this quarter are on Tuesdays at 4:15PM
in room 380:380F (Math building).

LOGICAL METHODS IN THE HUMANITIES WORKSHOP

Jan 29 Andre Carus (University of Chicago)
Carnap's Dream: Wittgenstein, Goedel, and Logical Syntax
(4:15-6:05, 200-030)

Jan 30 Paolo Mancosu (UC Berkeley)
The Varieties of Mathematical Explanation

Feb 13 Ken Manders (Pittsburgh)
Knots and Representation

Mar 5 Doug Jesseph (North Carolina State)
Hobbes on Rigorous Demonstration: Theory Meets Practice
(4-6PM, Baker Room, Stanford Humanities Center)

Mar 11 Mic Detlefsen (Notre Dame)
Proof: Confirmation and Discovery
(4-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).