数学ができないプログラマー
■ このスレッドは過去ログ倉庫に格納されています
0649638
NGNGもっとわかりやすい例で考えてみろってw
>(2)神はある時刻において場所B以外の場所にいない
の部分はできないがそれ以外はプログラミングも含めて大体器用にできる神だと想定しよう。
(これくらい人間でも結構いそうだが)
その神が自分を全知全能だと言い張っているわけだろ?
で、矛盾を導き出してオマイは間違ってる!て言うのが背理法だろ?
だからオレたちはこういうんだよな?
オマイはある時刻において場所B以外の場所にいることができない。
なんでもできるわけじゃない。
すなわち全知全能じゃないんだよ!
とな。
さて、そこで>>645とか>>631の証明法だとその神がプログラミングも
できないことが証明されてしまうわけだ。
でも実際問題そいつはプログラミングはできる器用な神だから
証明できたらおかしいよな?
と、これくらいわかりやすい言葉でオレを納得させられるかね?
スマンネ、みなさん。
オレ釣られてるかもしれない・・・・・
■ このスレッドは過去ログ倉庫に格納されています