0089132人目の素数さん垢版 | 大砲2017/12/17(日) 01:50:02.89ID:I7x5AqJ7 停止性問題は任意のチューリングマシンの停止性を判定するアルゴリズムは存在しないというだけで 特定のチューリングマシンの停止性を判定できても矛盾はない・・・よな 超準モデルは必ず無限下降列をもってたと思う