>>438
サーストンは２ページの八行目辺りから、四色問題の機械証明が起こした騒動に触れて、
I interpret the controversy as having little to do with
doubt people had
as to the veracity of the theorem or
the correctness of the proof.
Rather, it reflected
a continuing desire for *human understanding* of
a proof, in addition to knowledge that the theorem is true.
と言ってるね。彼が機械検証の正しさを疑っていないことは明らかだな。
それに君は、>>426では
＞＞機械的検証を信用しない数学者なんてもういないだろ。
＞
＞ビル・サーストンは信用してないみたいだけど。
と言ってたのに>>438では
＞彼がフォーマリズムを信頼してないことが分かる。
とビミョーに意見をずらしたね。