It is very much not the case that there is any such theorem of Church. If we can prove some Turing machine will halt, then some Turing machine can do that too.
It is very much not the case that there is any such theorem of Church. If we can prove some Turing machine will halt, then some Turing machine can do that too.
It is very much not the case that there is any such theorem of Church. If we can prove some Turing machine will halt, then some Turing machine can do that too.