Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable

On 5/7/2025 7:40 PM, olcott wrote:

On 5/7/2025 6:31 PM, dbush wrote:

On 5/7/2025 7:26 PM, olcott wrote:

>
When N instructions of DD are emulated by HHH
according to the rules of the x86 language then

>
The subject was "DD emulated by HHH", not "N instructions of DD emulated by HHH".
>
Changing the subject is the dishonest dodge of the strawman deception.

  That you and Richard construe anything less than an
infinite number of steps of DD emulated by HHH
(according to the rules of the x86 language)
as an incorrect emulation IS MORONICALLY STUPID.
 

The fixed immutable code of HHH simulates a fixed number X of instructions of DD, the last of which was simulated incorrectly.  Any number other than X is not what HHH simulates and is therefore irrelevant to HHH.
UTM simulates X+Y instruction of DD correctly and reaches a final state.