Liste des Groupes | Revenir à theory |
On 6/21/2024 12:40 PM, Richard Damon wrote:But a decider doesn't "See" the question. it just computes the result it was programmed to give.On 6/21/24 1:22 PM, olcott wrote:If there is a mapping yet not a computable mapping then>>
When there is no mapping from the finite string x86 machine
language input to H(D,D) to the behavior of D(D) then
H(D,D) IS NOT being asked about the behavior of D(D).
But there *IS* a mapping, it just isn't a COMPUTABLE MAPPING.
>
the actual halt decider cannot even see the question that
the textbooks expect it to see.
This is not the same thing as the inability to correctlyRight, you are just proving you have no idea about what programming is about.
answer this question. This is something brand new that has
never been thought of before.
Les messages affichés proviennent d'usenet.