Reflections on the Foundation of Mathematics Symposium, Stanford California

点击翻译按钮获取中文摘要

9813766Sieg This award will provide support for speakers and others, in particular,graduate students, who attended the symposium entitled ``Reflections on theFoundations of Mathematics'' at Stanford University from December 11-13, 1998.The turn of the millenium is an especially appropriate time to reflect on theproof theoretically inspired foundational investigations of this century thathave roots in the work of 19th century mathematicians, e.g., Dedekind, Cantor,Frege, and Kronecker. These investigations have been merging over the pastdecades with developments in set theory and recursion theory; however, theirspecial emphasis on broad philosophical issues has remained prominent. Thesymposium was timed to coincide with the 70th birthday of one of the guidingspirits of foundational research over the past four decades, Solomon Feferman,which served further to focus attention on where we have been in this effortand on where we may be going. Participation by graduate students was ofobvious importance to the latter. The efforts of the organizers to preparea detailed agenda and widely representative program were rewarded by astrikingly successful symposium, and the proceedings volume that will appearin due course promises to be a valuable and influential resource for thecommunity for years to come.***