Re: How the requirements that Professor Sipser agreed to are exactly met

On 5/14/2025 6:25 PM, olcott wrote:

On 5/14/2025 4:32 PM, Richard Heathfield wrote:

On 14/05/2025 21:50, dbush wrote:

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

>
<snip>
>

 <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
 

THE SPEC REQUIRES A PARTIAL SIMULATION OF SOME INPUTS.

>
Simulation is not a requirement, merely an implementation detail. Mapping the halting function is the requirement:

>
I think Mr Olcott sees simulation as a requirement, if not /the/ requirement.
>

 This whole post and every single message is only
about how HHH/DDD and HHH/DD meet the EXACT WORDS
OF THE ABOVE SPEC. All divergence from this was
a dishonest dodge.
 

HHH doesn't even meet the prerequisites since halt deciders work with algorithms and your HHH does not and therefore has nothing to do with the halting problem, as you have admitted:
On 5/13/2025 9:54 PM, dbush wrote:
 > On 5/13/2025 9:48 PM, olcott wrote:
 >> On 5/13/2025 8:31 PM, dbush wrote:
 >>> On 5/13/2025 9:27 PM, olcott wrote:
 >>>> On 5/13/2025 8:07 PM, dbush wrote:
 >>>>> On 5/13/2025 5:30 PM, olcott wrote:
 >>>>>> On 5/13/2025 6:43 AM, Richard Damon wrote:
 >>>>>>> On 5/13/25 12:52 AM, olcott wrote:
 >>>>>>>> *simulated D would never stop running unless aborted*
 >>>>>>>> or they themselves could become non-terminating.
 >>>>>>>
 >>>>>>> But you aren't simulating the same PROGRAM D that the original
 >>>>>>> was given.
 >>>>>>>
 >>>>>>
 >>>>>> It is not supposed to be the same program.
 >>>>>
 >>>>> So you *explicitly* admit to changing the input.
 >>>>>
 >>>>
 >>>> The finite string of DD is specific sequence bytes.
 >>>
 >>> Which includes the specific sequence of bytes that is the finite
 >>> string HHH
 >>>
 >>
 >> No it does not. A function calls is not macro inclusion.
 >>
 >
 > Then you admit that your HHH not deciding about algorithms and therefore
 > has nothing to do with the halting problem.