Mathematical Sciences: Southern Wisconsin Logic Colloquium

数学科学：威斯康星州南部逻辑研讨会

• 批准号: 9111849
• 负责人: Steffen Lempp
• 金额: $ 0.96万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-11-15 至 1995-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9111849&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Southern; Wisconsin; Logic

The University of Wisconsin - Madison has a long tradition in logic and the foundations of mathematics, starting with Stephen Kleene in 1936. Currently, there are five faculty members in logic and foundations: H. Jerome Keisler, Kenneth Kunen, Steffen Lempp, Terrence Millar, and Arnold Miller; as well as Mary Ellen Rudin, who works in set-theoretical topology. Together they supervise the theses of more than a dozen graduate students, and their logic colloquium has an average attendance of over twenty, not only faculty and graduate students from the University of Wisconsin but also logicians from nearby universities and colleges, including Paul Bankston, Wim Ruitenburg, and John Simms from Marquette University, Milwaukee; Donna Carr from the University of Wisconsin-Parkside; and Philip Steitz from Beloit College. The purpose of the logic colloquium is threefold: to allow the logic faculty of the University of Wisconsin and of nearby universities and colleges to present their work to their colleagues and students; to give graduate students at the University of Wisconsin a chance to talk about their thesis work in logic and foundations; and to provide a forum for outside visitors to speak. It currently meets every other week for two one hour talks, with additional times scheduled for outside speakers, who last year included: Menachem Magidor of Hebrew University , Jerusalem; Chris Laskowski of the University of Maryland-College Park; Sergio Fajardo of the University of the Andes, Bogota; and Ali Enayat of American University, Washington D.C. In each case, the outside speakers happened to pass through Madison or Chicago and agreed to speak. In order for the organizers to function more effectively, NSF funds are being provided to invite one speaker a month for each of the nine months of the next three academic years.

威斯康星大学 - 麦迪逊在1936年从斯蒂芬·克莱恩（Stephen Kleene）开始。和阿诺德·米勒（Arnold Miller）；以及从事固定理论拓扑工作的玛丽·艾伦·鲁丁（Mary Ellen Rudin）。 他们共同监督了十几位研究生的论文，他们的逻辑座谈会平均出席了二十多个，不仅来自威斯康星大学的教职员工和研究生，而且还来自附近的大学和学院的逻辑学家，包括保罗·班克斯顿（Paul Bankston） Ruitenburg和密尔沃基Marquette University的John Simms； 威斯康星大学 - 帕克赛德大学的唐娜·卡尔（Donna Carr）；和Beloit学院的Philip Steitz。 逻辑座谈的目的是三重：允许威斯康星大学和附近大学和大学的逻辑学院向同事和学生展示其工作；给威斯康星大学的研究生有机会谈论他们在逻辑和基础上的论文工作；并提供一个论坛供外部访客发言。 目前，它每隔一周开会两个小时的会谈，并安排了额外的次数供外部发言人，他们去年包括：耶路撒冷希伯来大学的Menachem Magidor；马里兰州大学公园的克里斯·拉斯科夫斯基（Chris Laskowski）；波哥大安第斯山脉大学的塞尔吉奥·法哈多（Sergio Fajardo）；华盛顿特区美国大学的Ali Enayat。在每种情况下，外部发言人碰巧经过麦迪逊或芝加哥并同意发言。 为了使组织者更有效地运作，正在提供NSF资金在接下来的三个学年的九个月中每月邀请一位发言人。