>>83 補足

数学以外
例えば 政治討論では なんらか simplification は必須
つまり 「米国トランプ大統領と日米関係」という題の討論会を行うとする

米国トランプ大統領は、今年1月から米国の大統領になった
だから、1月からかれがやってきた政策を 重要な事実を集めて要約しなければならない

かつ ”日米関係”というとき 今年起こったこともさることながら
来年どうなるか？ そういう議論も必要になる
このときに、なんらかの simplification＝自分なりの要約が 必要だ

”simplification＝自分なりの要約”がないと
議論が進められない

ところが、これが数学では 全く違う話になる
simplification は、できるだけ避けて きちんとステップを踏んで
一歩一歩 確実な議論が求められる 特に証明の正否検討ではね

ここに simplification手法を持ち込んだ ショルツェ氏は
彼は天才だが
証明の否定にsimplification手法を使うのは お手付きだな