Re: Computable Functions --- finite string transformation rules

Liste des GroupesRevenir à cl c 
Sujet : Re: Computable Functions --- finite string transformation rules
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 26. Apr 2025, 22:15:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vujieb$35hcg$4@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
User-Agent : Mozilla Thunderbird
On 4/26/2025 3:45 PM, dbush wrote:
On 4/26/2025 4:41 PM, olcott wrote:
On 4/26/2025 3:23 PM, joes wrote:
Am Sat, 26 Apr 2025 14:46:12 -0500 schrieb olcott:
On 4/26/2025 1:22 PM, Fred. Zwarts wrote:
Op 26.apr.2025 om 19:28 schreef olcott:
On 4/26/2025 3:58 AM, Fred. Zwarts wrote:
Op 25.apr.2025 om 23:21 schreef olcott:
On 4/25/2025 8:56 AM, joes wrote:
Am Thu, 24 Apr 2025 19:03:34 -0500 schrieb olcott:
>
The program EE(){ HHH(EE); } also halts and cannot be simulated by
HHH.
>
HHH cannot possibly do this without violating the rules of the x86
language.
HHH already violates the rules of the x86 language by prematurely
aborting the halting program.
>
Everyone claims that HHH violates the rules of the x86 language yet no
one can point out which rules are violated
>
It has been pointed out many times. It is against the rules of the x86
language to abort a halting function.
>
You remains stupidly wrong about this because you refuse to show what
step of DD is not emulated by HHH according to the finite string
transformation rules specified by the x86 language.
>
All instructions after the abort are not emulated.
>
>
Still stupidly wrong.
>
*The best selling author of theory of computation textbooks*
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
>
     until H correctly determines that its simulated D would never
     stop running unless aborted then
>
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>
 But not to what you think he agreed to:
 
I don't give a rat's ass about other people's
opinions of what he agreed to.
Other people keep trying to dishonesty get
away with disagreeing with the finite string
transformations specified by the x86 language.
This seems to prove that these "other people"
are liars.
Now that I just came up with the idea that all
Turing Machine computable functions must apply
finite string transformations to their inputs
to derive their outputs
The stupid nonsense that HHH must report on the
direct execution of DD is conclusively proved
to be stupid nonsense.
--
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
22 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal