STANFORD UNIVERSITY
Winter Quarter 2007
To be added to the Logical Methods mailing list, please send a message to logical-methods-join@lists.stanford.edu
LOGICAL METHODS IN THE HUMANITIES WORKSHOP
Jan 19 John Steel (UC Berkeley)
Generic Absoluteness and the Continuum Problem
(time: noon, room: 60-62J)
Feb 2 Martin Davis (Visiting Scholar, UC Berkeley. Professor Emeritus, NYU)
Von Neumann as a Logician
(time: noon, room: 60-62J)
Feb 12 Bas Spitters (Radboud University Nijmegen)
Constructive Analysis, Types and Exact Real Numbers
(time: noon, room: 60-62J)
Mar 2 Hugh Woodin (UC Berkeley)
In Search of V
(time: noon, room: 60-62J)
Mar 6 Jeffery Zucker (Department of Computing, McMaster University)
Fixed-Point Semantics for Analog Networks
(time: 4:15pm, room: 380-380W)
Mar 9 Wilfried Sieg (Carnegie Mellon University)
Gödel's Challenge (to Turing): The human mind infinitely surpasses any finite machine
(time: noon, room: 60-62J)
MATHEMATICAL LOGIC SEMINAR
The talks in this seminar are in a joint collaboration with Logical Methods in Humanities.
Jan 30 Grigori Mints (Stanford University)
Proof Serach Tree and Cut Elimination
(time: 4:15pm, room: 380-380W)
Feb 6 David Fernandez (Stanford University)
Non-deterministic Semantics for Dynamic Topological Logic
(time: 4:15pm, room: 380-380W)
Feb 13 Bas Spitters (Radboud University Nijmegen)
Almost Periodic Functions Constructively
(time: 4:15pm, room: 380-380W)
Feb 27 Jesse Alama (Stanford University)
Problems and Prospects for Computer-Checked Formal Proofs
(time: 4:15, room: 380-380W)
Mar 13 William Tait (University of Chicago)
Elimination of Cuts in Pi^1_1-CA with the omega-Rule
(time: 4:15pm, room: 380-380W)
Past Seminars and Lunches- Logic at Stanford