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猜想和可数结构分类的会议上，模型理论家、可计算理论家和描述集理论家将分享他们对这个长期棘手问题的不同观点以及由此产生的研究。 2005年6月，为期两周的证明理论短期课程，针对数理逻辑，计算机科学和哲学的研究生，将填补美国学生教育经验的空白。并促进跨学科的互动。证明理论课程旨在促进数学，计算机科学和哲学研究生之间的互动。该场地将拓宽学生对学术追求和职业选择的观点。几十年来，Vaught猜想一直从不同学科的角度进行研究。会议的目的是分享这些不同的观点，重点是问题，而不是工具。关于Vaught猜想和可数结构分类的会议的跨学科性质将使讲座更容易为各级研究生所接受。