Turing machine that halts if and only if the Goldbach conjecture is false

ID: turing-machine-that-halts-if-and-only-if-the-goldbach-conjecture-is-false

New to topics? Read the docs here!