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

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

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.