Non-standard models of arithmetic and the incompleteness theorems
非标准算术模型和不完备性定理
基本信息
- 批准号：24540125
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2012
- 资助国家：日本
- 起止时间：2012-04-01 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
On proofs of the incompleteness theorems based on Berry's paradox by Vopenka, Chaitin, and Boolos
Vopenka、Chaitin 和 Boolos 基于 Berry 悖论的不完备性定理的证明
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0.3
- 作者：M. Kikuchi;T. Kurahashi and H. Sakai
- 通讯作者：T. Kurahashi and H. Sakai
算術の超準モデルにおける定理と証明について
算术超拟态模型中的定理与证明
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：T. Kobayashi;K. Itoh;et al.;中島 規博;S. Toriumi;菊池誠・倉橋太志
- 通讯作者：菊池誠・倉橋太志
嘘つき型の矛盾による不完全性定理の証明について
论骗子型矛盾证明不完备性定理
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Arrival Rince Putri;Tertia Delia Nova;渡辺雅二;菊池誠，倉橋太志
- 通讯作者：菊池誠，倉橋太志
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
KIKUCHI Makoto其他文献
KIKUCHI Makoto的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('KIKUCHI Makoto', 18)}}的其他基金
Development of Wearable Non-invasive Biological Control Systems Monitoring Devices
可穿戴式非侵入性生物控制系统监测设备的开发
- 批准号：
16K06205 - 财政年份：2016
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of general care equipment capable of autonomous adjusting to individual characteristics
开发能够根据个人特征自主调整的普通护理设备
- 批准号：
22560235 - 财政年份：2010
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Structural Characteristics of evolutionally developed phase spaces of ecosystems and proteins
生态系统和蛋白质进化发展的相空间的结构特征
- 批准号：
13831006 - 财政年份：2001
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Stress and Temperature Dependence of High Temperature Creep Resistance in Intermetallic Compound TiAl
金属间化合物 TiAl 的高温抗蠕变性的应力和温度依赖性
- 批准号：
04650644 - 财政年份：1992
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
Improvement of Room Temperature Ductility of Ti-40 50 at%Al Alloys through Microstructural Controll by Heat Treatment
改进%20of%20房间%20温度%20延展性%20of%20Ti-40%2050%20at%Al%20合金%20通过%20微观结构%20控制%20by%20加热%20处理
- 批准号：
02452243 - 财政年份：1990
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for General Scientific Research (B)
Mechanism of Cellular Precipitation of Alloy Carbides and Nitrides in Multi-component Alloy Systems
多组分合金体系中合金碳化物和氮化物的胞状沉淀机理
- 批准号：
62460192 - 财政年份：1987
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for General Scientific Research (B)
Development of Ni-base Rought Alloy for Nuclear Heat Exchanger, Excellent in Phase Stability at High Temperature
高温相稳定性优异的核热交换器用镍基粗合金的开发
- 批准号：
62850133 - 财政年份：1987
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Developmental Scientific Research
相似海外基金
Approaching proof theory from the viewpoint of proof size
从证明大小的角度探讨证明理论
- 批准号：
19K03601 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research of the structure of proofs in nonstandard models and formal theories
非标准模型和形式理论中的证明结构研究
- 批准号：
16K17653 - 财政年份：2016
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Expanding reverse mathematics with multiple viewpoints
用多种观点扩展逆向数学
- 批准号：
16K17640 - 财政年份：2016
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Research of formal provability by means of the analysis of provability predicates
通过可证明性谓词分析来研究形式可证明性
- 批准号：
26887045 - 财政年份：2014
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Research Activity Start-up