Re: How do computations actually work?

On 5/25/2025 4:14 AM, Mikko wrote:

On 2025-05-24 15:18:57 +0000, olcott said:
 

On 5/24/2025 2:47 AM, Mikko wrote:

On 2025-05-23 02:47:40 +0000, olcott changed the subject to

How do computations actually work?

>
Each computation works differently. It does not matter how it works as
long as there are instructions that fully specify how that computation
shall be performed.

>
All termination analyzers are required to report on the
behavior that their input finite string specifies.

 To report correctly. Though the input string to a termination analyzer
usially is incomlete: the input string usually specifies different
behavours depending on the input that is not shown to the termination
analyzer, and the analyzer's report must cover all of them.
 A partial termination analyzer may fail to report but is not allowed
to report incorrectly.
 

void DDD()
{
   HHH(DDD);
   return;
}
DDD simulated by HHH cannot possibly reach its
"return" statement final halt state, only liars
will disagree.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer