＞いや、私はもともと*human understanding*が重要だといってるんで

>>426では機械検証を信用してない数学者の例として
サーストンを挙げたんじゃなかったのか？
彼はどこでそんなことを言ってる？