- 375 名前:132人目の素数さん mailto:sage [2011/08/27(土) 22:36:15.68 ]
- >>252 の問題で「解が存在する」と仮定して何が起きるかというと、
「 >252に解f(x),g(x)が存在するならば、f(x)=ax+b, g(x)=cx+d, ad−bc=1/2 でなければならない 」 という結果が得られるということである。何もおかしくない。 ある種の「 P ⇒ Q 」の形の論理式が真であることが証明できた、というだけの話である。 もちろん、「 P 」が真であることは まだ証明できていない。 すなわち、「解が存在する」が真であることは まだ証明できていない。 しかし、何か論理的に おかしなことが起きているわけではない。
|
|