刷新
Study of the properties of formal provability
形式可证明性的性质研究
基本信息
- 批准号：23K03200
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2028-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
倉橋 太志其他文献
日本占領下の北京(1937-1945)における日本文学の翻訳
日本占领北京时期的日本文学翻译（1937-1945）
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
白木琢磨;和久剛;森川耿右;構大樹;構 大樹;Shun'ichi Yokoyama;構 大樹;Taishi Kurahashi;Taishi Kurahashi;倉橋 太志;倉橋 太志;倉橋 太志;倉橋 太志;鄒双双 - 通讯作者：
鄒双双
淪陥下の北京における中国人翻訳家のアイデンティティ-銭稲孫と張我軍を中心に
北京垮塌时期北京中国翻译者的身份——以钱米松、张谷军为中心
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
白木琢磨;和久剛;森川耿右;構大樹;構 大樹;Shun'ichi Yokoyama;構 大樹;Taishi Kurahashi;Taishi Kurahashi;倉橋 太志;倉橋 太志;倉橋 太志;倉橋 太志;鄒双双;鄒双双 - 通讯作者：
鄒双双
ケアの倫理の倫理的規準
护理伦理道德标准
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
白木琢磨;和久剛;森川耿右;構大樹;構 大樹;Shun'ichi Yokoyama;構 大樹;Taishi Kurahashi;Taishi Kurahashi;倉橋 太志;倉橋 太志;倉橋 太志;倉橋 太志;鄒双双;鄒双双;安井絢子;安井絢子;安井絢子 - 通讯作者：
安井絢子
ケアの倫理と看護倫理: ケアの倫理は看護倫理として適切か
护理伦理和护理伦理：护理伦理是否适合护理伦理？
- DOI：
- 发表时间：
2014 - 期刊：
- 影响因子：0
- 作者：
白木琢磨;和久剛;森川耿右;構大樹;構 大樹;Shun'ichi Yokoyama;構 大樹;Taishi Kurahashi;Taishi Kurahashi;倉橋 太志;倉橋 太志;倉橋 太志;倉橋 太志;鄒双双;鄒双双;安井絢子 - 通讯作者：
安井絢子
Rosser-type formalizations of Yablo's paradox
亚布洛悖论的罗瑟式形式化
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
白木琢磨;和久剛;森川耿右;構大樹;構 大樹;Shun'ichi Yokoyama;構 大樹;Taishi Kurahashi;Taishi Kurahashi;倉橋 太志;倉橋 太志;倉橋 太志 - 通讯作者：
倉橋 太志
倉橋 太志的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('倉橋 太志', 18)}}的其他基金
Research of formal provability by means of the investigation of incompleteness theorems
通过不完备性定理的研究来研究形式可证明性
- 批准号：
19K14586 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
相似海外基金
Research of formal provability by means of the investigation of incompleteness theorems
通过不完备性定理的研究来研究形式可证明性
- 批准号：
19K14586 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Research of the structure of proofs in nonstandard models and formal theories
非标准模型和形式理论中的证明结构研究
- 批准号：
16K17653 - 财政年份：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
Non-standard models of arithmetic and the incompleteness theorems
非标准算术模型和不完备性定理
- 批准号：
24540125 - 财政年份：2012
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Mathematical study of quantum information and quantum computing
量子信息与量子计算的数学研究
- 批准号：
17340021 - 财政年份：2005
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)