>>451
＞はいはい。ソースはないわけね。
残念だが、君の期待ははずれだ。

数学人群像―プロフィルとインタビュー
D.J. アルバース (編集), G.L. アレクサンダーソン (編集), 一松 信 (翻訳)

＞それに、二十年前に機械検証を信用しなかった
＞数学者ならいくらでもいるしな。

機械検証をしたことがある人なら、今でも
形式化の誤りが深刻だというのは常識だがな。