Taishi Kurahashi 研究室

主宰者：Taishi Kurahashi
神戸大学

AI 要約（直近 5 年の研究成果）

この研究室は、数学的命題の証明可能性と論理体系の関係を研究しています。特に、「ある理論から特定の命題が証明できるか」という問題を、様相論理という特殊な論理体系で記述・分析することが中心です。例えば、ペアノ公理などの算術理論において、その無矛盾性を表す命題がその理論自身では証明できないという不完全性定理は、様相論理を用いることでより深く理解できます。 研究の主な手法は、証明可能性述語（ある主張が証明できるかどうかを判定する仕組み）を複数の様相論理で数学的に特性化することです。様相論理に「必然性」を意味する特殊な記号を導入し、これが算術理論の証明可能性とどう対応するかを調べます。また、異なる証明可能性述語（標準的なものとRosser型のもの）がどのような論理体系を生み出すかも重点的に研究しています。 主要な発見として、様々な証明可能性述語から生じる論理体系を完全に分類・特性化できることが示されています。さらに、補間性や不動点性質といった論理体系の重要な性質について、どの理論や述語がこれらを持つかが明らかにされています。これらの研究を通じて、証明と論理の本質的な構造が数学的に解明されています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（25 件）

続きを表示（残り 15 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。