Two Conferences in Logic at 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.