Mathematical Sciences: Southern Wisconsin Logic Colloquium
Mathematical Sciences: Southern Wisconsin Logic Colloquium
批准号:
9111849
负责人:
Steffen Lempp
金额:
$0.96万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-11-15 至 1995-04-30
中文摘要
威斯康星州-麦迪逊大学有着悠久的传统 在逻辑和数学基础方面, 斯蒂芬·克林,1936年。 目前,有5名教师 逻辑和基础成员:H。肯尼斯?杰罗姆?凯斯勒 Kunen,Steffen Lempp,Terrence Millar和Arnold米勒;以及 玛丽埃伦鲁丁,谁的作品集理论拓扑。 他们一起指导了十几个研究生的论文 学生,他们的逻辑座谈会平均出席率为 二十多个,不仅教师和研究生从 威斯康星州大学的逻辑学家, 附近的大学和学院,包括Paul Bankston,Wim 来自密尔沃基马奎特大学的Ruitenburg和John Simms; 威斯康星大学帕克赛德分校的唐娜卡尔和菲利普 我是贝洛伊特学院的斯泰茨 逻辑讨论会的目的有三: 威斯康星州大学的逻辑系和 附近的大学和学院介绍他们的工作, 他们的同事和学生;给研究生在 威斯康星州大学的一个机会来谈论他们的论文 在逻辑和基础工作;并提供一个论坛, 访客说话。 它目前每两周举行一次会议, 一个小时的会谈,额外的时间安排在外面 发言人,去年包括:希伯来文的Menachem Magidor 耶路撒冷的克里斯·拉斯科夫斯基 马里兰大学的塞尔吉奥法哈尔多 波哥大的安第斯山脉和华盛顿美国大学的阿里·埃纳亚特 在每一个案件中,外面的扬声器碰巧经过 麦迪逊或芝加哥,并同意发言。 为了使 组织者更有效地运作,NSF的资金正在 每月邀请一名发言人, 在接下来的三个学年里。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computability Theory
-
批准号:0555381
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Steffen Lempp
-
依托单位:
Computability Theory
-
批准号:0140120
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Steffen Lempp
-
依托单位:
Computability and Effective Constructions in Mathematics
-
批准号:0075899
-
项目类别:Standard Grant
-
资助金额:$3.52万
-
财政年份:2000
-
负责人:Steffen Lempp
-
依托单位:
Computability, Enumerability, Decidability and Definability
-
批准号:9732526
-
项目类别:Standard Grant
-
资助金额:$9.66万
-
财政年份:1998
-
负责人:Steffen Lempp
-
依托单位:
Workshop in Recursion Theory and Complexity Theory to be held in Kazan, Russia in July, 1997
-
批准号:9707156
-
项目类别:Standard Grant
-
资助金额:$1.55万
-
财政年份:1997
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Conference on Applied Model Theory
-
批准号:9625584
-
项目类别:Standard Grant
-
资助金额:$0.72万
-
财政年份:1996
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Computability, Decidability, and Definability
-
批准号:9504474
-
项目类别:Continuing Grant
-
资助金额:$8.04万
-
财政年份:1995
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Southern Wisconsin Logic Colloquium
-
批准号:9413458
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:1994
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:9100114
-
项目类别:Continuing Grant
-
资助金额:$9.49万
-
财政年份:1991
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:8901529
-
项目类别:Standard Grant
-
资助金额:$3.86万
-
财政年份:1989
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:8701891
-
项目类别:Standard Grant
-
资助金额:$3.52万
-
财政年份:1987
-
负责人:Steffen Lempp
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Handbook of the Mathematics of the Arts and Sciences的中文翻译
-
批准号:12226504
-
项目类别:数学天元基金项目
-
资助金额:20.0万元
-
批准年份:2022
-
负责人:黄朝凌
-
依托单位:
SCIENCE CHINA: Earth Sciences
-
批准号:41224003
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:魏建晶
-
依托单位:
Journal of Environmental Sciences
-
批准号:21224005
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Information Sciences
-
批准号:61224002
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:宋扉
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51224001
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:安梅
-
依托单位:
Journal of Environmental Sciences
-
批准号:21024806
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Life Sciences (中国科学 生命科学)
-
批准号:81024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:李纪元
-
依托单位:
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
-
批准号:41024801
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:魏建晶
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:安梅
-
依托单位: