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

832 ：１３２人目の素数さん：2012/03/10(土) 23:24:22.76
>>831は著者本人か？日本語が達者だなｗ
って思うくらいに著者と同レベルのレスだな。

>敢えて二重引用符"で挟んであるのは、二重括弧の中が構成主義的な言明で
>外がメタな立場での言明だからでしょ。
問題になっているのは

>CZF proves "Each total function from R to R is continous"

なんだが。CZF ってのは形式体系でしかない。
構成主義というのは CZF の「可能な解釈の一つ」でしかない。
CZF は ZF の部分体系であるのだから、古典数学も CZF の「可能な解釈の一つ」。
命題 A が形式体系 T で証明可能だということは、
その命題は T のどんな解釈でも正しいことを意味する。
こんなことは論理学の初歩。

よって CZF proves "Each total function from R to R is continous" と書いてあれば
CZF の可能な解釈の一つである古典数学でも
"Each total function from R to R is continous" が正しいということ。
Sanders本人も>>381も、論理学の初歩が全く身についていない駆け出しだということだ。

834 ：１３２人目の素数さん：2012/03/10(土) 23:31:47.99
831は、
「排中律が証明できない」と
「排中律の否定が証明できる」
の違いから勉強してくるべきだなｗ