Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals ---PSR---

On 3/8/2025 9:01 AM, dbush wrote:

On 3/8/2025 9:09 AM, olcott wrote:

On 3/8/2025 3:06 AM, Mikko wrote:

On 2025-03-07 15:11:53 +0000, olcott said:
>

The code proves otherwise
https://github.com/plolcott/x86utm/blob/master/Halt7.c

>
A program does not prove. In particular, it does not prove that no
different program exists.
>

>
The source code 100% perfectly proves exactly what it
actually does.

 The source code contains a finite sequence of truth preserving steps between axioms and a statement?

The source code 100% completely specifies every single detail
of exactly what it does on each specific input.
Saying that it does not do this is counter-factual.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer