0753132人目の素数さん垢版2017/10/16(月) 00:32:44.12ID:5FRJzUo1 ビジービーバー関数の存在が証明出来ないってどういうことですか? どのチューリングマシンも有限ステップで止まるか止まらないかの2種類しかなく、 有限ステップで止まるチューリングマシン有限個の中から最大値を選ぶのも普通に出来ると思うのですが