Reflections on the Foundation of Mathematics Symposium, Stanford California

9813766Sieg该奖项将为参加1998年12月11日至13日在斯坦福大学举行的题为“数学基础的思考”研讨会的演讲者和其他人，特别是研究生提供支持。千禧年之交是一个特别合适的时间来反思本世纪的证明理论启发的基础研究，这些研究植根于19世纪数学家的工作，例如Dedekind， Cantor，Frege和Kronecker。在过去的几十年里，这些研究一直与集合论和递归理论的发展相结合；然而，他们特别强调广泛的哲学问题仍然突出。研讨会的召开恰逢所罗门·费曼（Solomon Feferman）诞辰70周年，费曼是过去四十年来基础研究的指导精神之一，他的诞辰进一步将人们的注意力集中在我们在这方面所做的努力以及我们可能要去的地方。研究生的参与显然对后者很重要。组织者为准备详细的议程和广泛的代表性项目所做的努力得到了惊人成功的研讨会的回报，并且将在适当的时候出现的论文集承诺在未来几年成为社区有价值和有影响力的资源。***

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.***