3 ms·
For sufficiently large N, it's impossible to prove Halt_N correct. (The N required depends on your axioms.)
by snarkconjecture 2y ago
For sufficiently large N, it's impossible to prove Halt_N correct.
(The N required depends on your axioms.)
loading thread…