Sujet : Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 12. May 2025, 12:43:09
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <25041b9a3b869085831f110eef49d59fa4e8f5b1@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
On 5/11/25 10:05 PM, olcott wrote:
On 5/11/2025 8:34 PM, Richard Heathfield wrote:
On 12/05/2025 02:12, olcott wrote:
>
<snip>
>
No one here is using any actual reasoning
in their rebuttals of my work.
>
I have already shown several places where your 'work' violates the rules of its implementation's language standard,
My compiler disagrees so I can't fix that.
Halt7.c must be compiled with the Microsoft
compiler to get the correct object file type.
The problem is your compiler doesn't satisfy the requirements of the language standard.
And you CAN fix that, at least a lot of it, but using the proper options when running it to have it be more conforming.
It seems you like the idea of allowing programs to have undefined behavior, which isn't allowed.
But that is because you need to break the rules to make you claims sound more likely to not be the lies they are. That is just your nature as a pathological liar.