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

On 3/8/2025 5:47 PM, olcott wrote:

On 3/8/2025 4:26 PM, dbush wrote:

On 3/8/2025 11:41 AM, olcott wrote:

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.
>

>
In other words, the source code does not meet the definition of a proof, so your claim is false.

 Dumb Bunny:
*Proof[0] is anything that shows that X is necessarily true*
*and thus impossibly false*
 The source-code in Halt7.c combined with the input to HHH
conclusively proves every detail of the behavior of HHH on
this input. Disagreeing this is either foolish or dishonest.
 

A proof is a finite sequence of truth preserving steps between the axioms of a system and a true statement that show the statement is true.
Source code does not meet that definition.  It just does what it does, nothing more.