[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む24 [無断転載禁止]©2ch.net (730ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
707(1): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)12:49 ID:S5Jl1CaY(17/33) AAS
これ直観主義の説明分かり易い
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
直観主義論理への招待 数学基礎論サマースクール2013 講義資料 照井一成（京都大学）
(抜粋)
1 はじめに
直観主義論理(intuitionistic logic) とは、オランダの数学者ブラウワー(1881-1966) が提
唱した直観主義数学に由来する論理であり、直観主義数学で認められる推論の様式を弟子
のハイティング(1898-1980) が形式化したものである。
数学基礎論上の立場としての直観主義は、廃れて久しい。
ではなぜ今になって直観主義論理を勉強するのか？一つには、直観主義数学に限らず、
省18
712: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)13:01 ID:S5Jl1CaY(22/33) AAS
>>707 関連
外部ﾘﾝｸ:mathneko.hatenablog.com
直観主義論理の入り口〜Heyting 代数〜(その 10・最終回) - Red cat の数学よもやま話・新装開店 2016-04-21
(抜粋)
Heyting 代数はなぜ直観主義論理への入り口なのか ?
今回, 「直観主義論理への入り口」と題して Heyting 代数を紹介してきましたが, なぜ Heyting 代数は直観主義論理への入り口なのでしょうか ?
既に見たように, (完備) Boole 代数では ¬¬x=x
や x∨¬x=1
と言った見慣れた式が成り立ちますが, (完備) Heyting 代数ではこれらの式は一般には成り立ちません.
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.163s*