if n-state Turing Machine halts...
Goldbach予想
27状態のTuringマシンが停止するならGoldbach予想は偽
https://github.com/lengyijun/goldbach_tm
Rieman予想
5372状態Turingマシンの停止性が判定できるならRieman予想が解ける
7910状態Turingマシンの停止性をZFC内では判定できない