Groups | Search | Server Info | Keyboard shortcuts | Login | Register

Groups > comp.theory > #21409

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

Cross-posted to 4 groups.

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:
> On 7/2/2020 8:41 PM, Keith Thompson wrote:
>> 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.
>
> It was the return value that was the clutter that bothered me. That it
> is ill-formed on the basis of the current technical specification of
> C++ makes much more sense than saying it is incorrect when all or its
> computations are correct.
>
> I have been at this since K&R was the standard, back then main() had
> no return type. In all of the intervening years when I wanted to
> indicate that main is not returing any value "void" was the
> semantically correct return value, arbitrary standards be-damned.
>
> Saying the main() is returning int when you mean that main() is not
> returning anything is flat out not telling the truth.

Everything you said is wrong.  I'll explain if you ask me to.
If you prefer to remain ignorant that's fine with me, but I'll ask
you not to spread your ignorance to others.

As I've said, I don't know mathematical logic as well as I
know C and C++ (which, nota bena, are two different languages).
From what I do understand, your C++ program, even ignoring the
errors, doesn't demonstrate anything about mathematical logic that
couldn't be explained better by describing it in English or ordinary
mathematical notation.

> https://riptutorial.com/c/example/3675/original--hello--world---in-k-r-c

With one minor exception, that article is accurate.  (The "hello
world" program in the first edition of K&R doesn't have the
"#include <stdio.h>".)  Of course it doesn't support your claim,
so I'm not sure why you posted the link.  (Omitting a return type
didn't mean that main didn't have a return type.  It meant that
the return type was implicitly int.)

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