[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
687(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/22(金)11:11 ID:WSdp8+VY(2/12) AAS
>>679-684
おっちゃん、どうも、スレ主です。
R大 ”背理法被害者の会”の被害者かね？（＾＾
直観主義論理の抜粋は、下記だが
”背理法被害者の会”の主張は、直観主義論理の記述（下記）
「直観主義論理は実際的な有用性を持つ。何故ならばこの制限によって存在具体性を持つ証明が作られるからであり、これは直観主義論理が数学的構成主義のある形態として適当なものとする。非正式には、ある対象が存在することの構成的証明があれば、その構成的証明はそのような対象の例を生成するアルゴリズムとして使える、ということを意味する。」
と類似しているね
省10
688(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/22(金)11:11 ID:WSdp8+VY(3/12) AAS
>>687
つづく
古典論理との関係
古典論理の体系は次のどれかを公理に追加することによって得られる：
・排中律
・二重否定除去
・パースの法則
省15
691(1): 2019/03/22(金)11:58 ID:h6pRN5t+(13/18) AAS
>>687
>R大 ”背理法被害者の会”の被害者かね？（＾＾
>直観主義論理の抜粋は、下記だが
教育とかには余り関心がないのでよく分からんが、それを提唱していた教授のサイトを読むと、
何やら教育では排中律を適用した証明するより、排中律を用いない証明の方が短くなって、
生徒(や学生)が理解し易くなるという。だが、研究段階ではその教授も排中律も認めるようになるとのこと。
数学教育についてそのようなことを書いているような、数学教育に熱心な人だったようだ。
省7
692(1): 2019/03/22(金)12:05 ID:h6pRN5t+(14/18) AAS
>>687
全く不可解なのが、話によると大学の数学科の講義でも排中律を用いなかったらしいということ。
この行為は全く不可解でならない。わざわざそのような形の講義をすることに何のメリットも見当たらない。
694: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/22(金)12:28 ID:WSdp8+VY(6/12) AAS
>>691-692
おっちゃん、どうも、スレ主です。
同意だね
外部ﾘﾝｸ[html]:www.ma.kagu.tus.ac.jp
東京理科大学理学部第一部数学科 教授 安部直人
2012年11月16日 02時56分7
(抜粋)
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s