Re: D correctly simulated by H proved for THREE YEARS --- specification

Am Thu, 13 Jun 2024 08:10:21 -0500 schrieb olcott:
> On 6/13/2024 3:49 AM, joes wrote:
>> Am Wed, 12 Jun 2024 18:25:14 -0500 schrieb olcott:
>>> On 6/12/2024 6:03 PM, Richard Damon wrote:
>>>> On 6/12/24 12:57 PM, olcott wrote:
>>>>> On 6/12/2024 6:33 AM, Richard Damon wrote:
>>>>>> On 6/11/24 11:21 PM, olcott wrote:
>>>>>>> On 6/11/2024 9:30 PM, Richard Damon wrote:
>>>>>>>> On 6/11/24 7:23 PM, olcott wrote:
>>>>>>>>> On 6/11/2024 5:47 PM, Richard Damon wrote:
>>>>>>>>>> On 6/11/24 1:12 PM, olcott wrote:
>>>>>>>>>>> On 6/11/2024 6:47 AM, Richard Damon wrote:
>>>>>>>>>>>> On 6/11/24 12:31 AM, olcott wrote:
>>>>>>>>>>>>> On 6/10/2024 10:32 PM, Richard Damon wrote:
>>>>>>>>>>>>>> On 6/10/24 10:06 PM, olcott wrote:
>>>>>>>>>>>>>>> On 6/10/2024 6:16 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 6/9/24 11:54 PM, olcott wrote:

>>> *H DOES NOT simply guess what you think it should do and do that*
>> It has a *specification* it must fulfill.
> The specification is only in your own mind and cannot be encoded as a
> program/input pair.
Right, because halting is undecidable. The specification is: return the
halting status of every machine, including D, which contradicts its own
output. 

-- 
joes