Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory
Subject: Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable
Date: Wed, 07 May 2025 21:33:44 -0700
Organization: None to speak of
Lines: 37
Message-ID: <87zffnen6f.fsf@nosuchdomain.example.com>
References: <vv97ft$3fg66$1@dont-email.me>
	<b47c9e70d415c1e5e469aaab846f0bd05e4bcc51@i2pn2.org>
	<vvall0$o6v5$1@dont-email.me> <vvc33h$25atc$1@dont-email.me>
	<vvcgja$1voc$1@news.muc.de> <vvd6pf$34l9k$1@dont-email.me>
	<vvdads$13pc$1@news.muc.de> <vvdcld$3arjo$1@dont-email.me>
	<vvg6r9$15e69$1@dont-email.me> <vvg7uu$158tp$4@dont-email.me>
	<vvg8tk$15e69$4@dont-email.me> <vvgai8$158tp$6@dont-email.me>
	<vvgcme$15e69$9@dont-email.me> <vvgjdo$18i6e$2@dont-email.me>
	<vvgkao$18q46$1@dont-email.me> <vvgknf$18i5r$1@dont-email.me>
	<vvgl47$18q46$4@dont-email.me> <vvgm45$18i6e$4@dont-email.me>
	<vvgp6s$1a47o$3@dont-email.me> <vvh4ks$1gb9o$1@dont-email.me>
	<vvh5ka$1gjtf$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Thu, 08 May 2025 06:33:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1ef4b2b5ec94e94b8636022ae34fa37c";
	logging-data="1625354"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/lbRlx7ecdyRtJkoADZ1Yc"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:Q22dwwlA265MUD/nVrF4m0kP58o=
	sha1:Qsx+zK7rEr1u+Kx9UGgLsK5/YKQ=

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.

This:

    int sum(int x, int y) { return 12; }

is a perfectly valid C function.  You might get a non-fatal warning
that the parameter values aren't used, so you could try this equally
valid C function:

    int sum(int x, int y) { return x + y + 7; }

Perhaps I have three functions named "cogito()", "ergo()", and
"sum()", and they perform some operations that make sense in the
context of the application of which they're a part.

Since there was no reference to the name "sum" in the article to
which you replied, it's difficult to tell what point you're trying
to make.  Try making it more directly, without pretending that the
name "sum" has some meaning in the context of C.

When you make arguments based your understanding of C, you usually
get something wrong.  It creates distractions and makes it difficult
to follow your reasoning.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */