分析的层次逻辑结构研究-猫眼课题宝

分析的层次逻辑结构研究

批准号：

62540171

负责人：

八杉満利子

金额：

$0.58万

依托单位：

Kyoto Sangyo University

依托单位国家：

日本

项目类别：

Grant-in-Aid for General Scientific Research (C)

财政年份：

1987

资助国家：

日本

项目状态：

已结题

起止时间：

1987 至 --

来源：

https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-62540171/

关键词：

直観主義構成的解析学超準解析無限言語証明論無矛盾性証明カオス算術的定義可能性計算性

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

1.直観主義的(構成的)解析学の"解釈"及び形式的(数学的)構造の解明. 前者はTsukuba Journlに出版予定. 後者はThe formal stmctwe of constmctive calwlusとしてまとめられている.2.超準解析の, 特に微積分学の部分の証明論的構造の解明. 無限言語の体系の証明論によって定式化される. Infinitesional calculus interpreted in infinitary lcgicとして, Proceedings of Kyoto Symposiumにけいさいの予定.3.証明論の主要テーマである無矛盾性証明の本質の解明. 形式的体系の理論構造を〓関数によって抽出するという観点からまとめた. The machinery of consistency proofs として, Proceedings of Beijing Symposiccmにけいさいの予定.4.カオスの論理. カオスの理論を"算術的定義可能性"の立場で形式化した. カオスの具体例では, 帰謬法を本質的に使うものがあり, その論理の実体はまだ不明である. このテーマは, "算術性"を"計算性"でおきかえたらどうなるか, 等今後の課題であり, ミネソタ大学のPow-El教授と共同研究の予定である.

期刊论文(3)

专著(0)

科研奖励(0)

会议论文

竹内外史: "証明論入門" 共立出版株式会社, 191 (1988)

竹内外史：《证明论导论》共立出版社，191（1988）

DOI： --

发表时间：

期刊：

影响因子： --

作者：

[]