Sujet : 19 years
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theoryDate : 08. Jun 2024, 03:36:48
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v40g40$27ttf$1@dont-email.me>
User-Agent : Mozilla Thunderbird
Here is a badly formatted archive of Peter Olcott trying exactly the same nonsense back in 2005:
https://bytes.com/topic/c/133355-solution-halting-problem/4 > I didn't think that I was going to have to post something else to further my
explanation, but I guess I was wrong.
>
> You cannot argue that the result is different. While it is true that the
> code is different and the characters written to the screen are different,
> the ANSWER (AKA conclusion) is the same for every input. That is, for every
> input that WillHalt() displays "The Program Will Halt",
> WillHaltWithRet urnValue() will return TRUE, and for every input that
> WillHalt() displays "The Program Will Not Halt", WillHaltWithReturnValue()
> will return FALSE, and for every input that WillHalt() displays "Security
> Has Been Breached, Take Corrective Action", WillHaltWithReturnValue() will
> return UNKNOWN. If you're trying to say that there is a case where
> WillHaltWithRet urnValue() and WillHalt() can come to a different conclusion
> when passed the same source, then you're either grasping at straws or just
> plain wrong.
>
> --
> David Hilsee
> Jul 22 '05 #32
Nothing ever changes.