基本情報

所属
神戸大学 大学院システム情報学研究科 情報科学専攻 准教授
学位
博士(学術)(神戸大学)

通称等の別名
Taishi Kurahashi
J-GLOBAL ID
201401018884836837

外部リンク

ゲーデルの不完全性定理を中心に,形式的算術の証明可能性に関する研究を行っています.

これまでには次のような研究を行ってきました.

・種々のパラドックスに基づく不完全性定理の証明の分析
・様々な性質をもつロッサーの証明可能性述語の構成
・算術の超準モデルにおける証明構造の分析
・不完全性定理の一般化と理論の証明可能性に関する諸概念の一般化
・述語証明可能性論理の限界の分析
・理論を表現する論理式とその命題証明可能性論理の対応の分析
・証明の論理の算術的完全性定理の拡張
・様相論理における補間定理や不動点定理の分析

不完全性定理に関連する話題については,内容もさることながら,論理式の不動点をとることよって様々な性質が導かれる,という技術的な点にも強く心惹かれています.

論文

  22

MISC

  7

受賞

  1

書籍等出版物

  1

講演・口頭発表等

  4

共同研究・競争的資金等の研究課題

  4