東京理科大学 · 理学部第一部 応用数学科 · 講師

研究キーワード逆数学・構成的数学・直観主義論理・数学基礎論

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Bar induction and restricted classical logic
• Prenex normalization and the hierarchical classification of formulas
• Weihrauch and constructive reducibility between existence statements
• Some principles weaker than Markov’s principle

• 構成的逆数学の展開とその応用のための基盤構築
• 構成的数学・計算可能数学・逆数学の接合点：存在定理の解の計算とその証明
• 存在定理の一様計算可能性と構成的証明可能性
• 存在定理の一様証明可能性及び直観主義証明可能性に関する逆数学的解析

• 公式プロフィール