解析学の階層的論理構造の研究
分析的层次逻辑结构研究
基本信息
- 批准号:62540171
- 负责人:
- 金额:$ 0.58万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for General Scientific Research (C)
- 财政年份:1987
- 资助国家:日本
- 起止时间:1987 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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教授と共同研究の予定である.
1. The "solution" of orthographic analytic (constitutive) and formal (mathematical) construction. The former is published in Tsukuba Journal. The latter is opposite to The formal stmctwe of constmctive calwlus The proof theory of infinite speech system is formulated. Infinitesional calculus interpreted in infinitesimal lcgic, Proceedings of Kyoto Symposium The theoretical structure of formal system is related to the number of extraction points. The machinery of consistency proofs, Proceedings of Beijing Symposiccm. The theory of "arithmetical definition possibility" is formalized. The concrete example of this is that the essence of the method of error is unclear. Future topics such as "arithmetical" and "computational" will be discussed by Professor Pow-El of the University of Science and Technology.
项目成果
期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Yasugi, Mariko: Tsukaba Jouinal of Mathenaties. 12. NO.2 (1988)
安来真理子:《冢场数学杂志》。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Yasugi,Mariko: Tsuhuba Jouinal of Mathematics. 12. NO.1 (1988)
安来,真理子:津巴数学杂志。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
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 }}
八杉 満利子其他文献
Interpretations of set theory and ordinal number theory = 集合論及び順序数論の解釈
集合论和序数论的解释 = 集合论和序数论的解释
- DOI:
- 发表时间:
1966 - 期刊:
- 影响因子:0
- 作者:
八杉 満利子 - 通讯作者:
八杉 満利子
Limit computation of some discontinuous functions (数学解析の計算機上での理論的展開とその遂行可能性 研究集会報告集)
一些间断函数的极限计算(计算机数学分析的理论发展及其可行性。研究会议报告集)
- DOI:
- 发表时间:
2002 - 期刊:
- 影响因子:0
- 作者:
八杉 満利子;Vasco Brattka;鷲原 雅子 - 通讯作者:
鷲原 雅子
八杉 満利子的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('八杉 満利子', 18)}}的其他基金
極限計算可能数学の計算機上の実行
极限可计算数学的计算执行
- 批准号:
18650003 - 财政年份:2006
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Exploratory Research
限定合理性の情報構造:証明論およびセラ・オートマタによる特徴づけ
有限理性的信息结构:证明论和塞拉自动机的表征
- 批准号:
12878061 - 财政年份:2000
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Exploratory Research
ゲーム理論の論理化とその計算機実験
博弈论逻辑及其计算机实验
- 批准号:
10874024 - 财政年份:1998
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Exploratory Research
自然演繹の体系と古典論理の計算機構
经典逻辑自然演绎体系与计算机制
- 批准号:
07804012 - 财政年份:1995
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
論理の階層的構造と超限的型理論
逻辑的层次结构和超限类型理论
- 批准号:
06640338 - 财政年份:1994
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
解析学の階層的論理構造と超限的型理論
分析的层次逻辑结构和超限类型理论
- 批准号:
03640236 - 财政年份:1991
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
解析学の論理分析(ペアノ算術に帰納的定義を加えた体系で)
分析的逻辑分析(使用在皮亚诺算术中添加归纳定义的系统)
- 批准号:
58580018 - 财政年份:1983
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
相似海外基金
Multi-Modal analysis of composition and spatial architecture in human premalignant pancreatic lesions to enhance early detection.
对人类癌前胰腺病变的成分和空间结构进行多模态分析,以增强早期检测。
- 批准号:
MR/V029711/1 - 财政年份:2021
- 资助金额:
$ 0.58万 - 项目类别:
Fellowship
Application of FT-IR for analysis of composition and origin of detritus.
应用 FT-IR 分析碎屑的成分和来源。
- 批准号:
15K14780 - 财政年份:2015
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
ANALYSIS OF COMPOSITION OF THE INTERACTING PROTEINS OF TRAP25
TRAP25 相互作用蛋白的组成分析
- 批准号:
7179952 - 财政年份:2005
- 资助金额:
$ 0.58万 - 项目类别:
ANALYSIS OF COMPOSITION OF INTERACTING PROTEIN OF TRAP25
TRAP25相互作用蛋白的组成分析
- 批准号:
6975823 - 财政年份:2004
- 资助金额:
$ 0.58万 - 项目类别:
REU: Analysis of Composition of Microbial Communities Basedon 16s Ribosomal RNA Sequence
REU:基于 16s 核糖体 RNA 序列的微生物群落组成分析
- 批准号:
8506602 - 财政年份:1985
- 资助金额:
$ 0.58万 - 项目类别:
Continuing Grant