Re: Who here understands that the last paragraph is Necessarily true?

On 7/14/24 7:22 PM, olcott wrote:

On 7/14/2024 4:41 PM, Richard Damon wrote:

On 7/14/24 10:38 AM, olcott wrote:

On 7/14/2024 3:09 AM, Mikko wrote:

On 2024-07-13 20:15:56 +0000, olcott said:
>

typedef void (*ptr)();
int HHH(ptr P);
>
void Infinite_Loop()
{
   HERE: goto HERE;
}
>
void Infinite_Recursion()
{
   Infinite_Recursion();
}
>
void DDD()
{
   HHH(DDD);
}
>
int main()
{
   HHH(Infinite_Loop);
   HHH(Infinite_Recursion);
   HHH(DDD);
}
>
Any input that must be aborted to prevent the non
termination of HHH necessarily specifies non-halting
behavior or it would never need to be aborted.

>
Everyone understands that DDD specifies a halting behaviour if HHH(DDD) does,

>
>
*You can comprehend this is a truism or fail to*
*comprehend it disagreement is necessarily incorrect*
Any input that must be aborted to prevent the non
termination of HHH necessarily specifies non-halting
behavior or it would never need to be aborted.
>
Disagreeing with the above is analogous to disagreeing
with arithmetic.
>

>
But if HHH does abort

 int x = 5;
int y = 3;
if (x > y) // *before abort*
{
   printf("x > y is necessarily true\n");
   y = 2 * x;  // *after abort*
}
  

Red Hering, showin your utter stupidity.
The behavior of a given DDD (as determined by its full code) is fixed an immutable and HHH can;t "change" it.
Note, a given HHH has fixed behavior, and that establishes the behavior of the DDD that calls it.
THus, if this HHH aborts its simulation, it was always going to abort its simulation and always will abort its simulation, and thus every DDD that calls that HHH will be returned to and it will halt.
You just don't seem to understand the basic definition of a program, and seem to want to give them volition and mutability, things programs don't have.
Of course, you have also admitted that your whole system is based on the LIE that your setup actually is equivalent to the proofs you are trying to rebute, when you admit they are not as you want DDD to not actually be considered to include the code of HHH as part of itself, so you never were actually talking about actual programs, but some undefined abomination.
THAT shows your total depravity about truth and logic.