Re: What it would take... People to address my points with reasoning instead of rhetoric

On 5/14/2025 11:58 AM, olcott wrote:

On 5/14/2025 5:59 AM, Fred. Zwarts wrote:

Op 13.mei.2025 om 22:52 schreef olcott:

On 5/13/2025 1:20 PM, Mike Terry wrote:

On 13/05/2025 19:00, Richard Heathfield wrote:

On 13/05/2025 18:12, dbush wrote:

On 5/13/2025 1:06 PM, Richard Heathfield wrote:

On 13/05/2025 17:21, dbush wrote:

On 5/13/2025 12:01 PM, olcott wrote:

>
<snip>
>

The actual reasoning why HHH is supposed to report
on the behavior of the direct execution of DD()
instead of the actual behavior that the finite
string of DD specifies:

>
Quite simply, it's the behavior of the direct execution that we want to know about.

>
Why?
>
DDD doesn't do anything interesting.

>
I wasn't referring to DDD specifically, but in general.
>
He's claiming *in general* that H(X) is supposed to report on "X simulated by H" instead of the direct execution of X,

>
...where the former is obviously less interesting than the latter. Fair enough.
>
<snip>

>
Right!  PO's defintion of PO-halting (based on what "the simulator" does) makes halting a property of both the input being decided /and/ the machine doing the deciding.
>
Real halting is a property of just the input being decided, as is

>
The input being decided by HHH(DD) includes DD
calling its own emulator in recursive simulation.

>
Finite recursive simulation, because the input includes the code to abort.
>

 <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its
     input D until H correctly determines that its simulated D
     would never stop running unless aborted then
 *its simulated D would never stop running unless aborted*

And *yet again* you lie by implying Sipser agrees with your interpretation of the above when definitive proof has been repeatedly provided that he did not:
On Monday, March 6, 2023 at 2:41:27 PM UTC-5, Ben Bacarisse wrote:
 > I exchanged emails with him about this. He does not agree with anything
 > substantive that PO has written. I won't quote him, as I don't have
 > permission, but he was, let's say... forthright, in his reply to me.
Your dishonesty knows no bounds.