SM: Logic Year at the University of Florida

SM:佛罗里达大学逻辑年

基本信息

  • 批准号:
    0532644
  • 负责人:
  • 金额:
    $ 13.8万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2005
  • 资助国家:
    美国
  • 起止时间:
    2005-09-01 至 2010-08-31
  • 项目状态:
    已结题

项目摘要

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在数学逻辑的特殊一年将致力于探索各种渠道之间的沟通几个领域的逻辑以及其余的数学科学。 在其中一个工作坊中,我们将集中讨论可计算性、有效描述集合论和可计算分析与数值方法和分析之间的关系,例如实数和真实的函数的有效闭集和有效性的研究。潜在的专题将包括算法随机性、量子计算、逆向数学。 第二个研讨会将可定义强迫和确定性的当前趋势与测量理论、势理论和动力系统以及生物数学或经济学中使用的游戏联系起来。 专题包括Borel等价关系和可定义的强迫。 第三个工作坊将进一步探讨奇异红雀和晚餐模型之间的联系。 最近在大基数和内部模型方面的工作有助于推进集合论的前沿及其在数学中的应用。特别的一年将汇集来自数理逻辑许多领域的顶尖科学家,努力推进我们对这一基本学科的理解。 正如数学是科学的语言并提供科学的基础一样,逻辑也是数学的语言并提供数学的基础。逻辑学的学科起源于古典哲学,今天在许多学科中都有分支,包括数学和哲学,以及计算机科学、语言学和法律。 专家系统中使用的一种逻辑推理机,例如,它可以帮助医生借助计算机诊断疾病。目前对混合算法的研究是在软件开发中使用逻辑来绘制飞机的真实的飞行计划。虽然该计划是基于数学系,其他部门,包括哲学和计算机科学,也将参与。该项目更广泛的影响包括强调研究生、初级研究人员和女数学家的参与。也将重点关注来自东南地区的参与者。 我们将出版在特别会议期间提出的工作的会议记录。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Jindrich Zapletal其他文献

Jindrich Zapletal的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Jindrich Zapletal', 18)}}的其他基金

Conference: Southeastern Logic Symposium
会议:东南逻辑研讨会
  • 批准号:
    2401437
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Continuing Grant
Choiceless set theory
无选择集合论
  • 批准号:
    2348371
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Continuing Grant
Southeastern Logic Symposium
东南逻辑研讨会
  • 批准号:
    1945890
  • 财政年份:
    2020
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Continuing Grant
South-Eastern Logic Symposium
东南逻辑研讨会
  • 批准号:
    1362273
  • 财政年份:
    2014
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Continuing Grant
Ideals and Equivalence Relations
理想与等价关系
  • 批准号:
    1161078
  • 财政年份:
    2012
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
Forcing Idealized
强迫理想化
  • 批准号:
    0801114
  • 财政年份:
    2008
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Continuing Grant
Cardinal Invariants and Descriptive Set Theory
基数不变量和描述集合论
  • 批准号:
    0300201
  • 财政年份:
    2003
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
The Southeast Logic Symposium
东南逻辑研讨会
  • 批准号:
    0335481
  • 财政年份:
    2003
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
Large Cardinals and the Methodology of Mathematics
大基数和数学方法论
  • 批准号:
    0071437
  • 财政年份:
    2000
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant

相似国自然基金

greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国学者研究基金项目

相似海外基金

Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343607
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
Conference: Southeastern Logic Symposium
会议:东南逻辑研讨会
  • 批准号:
    2401437
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Continuing Grant
CAREER: Next-generation Logic, Memory, and Agile Microwave Devices Enabled by Spin Phenomena in Emergent Quantum Materials
职业:由新兴量子材料中的自旋现象实现的下一代逻辑、存储器和敏捷微波器件
  • 批准号:
    2339723
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Continuing Grant
Collaborative Research: Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
合作研究:用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343606
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII:CPS:FAICYS:通过时态逻辑属性的引导伪造,对支持人工智能的网络物理系统进行基于模型的验证
  • 批准号:
    2347294
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
RII Track-4:NSF: Introducing Quantum Logic Spectroscopy to Greater Southern Nevada as a Vital Quantum Control and Information Process Method
RII Track-4:NSF:将量子逻辑光谱作为重要的量子控制和信息处理方法引入内华达州南部
  • 批准号:
    2327247
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
2022BBSRC-NSF/BIO Generating New Network Analysis Tools for Elucidating the Functional Logic of 3D Vision Circuits of the Drosophila Brain
2022BBSRC-NSF/BIO 生成新的网络分析工具来阐明果蝇大脑 3D 视觉电路的功能逻辑
  • 批准号:
    BB/Y000234/1
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Research Grant
Travel: Student Travel Support for Logic Mentoring Workshops 2024
旅行:2024 年逻辑辅导研讨会的学生旅行支持
  • 批准号:
    2408942
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
Enriched Categorical Logic
丰富的分类逻辑
  • 批准号:
    EP/X027139/1
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Fellowship
SHF: Small: Game Logic Programming
SHF:小:游戏逻辑编程
  • 批准号:
    2346619
  • 财政年份:
    2024
  • 资助金额:
    $ 13.8万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了