19/03/22 11:58:44.84 h6pRN5t+.net
>>687
>R大 ”背理法被害者の会”の被害者かね？（＾＾
>直観主義論理の抜粋は、下記だが
教育とかには余り関心がないのでよく分からんが、それを提唱していた教授のサイトを読むと、
何やら教育では排中律を適用した証明するより、排中律を用いない証明の方が短くなって、
生徒(や学生)が理解し易くなるという。だが、研究段階ではその教授も排中律も認めるようになるとのこと。
数学教育についてそのようなことを書いているような、数学教育に熱心な人だったようだ。
そのサイトによると、その教授は数理論理やシンプレクティック幾何が専門らしい。
隅々までサイトを調べていないだけかも知れない可能性はあるが、
不思議なことにサイトでは明確に業績の論文を挙げて明示してはいなかった。
まあ、幾何と数理論理を研究分野として兼任することは、余りよい選択肢とは思えんが。
幾何では未だに直観が欠かせない。それに対し、数理論理は証明自体などや数学の論理について研究する。
全く違う分野になる。まあ、”背理法被害者の会”の犠牲者は決して少なくはないだろうし、
私はその ”背理法被害者の会”の考え方は全く支持していない。