课题基金 / 基金详情

Study of the properties of formal provability

Study of the properties of formal provability
形式可证明性的性质研究
批准号：
23K03200
负责人：
倉橋 太志
金额：
$2.91万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2023
资助国家：
日本
项目状态：
未结题
起止时间：
2023-04-01 至 2028-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K03200/
关键词：
数理論理学数学基礎論不完全性定理証明可能性述語様相論理

项目摘要

项目成果

倉橋 太志的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Research of formal provability by means of the investigation of incompleteness theorems
形式的算術の証明可能性について
  • 批准号：
    12J00654
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
  • 资助金额：
    $1.15万
  • 财政年份：
    2012
  • 负责人：
    倉橋 太志
  • 依托单位：
    Kobe University
海外基金