Reflections

A Symposium Honoring Solomon Feferman on his 70th Birthday

December 11-13 1998, Stanford University

The symposium is centered around proof theoretically inspired foundational investigations. These investigations have important roots in the work of 19-th century mathematicians, e.g., Dedekind, Cantor, Frege, and Kronecker, and have been merging over the last decades with developments in set theory and recursion theory; however, they have sustained a special emphasis on broader philosophical issues. Stanford University has had a special role in fostering such work through actively engaged faculty (for example, Friedman, Kreisel, Mints, Scott, Tait), doctoral students (for example, Barwise, Beeson, Sieg, Statman, Zucker), and visitors (for example, Jäger, Rathjen, Schwichtenberg, Troelstra, Wainer). During the last forty years, Solomon Feferman has been at the center of these activities. He has been addressing foundational questions in a most systematic and significant way, and the main themes of the Symposium are themes in his work. The symposium is a tribute to him on the occasion of his 70-th birthday -- a tribute both to his specific contributions and to his influence on the direction of current research. The symposium will be organized in six sessions each with a distinctive theme. This reflective activity on (the direction of) research in the foundations of mathematics is of general scientific interest.

Click here for information about the symposium banquet on Saturday evening.

Organizers

Last updated by Carolyn Talcott clt@cs.stanford.edu 10 December 1998.