XPost: comp.theory, sci.logic, sci.math

On 2/28/2022 8:47 AM, Malcolm McLean wrote:

On Monday, 28 February 2022 at 06:30:09 UTC, Jeff Barnett wrote:

There recently occurred a two week period when Richard was virtually the
only corespondent to interact with PO. There were several dozen messages
a day written by the pair.

This is the only viable path to bring PO some good feelings about his
life and worthiness. Unless his decades of repetitious behavior have
totally numbed him, his sufferings must be great. Even a shadow of
reality leaking into his consciousness must cause agony. So let's get
busy and save the little fellow.

Volunteers needed; apply here.

It's a technical newsgroup. We can only speculate about how another poster
is feeling. Whilst I have offered non-technical advice to people (not PO) in the past, I've ony done so briefly. Here isn't really the place for it.

I haven't replied to PO for quite some time because I don't see anything new, and there's nothing left to say which I haven't said many times already.

https://www.researchgate.net/publication/358009319_Halting_problem_undecidability_and_infinitely_nested_simulation_V3


Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn

PEOPLE AGREE WITH THIS
(1) It is the case that the simulated input ⟨Ĥ⟩ ⟨Ĥ⟩ to the copy of the
Linz H at Ĥ.qx (where H is a simulating halt decider) would have to
abort its simulation to prevent infinite simulation.

YET FAIL TO UNDERSTAND THAT THIS FOLLOWS FROM (1)
(2) It is also a fact the the above proves that this input specifies a non-halting sequences of configurations.

That people cannot understand that (2) follows form (1) is like they
have been hit in the face with a Boston cream pie and deny that there is
any pie, as this pie drips from their face.


--
Copyright 2021 Pete Olcott

Talent hits a target no one else can hit;
Genius hits a target no one else can see.
Arthur Schopenhauer

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)