Re: Turing Machine computable functions apply finite string transformations to inputs

On Tue, 13 May 2025 11:43:23 +0100, Richard Heathfield <rjh@cpax.org.uk>
wrote in <vvv7ob$1onqc$1@dont-email.me>:

On 13/05/2025 11:32, vallor wrote:

On Mon, 28 Apr 2025 07:40:12 +0100, Richard Heathfield
<rjh@cpax.org.uk>
wrote in <vun7sc$2fjjl$3@dont-email.me>:
 

On 28/04/2025 06:22, vallor wrote:

On Sun, 27 Apr 2025 21:06:29 -0400, Richard Damon
<richard@damon-family.org> wrote in
<8d96b4dc99c7e8643b6fda45f200891d920b2acd@i2pn2.org>:
>

Which is just an admission that your HHH's are not actual correct
emulator, and you can only apply that statement in the version of
your claims where you retract your claim about Halt7.c being part of
the system (as then then is one and only one HHH), and thus your DD
just is not a program unless you include HHH as part of it, and thus
each is a DIFFFERENT input.

>
Sorry to butt in...
>
Where does one find this Halt7.c?

>
<https://github.com/plolcott/x86utm>
>
(If you're expecting something amazing, prepare yourself for a
disappointment.)

 
Thank you.
 
Looks complicated.  Appears to obfuscate the issue.

 
It is and it does, but it turns out not to matter.
 
What might be rather more interesting is... Well, maybe I'll complete
that thought offline.

olcott has been in my Score file as -9999 for about 2 years
(in which he's morphed a few times).  Currently, I've set that
for ~comp.theory in my Score file, so that I can see what,
if anything, he has to say about his Halt7.c.

(I suppose I'm glad I didn't see Halt[1-6].c ...)

--
-v