Sujet : Incorrect questions and halt deciders
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 14. Mar 2024, 01:20:00
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ustcb1$16vpq$1@dont-email.me>
User-Agent : Mozilla Thunderbird
For any program H that might determine whether programs
halt, a "pathological" program D, called with some input,
can pass its own source and its input to H and then
specifically do the opposite of what H predicts D will do.
No H can exist that handles this case.
https://en.wikipedia.org/wiki/Halting_problemWhen you ask a man that has never been married:
Have you stopped beating your wife?
https://groups.google.com/g/sci.lang/c/AO5Vlupeelo/m/nxJy7N2vULwJAlthough there is a mapping from some men to YES/NO
there is no mapping from never married men to YES/NO
thus the question is incorrect for all unmarried men.
Although there is a mapping from some TM/input pairs to YES/NO
there is no mapping from H/D to YES/NO
thus the question is incorrect for H/D
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer