C# と VB.NET の質問掲示板

わんくま同盟

ASP.NET、C++/CLI、Java 何でもどうぞ

C# と VB.NET の入門サイト


(過去ログ 36 を表示中)
■18629 / )  Re[8]: コンピュータは感情をもてるようになるか?
□投稿者/ 鶏唐揚 (110回)-(2008/05/15(Thu) 10:25:15)
>>連続体仮説は証明できないことが証明できてますね。
>>
> いわゆる背理法ってやつですか
>
>証明に背理法は用いてるでしょうが、違います。
「『説を証明できないこと』が証明できてる」ことについて、背理法だねと言ったつもりで、
連続体仮説=背理法 という意味ではありませんでした。
端的に書いたので誤解を招いたようです。すみません。
返信 編集キー/


管理者用

- Child Tree -