Classical and Constructive Propositional Subsystems of NDK
スポンサーリンク
概要
著者
関連論文
- 体系からの脱出 : 証明論による解析
- Classical and Constructive Propositional Subsystems of NDK
- NDKにおける自然な証明についての考察(証明論における順序数)
- 不連続関数の極限計算可能性 : 意義と問題点
- 現実的微積分法
- 連続体上の計算可能性 : 極限計算の諸理論の相互関係 (平成15年度共同研究プロジェクト研究成果報告)
- Computability problems of piecewise continuous functions (Feasibility of Theoretical Arguments of Mathematical Analysis on Computer)
- An MR-complete systems S and its functional interpretation (Languages, Algebra and Computer Systems)
- Limit computation of some discontinuous functions (数学解析の計算機上での理論的展開とその遂行可能性 研究集会報告集)
- 解析学における計算可能性構造
- 「数理論理学-20世紀から21世紀へ-」に寄せて
- 不連続関数の極限計算可能性 : 意義と問題点
- How to understand the computability aspects of step functions (Relevance and Feasibility of Mathematical Analysis on the Computer)
- 証明論の思い出 -無矛盾性証明を中心に-
- 計算可能性と論理体系(言語と論理)
- 科学教育の基礎としての論理
- 現実的構成的微積分法の形式的体系について
- アジア論理会議 : ALC
- Computability in Analysis(Workshop on Stochastic Numerics)