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

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

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

267 :デフォルトの名無しさん:2013/06/02(日) 11:56:43.71
>>264
単に全称命題のことをいってるの?
そりゃ全称命題は存在命題より証明は難しいが、それって当たり前じゃない?

なんでそれを「悪魔の証明」などと大げさなキーワードで飾り立てて大騒ぎする必要があるわけ?

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

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