Past Seminars and Lunches Logic at StanfordOct 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