Symposium Honoring Solomon Feferman
|
||
|
||
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 |
||
| Coffee | |
| John Etchemendy | Opening remarks |
| Dana Scott | Topology, Categories, and Lambda-calculus |
| Coffee break | |
| Dagfinn Follesdal | Sol on Mathematical Intuition |
| Lunch | |
| Carolyn Talcott & Ian Mason | Challenges for Formal Approaches to Distributed Computation |
| Break | |
| Paolo Mancosu | Tarski on models and logical consequence |
| Thomas Hofweber | Formal tools and the philosophy of mathematics |
| Banquet including mini-concert with del Sol String Quartet | For information about the banquet please send email to Rick Sommer |
Sunday, January 18: | ||
| Grisha Mints | Substitution method for ID1 |
| Wilfried Sieg | Beyond Church's Thesis: axioms for computability |
| Coffee Break | |
| Michael Rathjen | New results about monotone inductive definitions in explicit mathematics |
| 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. |