エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
教員紹介 :: 岡本 賢吾
研究テーマ (1)圏論・線型論理など、近年の重要な論理学的・数学的理論の発展を踏まえながら、(2)フレー... 研究テーマ (1)圏論・線型論理など、近年の重要な論理学的・数学的理論の発展を踏まえながら、(2)フレーゲ・ウィトゲンシュタインから、ヒルベルト・ブラウワー、さらにゲーデル・タルスキ・ゲンツェンらにいたる「論理学/数学基礎論」の歴史を捉え直し、(3)現代におけるその哲学的な意義・射程・可能性を考察する。 研究キーワード 命題、判断、証明、真理、無限、様相、概念記法、圏論、線型論理、包括原理、カリー=ハワード対応、双対性、フレーゲ、ウィトゲンシュタイン、ヒルベルト、ブラウワー、ゲーデル、タルスキ、ゲンツェン