Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable

On 5/8/25 1:22 AM, olcott wrote:

On 5/7/2025 11:09 PM, Richard Heathfield wrote:

On 08/05/2025 02:20, olcott wrote:
>
<snip>
>

Does there exist an HHH such that DDD emulated by
HHH according to the rules of the C programming language

>
Let's take a look.
>
The file is 1373 lines long, but don't worry, because I plan to stop at HHH's first departure from the rules of the C programming language (or at least the first departure I spot).
>
Turn in your songbook if you will to:
>
void CopyMachineCode(u8* source, u8** destination)
{
   u32 size;
   for (size = 0; source[size] != 0xcc; size++)
     ;
   *destination = (u8*) Allocate(size);
   for (u32 N = 0; N < size; N++)
   {
     Output("source[N]: ", source[N]);
     *destination[N] = source[N];
   }
   ((u32*)*destination)[-1] = size;
   Output("CopyMachineCode destination[-1]: ", ((u32*)*destination)[-1]);
   Output("CopyMachineCode destination[-2]: ", ((u32*)*destination)[-2]);
};
>

 deprecated.
 

I'll ignore the syntax error (a null statement at file scope is a rookie error).
>
Instead, let's jump straight to this line:
>
   *destination = (u8*) Allocate(size);
>
On line 79 of my copy of the code, we find:
>
u32* Allocate(u32 size) { return 0; }
>
In C, 0 is a null pointer constant, so Allocate returns a null pointer constant... which is fine as long as you don't try to deref it. So now *destination is NULL.
>
We go on:
>
   for (u32 N = 0; N < size; N++)
   {
     Output("source[N]: ", source[N]);
     *destination[N] = source[N];
   }
>
*destination[N] is our first big problem (we're ignoring syntax errors, remember). destination is a null pointer, so destination[N] derefs a null pointer.
>
That's a fail. 0/10, D-, go away and write it again. And you /dare/ to impugn other people's C knowledge! Crack a book, for pity's sake.
>

 If you can't even understand what is essentially
an infinite recursive relationship between two functions
except that one function can terminate the other then
you don't have a clue about the essence of my system.
 

But it isn't an infinite recursion, because HHH stops it.
It is only an imagined infinite recusrion when you lie to yourself about what the input to HHH is.
Your problem is you are stuck in a world of make-beleive where you beleive your own lies and ignore the turth.