仮に人間をテューリング・マシンと仮定すると、数学的真理に到達する数学者の思考も、一定のアルゴリズムに基づくものになります。その場合、ペンローズによれば、数学者全員が同等の普遍的アルゴリズムにしたがう必要があります。でなければ、数学者は、彼…
Quote saved.
Login to quote this blog
Failed to save quote. Please try again later.
You cannot quote because this article is private.