0154132人目の素数さん垢版 | 大砲2017/12/28(木) 04:10:01.04ID:HwYuqv+8 >>153 「どのチューリングマシンがビジービーバーであって最大の出力をするのかを選ぶ」 ための手順がわかってしまったら、それは計算可能だということになってしまう。 それができないというのが停止性問題。