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

On 2025-03-08 22:47:01 +0000, olcott said:

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 does not proove any detail of its own behaviour on any input.
A proof does not even have any behaviour nor any input.
--
Mikko