Sujet : Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT --- Using Finite String Transformations
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 19. Apr 2025, 08:48:40
Autres entêtes
Organisation : -
Message-ID : <vtvkgo$vjvi$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 28 29
User-Agent : Unison/2.2
On 2025-04-17 19:57:30 +0000, olcott said:
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.
It seems that there is an error above as I can't parse it. But it is
not clear how that should be corrected.
-- Mikko
…