>>732
チューリング機械の停止性問題を解くのに創造性は必要なの?