研究課題
若手研究(B)
証明可能性述語の構文論的，意味論的な分析を通じて，形式的体系における証明および証明可能性の構造及び性質の解明を目指す研究を行った．様相論理と算術的解釈に基づく証明述語や証明可能性述語の分析，超準的な証明可能性述語の構成を行うことによる形式的証明構造の分析，第二不完全性定理の網羅的な分析，などを通じて，不完全性定理周辺の状況に一定の見通しを与えることができた．
数理論理学
証明可能性述語の性質の分析を通じて形式的証明の構造を理解するという研究が Goedel による不完全性定理の証明以降に盛んに行われてきたが，これまで十分には議論されていないような基本的な事項も多い．こうした状況下で，証明可能性述語の基本的な振る舞いについて多角的な視点で根本的な分析をするという研究を行い，一定の成果を得ることができた．これにより形式的体系の証明可能性や証明の構造に関する理解に向けた，ある程度の前進ができたといえる．
