Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT

Am Sat, 16 Nov 2024 09:17:21 -0600 schrieb olcott:

On 11/16/2024 8:26 AM, Richard Damon wrote:

On 11/16/24 9:09 AM, olcott wrote:

On 11/16/2024 6:36 AM, Richard Damon wrote:

On 11/15/24 11:17 PM, olcott wrote:

On 11/15/2024 10:10 PM, Richard Damon wrote:

On 11/15/24 10:57 PM, olcott wrote:

On 11/15/2024 9:39 PM, Richard Damon wrote:

On 11/15/24 10:32 PM, olcott wrote:

On 11/15/2024 9:18 PM, Richard Damon wrote:

On 11/15/24 7:34 PM, olcott wrote:

On 11/14/2024 8:49 PM, Richard Damon wrote:

On 11/14/24 9:38 PM, olcott wrote:

On 11/14/2024 2:33 PM, Richard Damon wrote:

On 11/14/24 3:28 PM, olcott wrote:

On 11/14/2024 2:22 PM, Alan Mackenzie wrote:

joes <noreply@example.org> wrote:

That behavior that HHH is supposed to be reporting on is
the behavior of the actual direct exectution of the program
described by the input,

>
IN OTHER WORDS YOU ARE SAYING THAT HHH SHOULD STUPIDLY
IGNORE THE FACT THAT DDD DOES SPECIFY THAT HHH MUST EMULATE
ITSELF EMULATING DDD

Your "Source Code", is NOT an axiom of the system.

WHich isn't a complete program, so a LIE to call it one.
 

I never called it a complete program and you swear your own allegiance
to the father of lies by saying that I did.

I hereby swear allegiance to the father of lies.

Which HHH does DDD call, the one that aborts?

The axioms of the system are the x86 language nitwit.

Which means that the above is an incorrect statememt.
By the "axions" you claim, the PROGRAM DDD, that comes from the Halt7.c
file, is HALTING as it calls the HHH that does some partial emulation
and returns to DDD and thus DDD returns.

The C function DDD partially or fully emulated by any HHH never reaches
its own "return" instruction final halt state.

Why doesn't the inner HHH halt?

HHH applies to axioms to its input proving that DDD emulated by HHH
cannot possibly ever reach its own "ret" instruction final halt state
no matter what any partial or compete x86 emulator HHH does.

Nope, becuase there are no axioms like that to even APPLY.

Sure there are the x86 language provides all of the axioms that requires
HHH to emulate the first four instructions of DDD then if any more
instructions are to be emulated HHH must at least begin emulating itself
emulating DDD.

The further instructions of HHH do need to be simulated as part of the
code of DDD. DDD is not done with the call until the inner HHH returns,
which we know it does as it is the same program as the outer simulator
(which shall be a decider), whereupon DDD will halt, just like if it
weren't simulated.

I hope not that is why I ask you to repent.

Do not preoccupy yourself with others' salvation.

In a court of law you must tell the truth THE WHOLE TRUTH and nothing
but the truth.  That you fail to tell the whole truth about the behavior
of DDD emulated by HHH would break this oath.

This is not a court.

I don't see how you can twist your understanding of scripture so that
you think you can get away with deceptive trollish head games.

Nobody was quoting scripture.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.