Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: How computable functions actually work. (was Flibble)
Date: Wed, 23 Apr 2025 11:27:57 -0500
Organization: A noiseless patient Spider
Lines: 48
Message-ID: <vub4ed$3clpn$7@dont-email.me>
References: <vu89uf$dqtf$1@dont-email.me> <a7ONP.1086929$B61.895665@fx02.ams4>
 <vu93el$dp4v$1@dont-email.me> <vu94l0$1h90v$1@dont-email.me>
 <c56984842cd8193343404c51c965e22d2f245c52@i2pn2.org>
 <vu9pg1$27dnc$1@dont-email.me>
 <43404959d6dc8abedf3a2d92697702839aff187b@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 23 Apr 2025 18:27:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5791df4ad8dacc236dd89a5c1d753bc4";
	logging-data="3561271"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/0mQKx8AkCSpY8YFZfW8X1"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:BMGaNuKPEiit/C6zmeq8wCoqSHM=
X-Antivirus-Status: Clean
In-Reply-To: <43404959d6dc8abedf3a2d92697702839aff187b@i2pn2.org>
X-Antivirus: Norton (VPS 250423-4, 4/23/2025), Outbound message
Content-Language: en-US

On 4/23/2025 6:15 AM, Richard Damon wrote:
> On 4/23/25 12:14 AM, olcott wrote:
>> On 4/22/2025 9:33 PM, Richard Damon wrote:
>>> On 4/22/25 6:19 PM, olcott wrote:
>>>>
>>>> On Turing Machines inputs <are> finite strings, and
>>>> finite string transformation rules <are> applied to
>>>> these finite strings to derive corresponding outputs.
>>>
>>> Yes, so the results can only BE what is computable, but as pointed 
>>> out, the correct answer need not be.
>>>
>>
>> That would seem to indicate an error in the original
>> problem specification.
> 
> No, just in your understanding of it.
> 
>>
>> Whatever can be derived by applying finite string
>> transformation to input finite strings <is> computable.
> 
> No, and the problem is you don't actually understand the meaning of the 
> words you are using.
> 
> The point it that your phrase "Computations are finite string 
> transformations" is not a definition, but just a description. 

int sum(int x, int y) { return x + y; }

It does conclusively prove that HHH is not allowed
to report on the behavior of the direct execution
of DD for the same reason that sum(3,2) cannot report
on the sum of 4 + 3.

The finite string transformations to the machine code
of DD according the definition of the x86 language
ALREADY SPECIFIES BEHAVIOR THE IS NOT THE BEHAVIOR
OF THE DIRECTLY EXECUTED DD.

The call to HHH(DD) from the directly executed DD returns.
The call to HHH(DD) from DD emulated by HHH cannot possibly return.



-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer