Conference on the Foundations of Mathematics; Spring 2009, Columbus, Ohio

这次会议显然将是跨学科的。36位演讲者包括顶尖的设定论者、模型理论家、证明理论家、逆向数学家、计算机科学家以及逻辑和数学哲学家。项目的质量可以从全体演讲者的名单中推断出来：马丁·戴维斯、所罗门·费尔曼、索尔·克里普克、阿尼尔·尼罗德、杰拉尔德·萨克斯、帕特里克·苏佩斯和阿尔伯特·维瑟，可以看到完整的暂定计划athttp://people.cohums.ohio-state.edu/tennant9/program_new.htmThe迄今收到的标题和摘要的列表可以看到athttp://people.cohums.ohio-state.edu/tennant9/titles_and_abstracts.htmlThe会议将是奠基人了解和讨论重要研究进展、交流思想和在科学项目上合作的关键机会。旅行津贴将允许研究生和年轻的研究人员来参加会议。大多数参与者将是研究数学家和大学教师。他们在会议上学到的东西将对他们的研究和教学产生积极的影响。

This conference will be notably interdisciplinary. The 36 speakers include leading settheorists, model theorists, proof theorists, reverse mathematicians, computer scientistsand philosophers of logic and of mathematics. The quality of the program can be inferredfrom just the list of plenary speakers: Martin Davis, Solomon Feferman, Saul Kripke,Anil Nerode, Gerald Sacks, Patrick Suppes and Albert Visser, The complete tentativeprogram can be seen athttp://people.cohums.ohio-state.edu/tennant9/program_new.htmThe lists of titles and abstracts received thus far can be seen athttp://people.cohums.ohio-state.edu/tennant9/titles_and_abstracts.htmlThe conference will be a key opportunity for foundationalists to learn about and discussimportant advances in research, to exchange ideas, and to collaborate on scientificprojects. Travel grants will allow graduate students and young researchers to come to theconference. Most of the participants will be research mathematicians and universityteachers. What they learn at the conference will have a positive impact on their researchand teaching.