Comment on Scooping the Loop Snooper (2000)parentComments−snarkconjecture2yFor sufficiently large N, it's impossible to prove Halt_N correct.(The N required depends on your axioms.)
Comments
For sufficiently large N, it's impossible to prove Halt_N correct.
(The N required depends on your axioms.)