Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String

On 3/12/2025 9:49 PM, dbush wrote:

On 3/12/2025 10:41 PM, olcott wrote:

On 3/12/2025 7:56 PM, dbush wrote:

On 3/12/2025 8:41 PM, olcott wrote:>>

>
NOT WHEN IT IS STIPULATED THAT THE BEHAVIOR BEING
MEASURED IS

>
>
The direct execution of DDD

>
is proven to be different than the behavior of DDD
emulated by HHH according to the semantics of the
x86 language.
>

 Which is not what a solution to the halting problem is stipulated to compute:
 

Unless you look more deeply into these things and
realize that it is the semantic property of the
(computation encoded as a) finite string that Rice's
Theorem is based on.

Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
 

The finite string pair DDD/HHH specifies a different
computation than the finite string pair DDD/HHH1.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer