Re: Simulation vs. Execution in the Halting Problem

On 6/15/2025 4:46 AM, Mikko wrote:

On 2025-06-14 13:44:30 +0000, olcott said:
 

On 6/14/2025 6:26 AM, Mikko wrote:

On 2025-06-13 17:59:23 +0000, André G. Isaak said:
>

On 2025-06-13 09:36, olcott wrote:

On 6/13/2025 6:53 AM, Mikko wrote:

>

Nothing is permanent. But you can (and to some extent do) maintan a web
page as long as you need it for usenet discussions.

>
I want people to be able to validate my work 50 years after I am dead.
A web-page will not work for this.

>
Usenet is dying. Do you seriously think it will be around in 50 years?

>
Some of its contents might still be on some web page.

>
Storing every text message ever written seems
to take < 1.0 TB.

 Doesn't matter. Unlikely that anyone would even notice that you wanted
a validation of something.
 

Anyone with sufficient technical competence carefully
studying what I have said that is not so biased against
my position that they can actually pay complete attention
will understand that I am correct.
If this was not the case then there could be a correct
rebuttal to what I am saying now. Instead of any correct
rebuttal all that has been provided is persistently
false assumptions.
A termination analyzer / partial halt decider is
required to report on the behavior of the sequence
of state transitions that its input actually specifies.
It is not allowed to report on anything else.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer