Fall Quarter 2006

Oct 6 **John McCarthy** (Computer Science Department, Stanford AI Lab)* Formalizing Common Sense in Mathematical Logic
*

(time: Noon, room: 90-92Q)

Oct 20 **José Ferreirós (Universidad de Sevilla) Dogmas and the Changing Images of teh Foundations of Mathematics(time: Noon, room: 90-92Q)
**

**Oct 27 Dana S. Scott (University Emeritus, Carnegie Mellon University)The Future of Proof
(time: Noon, room: 90-92Q)
**

Oct 10 **Gunnar Wilken** *Skolem Hulls for the Analysis of Elementary Patterns of Resemblance*

(time: 4:15pm, room: 380-380D)

Oct 19 **Thomas Forster (Cambridge)** *Constructive NF*

(time: 2:15pm, room: 60-61A )

**Past Seminars and Lunches****Logic at Stanford**