Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory,comp.ai.philosophy,comp.ai.nat-lang,sci.lang.semantics
Subject: Re: Simply defining =?utf-8?Q?G=C3=B6del?= Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic)
Date: Thu, 02 Jul 2020 18:41:43 -0700
Organization: None to speak of
Lines: 28
Message-ID: <87eeptcr3c.fsf@nosuchdomain.example.com>
References: <QYqdne2udKHUrmPDnZ2dnUU7-evNnZ2d@giganews.com> <rdle1p$haf$1@dont-email.me> <MLCdnSmK2a-RoGPDnZ2dnUU7-dfNnZ2d@giganews.com> <DrKdnSFFdoqZ2WPDnZ2dnUU7-R_NnZ2d@giganews.com> <rdlleq$tee$1@dont-email.me> <Xu6dnS2UHtvbwWPDnZ2dnUU7-RudnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org; posting-host="1ef898f1b8a9b60de66c956fd6f829e5"; logging-data="27699"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18HhWVXanlydTJt6Di8Sn4Q"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
Cancel-Lock: sha1:UraqzNy9O+249KOkiqDFYq9YOcs= sha1:dh/Uf/fEYiN2KT+a2J8/aBq0vGc=
Xref: csiph.com comp.theory:21405 comp.ai.philosophy:21473 comp.ai.nat-lang:2161

olcott <NoOne@NoWhere.com> writes:
[...]
> // main() returns void to reduce clutter
> void main(int argc, char *argv[])
> {
[...]
> }

In C++, defining main() with a return type of void does not "reduce
clutter".  It makes your program ill-formed.  I told you about
this several months ago, and you claimed it was "not a mistake".
It is a mistake, and all you'd have to do to correct it is change
"void" to "int".  (You don't even have to add a return statement.)

By making elementary mistakes like this and refusing to acknowledge
or correct them, you give the impression that you don't know what
you're talking about.  I don't know symbolic logic as well as I know
C++, so I can't directly confirm that you're doing the same thing
with your claims about Gödel incompleteness, but that's certainly
the impression I've gotten.

I do not expect that pointing this out to you will cause you to
change your mind.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
Working, but not speaking, for Philips Healthcare
void Void(void) { Void(); } /* The recursive call of the void */