课题基金 / 基金详情

Computability Theory and its Applications

Computability Theory and its Applications
可计算性理论及其应用
批准号：
312501-2013
负责人：
Csima, Barbara
金额：
$1.09万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=526546
关键词：
ComputabilityTheoryitsApplications

项目摘要

项目成果

Csima, Barbara的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Up to the mid 19th century or so, mathematics was mostly algorithmic. Proofs of existence were usually done by giving an actual construction of the object. As mathematics began to become more abstract, people began to study the notions of algorithms and computability. The first stumbling block was on the definition of what it meant to be algorithmic or computable. When faced with an algorithm, people would agree that it was one, but how would one show that something could not be computed, or solved by an algorithm? By the 1930s, work of Turing and others culminated in an acceptable notion of computability.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computability Theory and its Applications
  • 批准号：
    RGPIN-2018-03982
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.62万
  • 财政年份：
    2022
  • 负责人：
    Csima, Barbara
  • 依托单位：
    University of Waterloo
Computability Theory and its Applications
  • 批准号：
    RGPIN-2018-03982
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.31万
  • 财政年份：
    2021
  • 负责人：
    Csima, Barbara
  • 依托单位：
    University of Waterloo
Computability Theory and its Applications
  • 批准号：
    RGPIN-2018-03982
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.31万
  • 财政年份：
    2020
  • 负责人：
    Csima, Barbara
  • 依托单位：
    University of Waterloo
Computability Theory and its Applications
  • 批准号：
    RGPIN-2018-03982
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.31万
  • 财政年份：
    2019
  • 负责人：
    Csima, Barbara
  • 依托单位：
    University of Waterloo
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号：
    24ZR1403900
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    SATOSHI NAWATA
  • 依托单位：
    复旦大学
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号：
    12247163
  • 项目类别：
    专项项目
  • 资助金额：
    18.00万元
  • 批准年份：
    2022
  • 负责人：
    黄栋
  • 依托单位：
    苏州大学
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    55万元
  • 批准年份：
    2022
  • 负责人：
    Thomas Pahtz
  • 依托单位：
    浙江大学
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
  • 批准号：
    12126512
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    12.0万元
  • 批准年份：
    2021
  • 负责人：
    李常品
  • 依托单位：
    上海大学