5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

プログラム板 自治スレッド Part9

299 :デフォルトの名無しさん:2013/06/02(日) 12:54:07.60
>>293
>「命題Aは常に偽である」
あるいは「命題Aは常に真である」もね。こいつらは反証がやさしいから、主張するのは問題ない。
一方「命題Aは常に真または偽である」ことを証明しろ、と要請するのはフェアではない。こいつらの証明は困難。

でも直観主義者たる私の観点はまた少し違うのです。

195 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)