Entries from 2014-06-03 to 1 day

空と矛盾

仮に人間をテューリング・マシンと仮定すると、数学的真理に到達する数学者の思考も、一定のアルゴリズムに基づくものになります。その場合、ペンローズによれば、数学者全員が同等の普遍的アルゴリズムにしたがう必要があります。でなければ、数学者は、彼…