Symposium Honoring Solomon Feferman
Stanford University
January 17-18, 2004


A symposium in honor of Solomon Feferman on the occasion of his retirement will take place at Stanford University on Saturday, January 17, 2004, and on the morning of January 18.

Program Committee: Dagfinn Follesdal, Grigori Mints (chair), Richard Sommer

There will be a banquet dinner in the evening on the first day.

*******************************************************************************
Program
All talks are in 100 Cordura Hall

Saturday, January 17:

  • 9:30-9:45
    		• Coffee
  • 9:45-10:00
    		• John Etchemendy Opening remarks
  • 10:00-10:45
    		• Dana Scott Topology, Categories, and Lambda-calculus
  • 10:45-11:15
    		• Coffee break
  • 11:15-12:00
    		• Dagfinn Follesdal Sol on Mathematical Intuition
  • 12:00- 1:45
    		• Lunch
  • 1:45 - 2:30
    		• Carolyn Talcott & Ian Mason Challenges for Formal Approaches to Distributed Computation
  • 2:30 - 3:00
    		• Break
  • 3:00 - 3:45
    		• Paolo Mancosu Tarski on models and logical consequence
  • 3:45 - 4:30
    		• Thomas Hofweber Formal tools and the philosophy of mathematics
  • 6:00 - 10:00
    		• Banquet including mini-concert with del Sol String Quartet For information about the banquet please send email to Rick Sommer

    Sunday, January 18:

  • 9:30-10:15
    		• Grisha Mints Substitution method for ID1
  • 10:15-11:00
    		• Wilfried Sieg Beyond Church's Thesis: axioms for computability
  • 11:00-11:30
    		• Coffee Break
  • 11:30-12:15
    		• Michael Rathjen New results about monotone inductive definitions in explicit mathematics
  • 12:15 - 1:00
    		• Rick Sommer Predicativity

    *******************************************************************************
    For accomodations in the area click here
    This symposium is sponsored by the Stanford Mathematics Department, the Philosophy Department, the Dean of Humanities and Sciences, the Provost, the Center for the Study of Language and Information, and the Symbolic Systems Program.