コラッツ予想がとけたらいいな　その2

コラッツ予想がとけた ..

277:１３２人目の素数さん
18/06/18 08:44:33.72 M5JNYBjP.net
やべぇ。コラッツ予想は連続体仮説や選択公理みたいに、
証明不能であるかもしれないという疑惑が出てきた。
>>246 >>247
で話題になってたのは Wolfram が提出した問題なんだが
コラッツ過程を実行するチューリングマシン
（テープ上に、1, 0, -（データなし）の三状態が記録できる。
で、二往復すると、コラッツ過程が１ステップ進む）が、
万能チューリングマシンであることが示されたらしい
（>>247 の動画は、その実行例のデモ）。
そうなると、コラッツ予想は万能チューリングマシンの
停止性問題に帰着しそうな気がする

次ページ