16/05/28 11:21:52.78 d3ehqixB.net
>>304
おっちゃんだが、>>287-288は直観的に書いたいい加減な話だよ。話が複雑。
私の証明はムダが多いとか長いとか批判されまくっているのだ。
まあ、こうなるに至った理由はあるけどな。計算ミスの多さやら知識不足やらなどもあるが、
基礎論の人には記号だけでは話が通用しない人がいるみたいだな。
昔素朴集合論について質問したとき、「である」か「ではない」かを
はっきりさせろとしつこくいわれたことがある。ここの人によると、
そういう「である」か「ではない」かをはっきりさせなくてもいいと。
あと、通常は、熱心な証明といういい回しならまだしも、
情熱的な証明という表現はおかしいと考えるだろう。