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

On 5/7/2025 11:33 PM, Keith Thompson wrote:

olcott <polcott333@gmail.com> writes:
[...]

You are essentially asking sum(3,2) to return the
sum of 5 + 7. Can you see how asking sum(3,2)
to return the sum of 5 + 7 is incorrect according
to the rules of arithmetic?

>
"sum" is a valid C identifier.  Nothing in the rules of C says
that naming a function "sum" is incorrect, regardless of what that
function does.
>

I explained it better the first fifty times I said it.