前スレのSanders御犬ネタのまとめ(2)

826 ：１３２人目の素数さん：2012/03/10(土) 21:11:38.20
>>820
公理が増えれば定理が増えるのは当然。
もし "Each total function from R to R is continous" が CZF の定理なら
CZF + PEM = ZF の定理にもなる。この点は>>815が正しい。

>「『実数上の全域関数』として構成的数学において認められるモノ」はすべて連続である。
これは正しいが、この事実を
>(#2) CZF proves "Each total function from R to R is continous"
と表現するのは、論理学の初歩が身についていない「駆け出し」の典型的な誤り。
そのページの(#4)も同様に間違い。

829 ：１３２人目の素数さん：2012/03/10(土) 21:55:07.75
>>815
その文書は他にも嘘多数なので、参考にしないように。
トンデモ愛好家の方に「是非」と勧めるレベル。
著者は、駆け出しの学生さんかと思ったら、博士号をお持ちだそうだ。

BHK interpretation の定義も、∀の解釈は通常と同じと書いてあるが真っ赤な嘘。
これでは直観主義論理 IL ではなく、中間論理のCDになってしまう。
27ページの (#1) IL rejects AC というのも、
"reject" の意味が不明瞭なので断定出来ないが、かなり濃い灰色。
何故なら Bishop 流の数学では、ある種のACを認めている。

830 ：１３２人目の素数さん：2012/03/10(土) 22:00:35.13
その他、細かい間違いが多数あるが、書くのが面倒なのでやめとく。
「その文書は信用すべきでない」を示すのにはこれだけ間違いを指摘しておけば十分だろうから。