Past Seminars and Lunches Logic at StanfordJan 7 Vladimir Lifschitz (University of Texas)
Equivalent Transformations of Logic Programs
Jan 14 Ting Zhang (Stanford)
A paper "The first order properties of products of algebraic systems" by S. Feferman and R. Vaught
Jan 21 Edward A. Hirsch (Steklov Institute of Mathematics, St. Petersburg)
Complexity of semi-algebraic propositional proof systems
Feb 4 Ting Zhang (Stanford)
Decidability of integer multiplication and ordinal addition:
Two applications of the Feferman-Vaught Theory
Feb 25 Henry Towsner (Stanford)
A Realizability Interpretation for Classical Second Order Arithmetic
Seminars this quarter are on Tuesdays at 4:15PM
in room 380:381T (Math building).
Jan 17 Edward Keenan (University of California, Los Angeles)
Some Logical Properties of Natural Language Quantifiers
Feb 7 Johan van Benthem (Amsterdam and Stanford)
'One is a lonely number':
some recent trends in the logic of communication
Feb 14 Michael Friedman (Stanford)
Kant's Philosophy of Mathematics in Perspective
Feb 21 Geoffrey K. Pullum (University of Califoria, Santa Cruz)
On the thesis that human languages are infinite
Feb 28 G. Mints (Stanford)
A formalization of an approach to modality suggested by C. Peacocke
Mar 7 Branden Fitelson (San Jose State University)
A User-Friendly Decision Procedure for the Probability Calculus,
with Some Applications to Bayesian Philosophy of Science
Mar 14 Mark van Atten (Leuven)
On Gödel's philosophical development
Logic lunch takes place on Fridays at 12:00 PM in room 383-N,
Mathematics Department (building 380).
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