なぜこんなことを言う必要があるのか本当にわかりませんが、バグだらけの数学証明行がバグだらけのコード行よりも本質的に壊滅的だとみなすのはやめてくれませんか? もちろん。中にはそういう人もいます。比喩!!!的に言えば、発表された数学の中央値レポートにはバグが>0つあると賭けてもいいでしょう。否定することなく。