All of computation and human reasoning can be encoded as finite string transformations

Liste des GroupesRevenir à ca philosophy 
Sujet : All of computation and human reasoning can be encoded as finite string transformations
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory comp.lang.c comp.ai.philosophy sci.logic
Suivi-à : comp.theory
Date : 20. Apr 2025, 16:33:15
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vu343r$20gn$2@dont-email.me>
User-Agent : Mozilla Thunderbird
No counter-example to the above statement exists for all
computation and all human reasoning that can be expressed
in language.
Double-talk, weasel words and ad hominem attacks count as
pure foolishness and zero rebuttal what-so-ever.
Finding an example of a computation that cannot be
expressed as finite string transformation rules is
the only possible valid rebuttal to the above.
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
DD simulated by HHH according to the semantics of the C
language (the correct finite string transformation rules)
cannot possibly reach its own "return" instruction final
halt state.
Imagining what the simulated DD should do stupidly ignores
what this DD actually does. This may be dishonest instead
of stupid.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
20 Apr 25 * All of computation and human reasoning can be encoded as finite string transformations8olcott
20 Apr 25 `* All of computation and human reasoning can be encoded as finite string transformations --- Quine7olcott
20 Apr 25  +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2olcott
21 Apr21:57  i`- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1olcott
22 Apr19:33  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4olcott
26 Apr17:28   +- Re: All computation & human reasoning encoded as finite string transformations --- Quine1olcott
26 Apr17:49   `* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
27 Apr18:59    `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal