https://github.com/sorear/metamath-turing-machines/blob/master/riemann-matiyasevich-aaronson.nql

리만 가설이 참이면 무한히 동작하고 아니면 유한 시간 내에 정지하는 튜링 머신

https://gist.github.com/anonymous/a64213f391339236c2fe31f8749a0df6

골드바흐 추측이 참이면 무한히 동작하고 아니면 유한 시간 내에 정지하는 튜링 머신

https://github.com/sorear/metamath-turing-machines/blob/master/zf2.nql

ZF 공리계가 모순된다면 유한 시간 내에 정지하는 튜링 머신

어캐했노;;;