Department of Mathematics

Winter quarter 2004

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

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.

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