Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 (axiomatic basis of truth)

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 V21 (axiomatic basis of truth)
Date	Sun, 05 Jul 2020 17:13:22 -0700
Organization	None to speak of
Lines	19
Message-ID	<87v9j1bivx.fsf@nosuchdomain.example.com> (permalink)
References	<TKydnUzgKLe6LZ3CnZ2dnUU7-S_NnZ2d@giganews.com> <rdqhbj$fnp$1@dont-email.me> <_MGdnVMFZeIeaZ3CnZ2dnUU7-WHNnZ2d@giganews.com> <rdsjtm$tv0$1@dont-email.me> <P-OdnXX34sv9b5zCnZ2dnUU7-V_NnZ2d@giganews.com> <rdsv3j$2hb$1@dont-email.me> <prGdnfpbksBxn5_CnZ2dnUU7-XPNnZ2d@giganews.com> <rdt0i2$bkg$1@dont-email.me> <062dnStm3f22g5_CnZ2dnUU7-fvNnZ2d@giganews.com> <rdt737$ku2$1@dont-email.me> <iu-dnY-t4_Xsv5_CnZ2dnUU7-XmdnZ2d@giganews.com> <rdt8tn$va9$1@dont-email.me> <XZednQ6FvN2kqp_CnZ2dnUU7-TWdnZ2d@giganews.com> <rdte6g$ts$1@dont-email.me> <KK6dnaA0KPP-3J_CnZ2dnUU7-NnNnZ2d@giganews.com> <d884fc00-3310-45d1-a032-4d1816a24f55o@googlegroups.com> <l_ydnZRkoLaExJ_CnZ2dnUU7-RnNnZ2d@giganews.com>
Mime-Version	1.0
Content-Type	text/plain
Injection-Info	reader02.eternal-september.org; posting-host="40782449c3944e27d96f0e3a01ea599f"; logging-data="13515"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/wHDDg8psnddNADU53+Z+1"
User-Agent	Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
Cancel-Lock	sha1:j09vOwHVqPg1gog3PuynSQRN5/o= sha1:InQIJZHzMvbKcdTaDMbqv7Q2gAg=
Xref	csiph.com comp.theory:21462 comp.ai.philosophy:21657 comp.ai.nat-lang:2217

Cross-posted to 4 groups.

Show key headers only | View raw

olcott <NoOne@NoWhere.com> writes:
> On 7/5/2020 5:28 PM, David Kleinecke wrote:
[...]
>> Then Goedel showed that that there were propositions that were true
>> but not provable.
>
> He could not have possibly shown this because the lack of provability
> makes the expression unsound thus untrue.

x+y=y+x is not provable in Q (Robinson arithmetic).  Do you conclude
that x+y=y+x is false in Q?

I presume you don't, but then I wonder how you reconcile that with your
statement.

-- 
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 V21 olcott <NoOne@NoWhere.com> - 2020-07-04 11:36 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 André G. Isaak <agisaak@gm.invalid> - 2020-07-04 12:21 -0600
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-04 16:28 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 André G. Isaak <agisaak@gm.invalid> - 2020-07-05 07:17 -0600
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-05 10:31 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 André G. Isaak <agisaak@gm.invalid> - 2020-07-05 10:28 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-05 11:42 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 André G. Isaak <agisaak@gm.invalid> - 2020-07-05 10:53 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-05 13:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 André G. Isaak <agisaak@gm.invalid> - 2020-07-05 12:44 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-05 13:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 André G. Isaak <agisaak@gm.invalid> - 2020-07-05 13:16 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-05 15:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 André G. Isaak <agisaak@gm.invalid> - 2020-07-05 14:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-05 16:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 David Kleinecke <dkleinecke@gmail.com> - 2020-07-05 15:28 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-05 17:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 (axiomatic basis of truth) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-05 17:13 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-05 20:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-05 20:46 -0600
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-04 17:39 -0500
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V21 olcott <NoOne@NoWhere.com> - 2020-07-05 13:15 -0500

csiph-web