Two Conferences in Logic at Notre Dame

巴黎圣母院的两次逻辑会议

• 批准号: 0516576
• 负责人: Steven Buechler
• 金额: $ 2.22万
• 依托单位: University of Notre Dame
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-04-01 至 2006-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0516576&HistoricalAwards=false
• 关键词: Two; Conferences; Logic; Notre; Dame

The Notre Dame logic group will invigorate broad discussions among facultyand students across logic through a conference and a short summer schoolcourse. During a week-long Conference on Vaught's Conjecture andClassification of Countable Structures in May of 2005, model theorists,computability theorists and descriptive set theorists will share theirdifferent perspectives on this long-intractable problem and the research ithas spawned. A June, 2005, two-week Short Course in Proof Theory, aimed atgraduate students in mathematical logic, computer science and philosophy,will fill a gap in the educational experience of students in the U.S.\ andpromote interdisciplinary interaction.The course in proof theory is deliberately designed to foster interactionbetween graduate students in mathematics, computer science and philosophy.The venue will broaden the student's perspective on their scholarly pursuitsand career options.Vaught's conjecture has been studied from the perspectives of differentdisciplines for decades. The purpose of the conference is to share thesedifferent perspectives with a focus on the problem rather than the tools.The interdisciplinary nature of Conference on Vaught's Conjecture andClassification of Countable Structures will have the added benefit of makingthe talks more accessible to graduate students at all levels.

巴黎圣母院逻辑小组将通过会议和短暂的夏季学校进行各个逻辑的教师和学生之间的广泛讨论。在2005年5月的Vaught对可数结构的猜想和可数结构的分类中进行的为期一周的会议，模型理论家，可计算性理论家和描述性理论家将分享他们对这一可长期劳动问题的不同观点，并且研究了ITHAS的研究。 2005年6月，证明理论的两周短期课程，针对数学逻辑，计算机科学和哲学的本地学生，将填补美国学生的教育经验的空白，\ and promote互动互动，证明理论中的课程旨在促进他们在计算机上的研究中旨在促进数学，计算机研究生的互动。几十年来，从不同学科的角度来研究了voct。会议的目的是分享各种观点，重点关注问题而不是工具。关于Vaught的猜想和可数结构的分类，会议的跨学科性质将带来更大的好处，即使对各个层次的研究员更容易访问谈话。