Sujet : Re: The philosophy of computation reformulates existing ideas on a new basis --- getting somewhere
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 04. Nov 2024, 04:19:10
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vg9efe$p463$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Mozilla Thunderbird
On 11/3/2024 7:46 PM, Richard Damon wrote:
On 11/3/24 8:38 PM, olcott wrote:
On 11/3/2024 7:26 PM, Richard Damon wrote:
On 11/3/24 8:21 PM, olcott wrote:
>
What would an unbounded emulation do?
>
>
Keep on emulating for an unbounded number of steps.
>
Something you don't seem to understand as part of the requirements.
>
Non-Halting isn't just did reach a final state in some finite number of steps, but that it will NEVER reach a final state even if you process an unbounded number of steps.
>
Would an unbounded emulation of DDD by HHH halt?
Not a valid question, as your HHH does not do an unbounded emulation, but aborts after a defined time.
*Now you are contradicting yourself*
YOU JUST SAID THAT HHH NEED NOT DO AN UNBOUNDED
EMULATION TO PREDICT WHAT AN UNBOUNDED EMULATION WOULD DO.
On 11/3/2024 12:20 PM, Richard Damon wrote:
> On 11/3/24 9:39 AM, olcott wrote:
>>
>> The finite string input to HHH specifies that HHH
>> MUST EMULATE ITSELF emulating DDD.
>
> Right, and it must CORRECTLY determine what an unbounded
> emulation of that input would do, even if its own programming
> only lets it emulate a part of that.
>
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer