课题基金 / 基金详情

SGER: Generalizations of Godel's Incompleteness Theorem and An Investigation of Self-Justifying Proof Systems

SGER: Generalizations of Godel's Incompleteness Theorem and An Investigation of Self-Justifying Proof Systems
SGER：哥德尔不完备定理的推广和自证证明系统的研究
批准号：
9902726
负责人：
Dan Willard
金额：
$10.0万
依托单位：
SUNY at Albany
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1999
资助国家：
美国
项目状态：
已结题
起止时间：
1999-09-15 至 2002-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9902726&HistoricalAwards=false
关键词：
SGERGeneralizationsGodelIncompletenessTheorem

项目摘要

项目成果

Dan Willard的其他基金

相似基金

相关文献

中文摘要
翻译
该项目一方面涉及发现哥德尔不完备定理的新推广，另一方面，通过处理某种类型的验证其自身一致性的能力来寻找回避定理的公理系统。
英文摘要
The project is concerned with, on the one hand, findings new generalizations of Godel's Incompleteness Theorem and, on the other hand, finding axiom systems that evade the theorem by prosseing some type of ability to verify their own consistency.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: An Investigation of the Partial Degrees in Which Logics Can Recognize Their Own Consistency and the Potentially Broad Inter-Disciplinary Implications of These Effects
  • 批准号：
    0956495
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $10.0万
  • 财政年份：
    2009
  • 负责人：
    Dan Willard
  • 依托单位：
    SUNY at Albany
Search Algorithms for Data Retrieval
  • 批准号：
    9302920
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $15.4万
  • 财政年份：
    1993
  • 负责人：
    Dan Willard
  • 依托单位：
    SUNY at Albany
Data Structures for Sorting, Searching, Hashing, Computational Geometry and Nonprocedural Databases
  • 批准号：
    9006059
  • 项目类别：
    Standard Grant
  • 资助金额：
    $7.58万
  • 财政年份：
    1991
  • 负责人：
    Dan Willard
  • 依托单位：
    SUNY at Albany
Data Structures for Retrieval Problems (Computer and Information Science)
  • 批准号：
    8703430
  • 项目类别：
    Standard Grant
  • 资助金额：
    $19.06万
  • 财政年份：
    1987
  • 负责人：
    Dan Willard
  • 依托单位：
    SUNY at Albany
海外基金