All deciders must compute the mapping from their inputs to an accept/reject stateSkepdick wrote: ↑Mon May 09, 2022 2:57 amNo, it isn't.PeteOlcott wrote: ↑Mon May 09, 2022 2:56 am OK so clearly the computer science is beyond your technical capacity.
It's beyond yours.
on the basis of a property of these inputs thus
All halt deciders must compute the mapping from their inputs to an accept/reject state
on the basis of a the actual behavior specified by these actual inputs.
The above two things are verifiable facts (that you are unaware of) and my conclusion
logically follows as a necessary consequence these facts.