21/11/13 06:36:53.51 OtqEOAj/.net
>>37
> 3はおかしい
>取り除いた部分が不等式に影響しないなら
>取り除いた方が分かりやすい
問題は、「取り除いた部分が不等式に影響しない」の証明がないこと
勿論、取り除いた方が分かりやすいが 証明できるならば、その方が良いし、別証明になる
つまり、「取り除いた部分が不等式に影響しているだろ」が、IUT側の主張だ
そもそも、論文は必要があって、その定義にしているのです
勝手に定義をいじくって、「”simplification”したら、不等式が成立しない」
「だから、論文は不成立」という論法が、へん
歴史的に、証明の成立・不成立について、そんな論法をした人を知らない
勿論、非公式にはあったろう。しかし、それを公式の議論とした人を知らない
ショルツェ氏の意見は、ちょっと変です