Two Conferences in Logic at Notre Dame

圣母大学逻辑小组将通过会议和短期暑期课程，在教师和学生之间开展广泛的逻辑讨论。在2005年5月举行的为期一周的沃特猜想和可数结构分类会议上，模型理论家、可计算理论家和描述集理论家将分享他们对这个长期棘手的问题及其产生的研究的不同观点。2005年6月，一个为期两周的证明理论短期课程，针对的是数学逻辑、计算机科学和哲学的研究生，将填补美国学生教育经验的空白，并促进跨学科的互动。证明理论的课程旨在培养研究生在数学、计算机科学和哲学方面的互动。该场所将拓宽学生在学术追求和职业选择方面的视野。沃特的猜想已经从不同学科的角度研究了几十年。会议的目的是分享这些不同的观点，重点是问题而不是工具。沃特猜想和可数结构分类会议的跨学科性质将有一个额外的好处，那就是使所有层次的研究生都能更容易地参加会议。

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.