数学基礎論・数理論理学　その12

3 名前：１３２人目の素数さん mailto:sage [2012/03/24(土) 10:02:12.72 ] 前スレの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 その他、細かい間違いが多数あるが、書くのが面倒なのでやめとく。 「その文書は信用すべきでない」を示すのにはこれだけ間違いを指摘しておけば十分だろうから。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef