Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake and Liars

On 3/12/2025 5:46 PM, Richard Damon wrote:

On 3/12/25 10:50 AM, olcott wrote:

On 3/12/2025 8:03 AM, André G. Isaak wrote:

On 2025-03-11 20:29, Richard Heathfield wrote:
>

Look up "infinite". You keep using that word. I do not think it means what you think it means.

>
If you continue to engage with Olcott, you will discover that a great many words don't mean what he thinks they mean.
>
André
>

>
Incomplete[0] (base meaning)
Not having all the necessary or appropriate parts.
>
Provable[0] (base meaning)
Can be shown to be definitely true by some means.
>
>
>

 Right, and the appropriate part for logic that it is missing is the proofs of some of the statements.
 Proofs, to SHOW something, must be finite, as we can not see something that is infinite, as we are finite.
 

So then we know that G <is> TRUE because meta-math proves this.
If we are stupid enough to define a system that does not know
this then we are stupid.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer