课题基金 / 基金详情

O-minimal structures

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

项目摘要

项目成果

Speissegger, Patrick的其他基金

相似基金

相关文献

中文摘要
翻译
长期以来，数理逻辑在区分形式上可能和不可能之间扮演着重要角色。例如，哥德尔的不完备性定理表明，没有一个协调一致的形式系统能够证明自己的一致性，该系统足够复杂，足以证明数学中的简单定理。这种类型的结果限制了数学中形式上可知的范围。近年来，模型理论家采取了一种建构主义的方法来使用数学中的逻辑。在“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
  • 负责人：
    柏旭
  • 依托单位：
    吉林大学
磁层重联区相干结构动力学过程的观测研究