09/05/09 21:24:03
>>525
まず、余談だけど『パラドックス！』という林晋さんの本があります。
どちらかというと古い本なんだが、
そこに１＋１＝２を信じて止まない人間とその他の解を信じて止まない人間が居るとする
詳しくは買って読んだほうが理解できるだろう
>「ｐならばｑを証明せよ」という問題では背理法を使って証明できます
>(証明せよといってるぐらいだから命題は真なのでしょう）
証明せよという指示は、必ずしも真であることが前提として行われない。
･･･数学にはルールがある。
その公理が真か偽かについては疑う余地は挟むことができないし
pならばqに何らかの前提条件や付随された条件がなければ、それが真か偽か確かめることは不可能
ただpならばqと信じて止まない教科書に則って、pならばqが真であると信じることしかでけいない
或いは