Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic)

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 Gödel 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> (permalink)
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

Cross-posted to 4 groups.

Show key headers only | View raw

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 */

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Simply defining Gödel Incompleteness and Tarski Undefinability away V20 olcott <NoOne@NoWhere.com> - 2020-07-02 14:19 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 André G. Isaak <agisaak@gm.invalid> - 2020-07-02 13:54 -0600
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 olcott <NoOne@NoWhere.com> - 2020-07-02 15:01 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 André G. Isaak <agisaak@gm.invalid> - 2020-07-02 14:28 -0600
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) olcott <NoOne@NoWhere.com> - 2020-07-02 16:01 -0500
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 olcott <NoOne@NoWhere.com> - 2020-07-02 16:50 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 olcott <NoOne@NoWhere.com> - 2020-07-02 17:10 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) olcott <NoOne@NoWhere.com> - 2020-07-02 15:31 -0500
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) olcott <NoOne@NoWhere.com> - 2020-07-02 15:56 -0500
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 16:00 -0600
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) olcott <NoOne@NoWhere.com> - 2020-07-02 17:14 -0500
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-02 18:41 -0700
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) olcott <NoOne@NoWhere.com> - 2020-07-02 21:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-02 21:17 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) olcott <NoOne@NoWhere.com> - 2020-07-03 00:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 23:10 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 23:24 -0600
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) olcott <NoOne@NoWhere.com> - 2020-07-03 01:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 01:02 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) olcott <NoOne@NoWhere.com> - 2020-07-03 12:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Simple_Arithmetic) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:17 -0600

csiph-web