Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT --- Using
 Finite String Transformations
Date: Thu, 17 Apr 2025 14:57:30 -0500
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <vtrmfa$1be3n$1@dont-email.me>
References: <vsnchj$23nrb$2@dont-email.me> <vtkkge$2si58$2@dont-email.me>
 <vtl56j$3aajg$1@dont-email.me> <vtlu0a$3vgp0$1@dont-email.me>
 <vtm04f$2a90$1@dont-email.me> <vtm9q8$aut7$1@dont-email.me>
 <vtmah8$2a90$2@dont-email.me> <vtmgen$gs48$1@dont-email.me>
 <vtmh1n$2a90$3@dont-email.me> <vto4vh$23i07$1@dont-email.me>
 <vto7qu$267in$1@dont-email.me> <k%RLP.1232047$Xb1.539402@fx05.ams4>
 <vtorpb$2uac$1@news.muc.de> <vtp32o$2vb5o$1@dont-email.me>
 <vtqpt5$17ns$1@news.muc.de> <vtrhbc$16pbv$2@dont-email.me>
 <vtrk7l$t44$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 17 Apr 2025 21:57:31 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9e54186204e3f985b1887a8e149a0720";
	logging-data="1423479"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+OrW1cizz3LY5y2vGeX5JV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2lp/3kp0RZYnY2bdTH7rWMKqpwI=
In-Reply-To: <vtrk7l$t44$1@news.muc.de>
Content-Language: en-US
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250417-2, 4/17/2025), Outbound message
Bytes: 3967

On 4/17/2025 2:19 PM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
>> On 4/17/2025 6:49 AM, Alan Mackenzie wrote:
>>> olcott <polcott333@gmail.com> wrote:
>>>> On 4/16/2025 1:09 PM, Alan Mackenzie wrote:
>>>>> Mr Flibble <flibble@red-dwarf.jmc.corp> wrote:
>>>>>> On Wed, 16 Apr 2025 13:29:18 +0100, Richard Heathfield wrote:
> 
> [ .... ]
> 
>>>> All of logic, reasoning and computation boils down to finite string
>>>> transformations on inputs deriving outputs.
> 
>>> That's a big assertion, one you have not proved.  It is one you can't
>>> prove, even were it true, since you don't understand the concept of
>>> proof.
> 
>> When a categorically exhaustive search is made it is self-evident that
>> all computation, logic, and human reasoning has as its barest possible
>> essence transforming input finite strings into outputs via finite
>> string transformations.
> 
> It is not at all self-evident. 

It is self-evident that there are no exceptions to the rule
the all truth that is entirely anchored in fully formalized
semantics an be expressed as finite string transformations
from input finite strings.

>  Not all advances in knowledge result from
> "categorically exhaustive search", far from it.  It is far from clear
> what you mean by "transforming" in that paragraph.  It's not even clear
> what you mean by "input finite strings".
> 

All logic, computation, and human reasoning is at its essence
finite string transformation rules applied to finite strings.
Phonemes are isomorphic to finite strings.

> I don't think your model of knowledge as "transformation of strings" is a
> good one.  Human cognition is a highly parallel thing, combining many
> simultaneous stimuli into some more or less coherent whole.  From that
> arises intuition and initiatve, for example, both of which are essential
> to the advance of knowledge, yet don't seem to be much connected to
> "strings".
> 
> [ .... ]
> 
>> -- 
>> Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
>> hits a target no one else can see." Arthur Schopenhauer
> 


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