>>546 補足

証明にはしばしば誤りがある
プログラミングで言えば、バグだ

アーベルは、５次方程式の解の公式を見つけたという。だが、誤りだった
ガロアも同じく、最初は、５次方程式の解の公式を見つけたという。だが、誤りだった

時代の天才といえどもそんなもの
プログラミングで、バグはつきものだ。証明も同じ

機械（マシーン）ならすぐ気付くバグ
人は、なかなか気付かないものだよ。人間だもの