SM: Logic Year at the University of Florida

SM：佛罗里达大学逻辑年

• 批准号: 0532644
• 负责人: Jindrich Zapletal
• 金额: $ 13.8万
• 依托单位: University of Florida
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-09-01 至 2010-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0532644&HistoricalAwards=false
• 关键词: SM; Logic; Year; University; Florida

Special Year in Mathematical Logic, University of Florida, 2006-2007The special year in mathematical logic will be devoted to theexploration of various channels of communication between severalfields of logic as well as the rest of the mathematical sciences.Mathematical logic is entering a phase of increasingly intenseconversation with other parts of mathematics. In one workshop, wewill concentrate on the relationship between computability, effectivedescriptive set theory and computable analysis on one hand andnumerical methods and analysis on the other, such as the study ofeffectively closed sets and effectivity of reals and real functions.Potential special topics will include algorithmic randomness, quantumcomputation, reverse mathematics. The second workshop will relate thecurrent trends in definable forcing and determinacy with measuretheory, potential theory and dynamical systems, as well as with thegames used in biomathematics or economics. Special topics includeBorel equivalence relations and definable forcing. The third workshopwill further explore the connections between singular cardinals andinner models. Recent work on large cardinals and inner models hashelped to advance the frontier of set theory and its applications tomathematics.The special year will bring together leading scientists from manyareas of mathematical logic, in an effort to advance our understandingof this fundamental discipline. Just as mathematics is the languageof science and provides the foundation of science, so logic is thelanguage of mathematics and provides the foundation of mathematics.The subject of logic has its roots in classical philosophy and todayhas branches in many disciplines, including mathematics andphilosophy, as well as computer science, linguistics, and law. Logicis used in expert systems which, for example, help doctors diagnoseillness with the aid of computers. Current research on hybridalgorithms is using logic in the development of software which willmap out the flight plan of an airplane in real time. While the programis based in the mathematics department, other departments, includingphilosophy and computer science, will also participate. The broaderimpact of the project includes an emphasis on participation ofgraduate students, junior researchers and women mathematicians. Therewill also be a focus on participants from the Southeast region. Wewill publish proceedings of the work presented during the specialyear.

佛罗里达大学数学逻辑的特殊年度，2006-2007，数学逻辑的特殊年度将致力于探索几个逻辑和数学科学的多种沟通渠道，其余的逻辑正在与越来越多的阶段与其他部分进行数学的阶段。 在一个研讨会中，Wewill专注于一方面的可计算性，有效描述性集合理论和可计算分析的方法和数字方法和分析，例如对实时和真实功能的有效封闭集和有效性的研究。潜在的特殊主题将包括算法随机性，量子随机性，量子能力，量子能力，量子能力，量子能力，反向数学。 第二个研讨会将与测量，潜在的理论和动力学系统以及生物学或经济学中使用的游戏中的可定义强迫和确定性中的趋势联系起来。 特殊主题包括等效关系和可定义的强迫。 第三个研讨会将进一步探索奇异的红衣主教和ininner模型之间的联系。 最近在大型红衣主教和内部模型上进行了伸展的工作，以提高设定理论的前沿及其应用横向运动。特殊年度将汇集来自数学逻辑的许多领先的科学家，以促进我们对这一基本学科的理解。 就像数学是科学的语言一样，为科学提供了基础，因此逻辑是数学的语言，并提供了数学的基础。逻辑的主题源于古典哲学和今天的许多学科分支，包括数学和哲学，以及计算机科学，Lingingisices和Lingicisical和Lawicys和Lawicals和Lawicals和法律。 Logicis用于专家系统中，例如，这些系统可以帮助医生借助计算机诊断。当前关于混合载体的研究正在使用逻辑来开发软件，该软件将实时绘制飞机的飞行计划。虽然基于数学部门的程序，但包括腓骨科和计算机科学在内的其他部门也将参加。该项目的广泛影响包括强调研究生，初级研究人员和女性数学家的参与。因此，还关注东南地区的参与者。 We Will发布了在特定莱容期间提出的工作的程序。