Liste des Groupes | Revenir à s logic |
On 14/03/24 04:19, olcott wrote:*The same question exists in a hierarchy of generality to specificity*On 3/13/2024 9:47 PM, immibis wrote:Be even more precise because this doesn't seem to mean anything.On 14/03/24 02:15, olcott wrote:>On 3/13/2024 7:34 PM, immibis wrote:>On 14/03/24 00:20, olcott wrote:>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_problem
It's a different D for every H. A lot of Hs correctly handle Ds for other Hs.
>When you ask a man that has never been married:>
Have you stopped beating your wife?
the correct answer is no.
That affirms a false presupposition thus cannot be correct.
it does not.
>
It seems to me that you don't know linguistics well enough.
I did not read this article.
https://plato.stanford.edu/entries/presupposition/
>>>>>Although 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.
the correct answer is no.
>Although there is a mapping from some TM/input pairs to YES/NOH(D) isn't valid input since H has two inputs.
there is no mapping from H/D to YES/NO
there is no mapping from H(D,D) to YES/NO
>
H(D,D) -> YES
>
and
>
H(D,D) -> NO
>
are two mappings
>
I did not say that precisely enough.
There is no mapping from the specific TM/input pair:
H(D,D) to Halts(D,D)
Les messages affichés proviennent d'usenet.