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

数学基础会议；

• 批准号: 0852494
• 负责人: Neil Tennant
• 金额: $ 1万
• 依托单位: Ohio State University Research Foundation -DO NOT USE
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-03-01 至 2012-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0852494&HistoricalAwards=false
• 关键词: Conference; Foundations; Mathematics; Spring; 2009

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.

这次会议将是跨学科的。36位演讲者包括领先的集合理论家，模型理论家，证明理论家，逆向数学家，计算机科学家以及逻辑和数学哲学家。该计划的质量可以推断，从刚才的名单全体发言人：马丁戴维斯，所罗门费弗曼，扫罗克里普克，阿尼尔Nerode，杰拉尔德萨克斯，帕特里克Suppes和阿尔伯特维瑟，完整的暂定计划可以看到在ttp：people.cohums.ohio-state.edu/tennant9/program_new.htmThe名单的标题和摘要收到迄今可以看到在ttp：//www.example.com会议将是一个关键的机会，为基础研究人员了解和讨论重要的进展，交流思想，并在科学项目合作。people.cohums.ohio-state.edu/tennant9/titles_and_abstracts.htmlThe研究生和年轻的研究人员将获得旅费赠款金参加会议。大多数参与者将是研究数学家和大学教师。他们在会议上学到的东西将对他们的研究和教学产生积极的影响。