Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: How do computations actually work?
Date: Sat, 24 May 2025 17:36:32 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <576c153ad79ba7a36ffa42ce4c4dbe61c3e18601@i2pn2.org>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
 <100jo18$2mhfd$1@dont-email.me> <100jpv9$2m0ln$4@dont-email.me>
 <100kt0c$2tae8$3@dont-email.me> <100ktr7$2reaa$1@dont-email.me>
 <100l09v$2tae8$5@dont-email.me> <100l1ov$2ul3j$1@dont-email.me>
 <100l3jh$2v0e9$1@dont-email.me> <100l5c8$2ul3j$2@dont-email.me>
 <100l75g$2vpq3$1@dont-email.me> <100l887$2ul3i$2@dont-email.me>
 <100l9gh$30aak$1@dont-email.me> <100lc4o$30pgm$1@dont-email.me>
 <100ld1u$312c9$1@dont-email.me> <100lg4g$31jt3$1@dont-email.me>
 <100lkdv$32ib3$1@dont-email.me> <100lmif$32v06$1@dont-email.me>
 <100lmp3$32ven$1@dont-email.me> <100m319$38k55$2@dont-email.me>
 <87jz69xlpx.fsf@nosuchdomain.example.com> <100mder$39slu$2@dont-email.me>
 <100oipb$3oge1$1@dont-email.me> <100onkd$3t5cb$1@dont-email.me>
 <aba700ae0681263a7a5e6ae010c2b3809fcbd040.camel@gmail.com>
 <100oq63$3tal2$1@dont-email.me> <100p792$3vnfa$1@dont-email.me>
 <100q6lb$5buc$3@dont-email.me> <100rt3j$jcn6$1@dont-email.me>
 <100snls$p071$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 24 May 2025 21:57:16 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1783864"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <100snls$p071$4@dont-email.me>

On 5/24/25 11:13 AM, olcott wrote:
> On 5/24/2025 2:39 AM, Mikko wrote:
>> On 2025-05-23 16:10:19 +0000, olcott said:
>>
>>> On 5/23/2025 2:14 AM, Mikko wrote:
>>>> On 2025-05-23 03:31:15 +0000, olcott said:
>>>>
>>>>> On 5/22/2025 10:23 PM, wij wrote:
>>>>>> On Thu, 2025-05-22 at 21:47 -0500, olcott wrote:
>>>>>>> [cut]
>>>>>>
>>>>>> Q: How do computations actually work?
>>>>>> A: Computation is merely step-by-step algorithm.
>>>>>> Nothing says it has to be TM.
>>>>>>
>>>>>> Do the exercises in textbooks first before any claim of it.
>>>>>>
>>>>>
>>>>> int main()
>>>>> {
>>>>>    DD(); // by what steps can the HHH that DD calls
>>>>> }       // report on the behavior its caller?
>>>>
>>>> If we don't insist that the report be correct:
>>>> 1. guess
>>>> 2. tell what was guessed
>>>
>>> This does not work because all computable functions
>>> that implement termination analyzers must compute
>>> the mapping from their input finite string according
>>> to the behavior that it specifies.
>>
>> Wrong. There is no need to compute "the" mapping if a the report
>> needs not be correct. Some other mapping is enough to produce
>> some report.
>>
> 
> int sum(int x, int y) { return 5; }
> Does not compute any function because it ignores its inputs.
> 

WHich is still a computation.

sorry, you are just showing that you don't understand what you are 
talking about, because you don't know the actual definitions of the 
words you are using.

That function Sum computes the function:

for all x, x maps to 5.

That *IS* a mapping, and thus a function.