Re:All you need is λ, part one: booleans
by lukeschlather on Sunday September 27, 2020 @11:12AM
(#24607213)
My understanding is that the halting problem is not computable even given infinite time.
It might be possible to show that with some degree of infinity the halting problem is solvable, but giving yourself infinite tape and time emphatically do not solve the problem.
It might be possible to show that with some degree of infinity the halting problem is solvable, but giving yourself infinite tape and time emphatically do not solve the problem.