新井 敏康 | 神戸大学自然科学研究科

スポンサーリンク

概要

• 新井 敏康の詳細を見る
• 同名の論文著者
• 神戸大学自然科学研究科の論文著者

関連著者

• 新井 敏康

  神戸大学自然科学研究科

• 新井 敏康

  Faculty of Integrated Arts and Sciences, Hiroshima University

• 新井 敏康

  神戸大学大学院自然科学研究科

• 新井 敏康

  広島大学総合科学研究科数理情報専攻

• 新井 敏康

  名古屋大学理学部

• 新井 敏康

  Department of Mathematics, University of Tsukuba

著作論文

• 無矛盾性証明について
• ゲーデルの無矛盾性証明 (総特集 ゲーデル) -- (数理論理学)
• 竹内の基本予想とは何か、何であるべきか : 50年に (証明論と計算論)
• Hilbert の第2問題に関する証明論の展開
• Introducing the Hardline in Proof Theory
• Consistency Proof via Pointwise Induction
• From the Attic
• ニ階算術の諸公理AC, DC, CA, BIの関係 : Cut-Eliminationの初等的応用として(順序数の基本列と組合せ的原理の関係)
• Cut-elimination for SBL
• 竹内の基本予想について
• A Subsystem of Classical Analysis proper to Takeuti's Reduction Method for $\Pi^1_1$-Analysis(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

もっと見る 閉じる

スポンサーリンク