1900年代に、ヒルベルトらの「形式主義」に対抗する形で登場した「直観主義」に関して、ざっくりと解説しています。詳細は下記文献が詳しいです。そちらを参照願います。
参考文献
・直観主義論理への招待 数学基礎論サマースクール 2013 講義資料 照井一成(京都大学)
terui@kurims.kyoto-u.ac.jp
・直観主義論理(1) 数学的構成 2021年度後期哲学演習I Takuro Onishi
• #28 直観主義論理(1) 数学的構成 20...
・ウィキペディア
・ゲーデルの世界 廣瀬健・横田一正
・ゲーデル不完全性定理 林普・八杉満利子
利用ツール:
●ゆっくりムービーメーカー関連
ゆっくりMovieMaker4β
manjubox.net/y...
www.nicotalk.co...
●AviUtl
spring-fragranc...
#直観主義
#ブラウワー
#数学
Негізгі бет 【ゆっくり解説】直観主義【ブラウワー】
Пікірлер: 8