Liste des Groupes | Revenir à theory |
On 2/23/2025 5:52 AM, joes wrote:A decider that aborts doesn't need to be aborted.Am Sat, 22 Feb 2025 18:45:06 -0600 schrieb olcott:When a decider itself is called in an infinite loop then it cannotOn 2/22/2025 6:02 PM, Richard Damon wrote:It's not about the machine code. The machine code of HHH specifies aOn 2/22/25 11:52 AM, olcott wrote:*Correct simulation means emulates the machine code as specified* ItOn 2/22/2025 5:05 AM, joes wrote:Only because that statement is based on a false premise.Am Thu, 20 Feb 2025 18:25:27 -0600 schrieb olcott:Despicably intentionally dishonest attempts at the straw-manOn 2/20/2025 4:38 PM, Alan Mackenzie wrote:Honestly, you're gonna die first, one way or the other.olcott <polcott333@gmail.com> wrote:As soon as people fully address rather than endlessly dodge my keyOn 2/20/2025 2:38 AM, Mikko wrote:>On 2025-02-20 00:31:33 +0000, olcott said:Yes. It would be a relief if you could move on to postingEvery post that I have been talking about for two or more yearsI have given everyone here all of the complete source code forTrue but irrelevant. OP did not specify that HHH means that
a few years
particular code.
has referred to variations of that same code.
something new and fresh.
points I will be done.
>Let's start with a root point.Since DD halts, that's dead in the water.
All of the other points validate this root point.
*Simulating termination analyzer HHH correctly determines*
*the non-halt status of DD*
deception aside:
DD correctly simulated by HHH cannot possibly terminate normally by
reaching its own "return" instruction.
Since HHH doesn't correctly simulate its input, your statement is
just a fabrication of your imagination.
cannot mean imagining a different sequence than the one that the
machine code specifies. That most people here are clueless about x86
machine code is far less than no rebuttal at all.
sequence where simulation is aborted, but you simulate the non-input of
a non-aborting HHH. This is not the HHH that does the simulation.
When DD emulated by HHH calls HHH(DD) this call cannot possibly returnThat's bad. A decider like HHH is supposed to return.
to the emulator, conclusively proving that
possibly terminate unless a version of itself its emulating this
instance of itself.
In this case the infinite loop instance MUST BE ABORTED.
When DD is correctly simulated by HHH according to the behavior that theIf HHH doesn't return, it is not a decider.
above machine code specifies then the call from DD to HHH(DD) cannot
possibly return making it impossible for DD emulated by HHH to terminate
normally.
Les messages affichés proviennent d'usenet.