プログラム板自治スレッド その4
■ このスレッドは過去ログ倉庫に格納されています
http://toro.2ch.net/test/read.cgi/tech/1258951329/992
http://toro.2ch.net/test/read.cgi/tech/1258951329/628 の内容に誤りがあることを指摘するのが http://toro.2ch.net/test/read.cgi/tech/1258951329/633 の内容です。
いいかえると、
とある数学的命題を題材にして、
http://toro.2ch.net/test/read.cgi/tech/1258951329/628
>ム板のレスにおいて可能性がないことを証明するのは不可能。
を否定したのが http://toro.2ch.net/test/read.cgi/tech/1258951329/633 です。
私 http://toro.2ch.net/test/read.cgi/tech/1258951329/981
>a) 「初等数学」で数学的問題に対して可能性がないことを証明可能であること
>b) 『ム板のレスにおいて』可能性がないことを証明すること
>a) と b) とは関係はありません。
「a) と b) とは関係がない」という記述が適当でなかったようです。
「a) ならば b) である」も「b) ならば a) 」の両方とも主張しませんが、しかし、a) という事実でもって b) の反証とすることはなんら問題がないと考えます。
>>21
これで答えになっていると思うのですが。
■ このスレッドは過去ログ倉庫に格納されています