>>716
このスレは飽くまで信州大の人がJordan曲線の定理を計算機で証明しましたよ、
というニュースのスレであって、「数学の哲学」の観点から語らないといけない、
という縛りはないよ（君の脳内にはあるのかもしれないが）
別に普通の数学研究者の観点から今回の証明を評価するのも自由だ

>>679のどこが数学の哲学を莫迦にしてるんだ？
哲学のての字も書いて無いし、普通の数学研究者の実感を表明してるだけに見えるんだが
それをチーマーのオヤジ狩り呼ばわりする君のほうが狂ってるね。人間としてさ。

それとも「数学の哲学」では形式化に意味がある、だけでは飽き足らず
形式化しなければいけない、と極端なことを言わなきゃ無知蒙昧呼ばわりされるのかね？
それじゃほとんど宗教じゃないですか