课题基金 / 基金详情

O-minimal structures

O-minimal structures
O-最小结构
批准号：
261961-2008
负责人：
Speissegger, Patrick
金额：
$1.75万
依托单位：
McMaster University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2012
资助国家：
加拿大
项目状态：
已结题
起止时间：
2012-01-01 至 2013-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=503687
关键词：
minimalstructures

项目摘要

项目成果

Speissegger, Patrick的其他基金

相似基金

相关文献

中文摘要
翻译
长期以来，数学逻辑一直在描述形式上可能与不可能之间的关系。例如，Gödel的不完备性定理表明，没有复杂到足以证明数学中简单定理的一致形式系统可以证明其自身的一致性。这种结果限制了数学中形式上可知的范围。近年来，模型理论家采取了一种建构主义的方法来使用数学中的逻辑。在“Gödel屏障”下面工作，他们将结构的简单属性形式化，这些结构具有理想的有限属性，同时产生丰富的可定义集集合。
英文摘要
Mathematical logic has long played a role in delineating between what is formally possible and impossible. For example, Gödel's incompleteness theorem shows that no consistent formal system sophisticated enough to prove simple theorems in mathematics can demonstrate its own consistency. This type of result places a limit on the scope of what is formally knowable in mathematics. In recent years, model theorists have taken on a constructivist approach to the use of logic inside mathematics. Working below the "Gödel barrier'', they have formalized simple properties of structures that have desirable finiteness properties and which, at the same time, give rise to a rich collection of definable sets.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
O-minimal structures and dynamical systems
  • 批准号：
    RGPIN-2018-06555
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.91万
  • 财政年份：
    2022
  • 负责人：
    Speissegger, Patrick
  • 依托单位：
    McMaster University
O-minimal structures and dynamical systems
  • 批准号：
    RGPIN-2018-06555
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2021
  • 负责人：
    Speissegger, Patrick
  • 依托单位：
    McMaster University
O-minimal structures and dynamical systems
  • 批准号：
    RGPIN-2018-06555
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2020
  • 负责人：
    Speissegger, Patrick
  • 依托单位：
    McMaster University
O-minimal structures and dynamical systems
  • 批准号：
    RGPIN-2018-06555
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2019
  • 负责人：
    Speissegger, Patrick
  • 依托单位：
    McMaster University
国内基金
海外基金
飞行器板壳结构红外热波无损检测基础理论和关键技术的研究
  • 批准号：
    60672101
  • 项目类别：
    面上项目
  • 资助金额：
    26.0万元
  • 批准年份：
    2006
  • 负责人：
    郭兴旺
  • 依托单位：
    北京航空航天大学
新型嘧啶并三环化合物的合成研究
  • 批准号：
    20572032
  • 项目类别：
    面上项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2005
  • 负责人：
    柏旭
  • 依托单位：
    吉林大学
磁层重联区相干结构动力学过程的观测研究