Makoto Fujiwara 研究室

主宰者：Makoto Fujiwara
東京理科大学

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

本研究室の研究は、直感主義論理と古典論理の違いを精密に調べることを主な目標としています。特に、数学の定理を証明する際に、どのような論理的原理と関数存在原理が本質的に必要であるかを明確にする「構成的逆数学」というアプローチを採用しています。研究の対象には、排中律やド・モルガン則といった古典論理の基本原理、および二重否定の除去や選択原理など、直感主義体系では成立しない複数の原理が含まれます。 研究室では、Kripkeモデルと呼ばれる形式的な数学モデルを構築することで、これらの論理原理の間に存在する細かな違いや依存関係を明らかにしています。特に、複数の原理を組み合わせたときの論理的効力や、異なる制約条件下での同値性の有無を調査することが重点的に行われています。König補題や連続性定理などの古典的な数学原理を取り上げ、それらがより弱い原理の組み合わせで表現できるかどうかを検証することで、数学の基礎となる論理体系の構造をより深く理解しようとしています。

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

外部リンク

関連研究室(8 件)

研究成果（10 件）

科研費（0 件）

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

所属学会・役職（0 件）

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