Groups | Search | Server Info | Login | Register

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism)

Subject	Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism)
Newsgroups	comp.theory, comp.ai.philosophy, comp.ai.nat-lang, sci.lang.semantics
References	(15 earlier) <O9adnTffMaNLyGTDnZ2dnUU7-fHNnZ2d@giganews.com> <rdbn2e$86f$1@dont-email.me> <rdbouv$fkb$1@dont-email.me> <ceidnYEQy_cFHWTDnZ2dnUU7-V3NnZ2d@giganews.com> <rdbvrq$e4l$1@dont-email.me>
From	olcott <NoOne@NoWhere.com>
Date	2020-06-29 13:28 -0500
Message-ID	<6fmdncE4EZRLr2fDnZ2dnUU7-THNnZ2d@giganews.com> (permalink)

Cross-posted to 4 groups.

Show all headers | View raw

On 6/29/2020 12:57 AM, André G. Isaak wrote:
> On 2020-06-28 23:48, olcott wrote:
>> On 6/28/2020 10:59 PM, André G. Isaak wrote:
>>> On 2020-06-28 21:27, André G. Isaak wrote:
>>>> On 2020-06-28 20:45, olcott wrote:
>>>
>>>>> Not being able to prove that self contradictory WFF are true is not 
>>>>> kind of {not having all the necessary or appropriate parts} and 
>>>>> never has been.
>>>>
>>>> That's the second time you used that expression. What is that even 
>>>> supposed to mean? It isn't English.
>>>
>>> Reflecting on this further, it seems like you are objecting to the 
>>> fact that 'incompleteness' doesn't mean "not having all the necessary 
>>> or appropriate parts" as in "the construction kit I purchased was 
>>> incomplete -- it was missing three parts". (though why you use braces 
>>> is beyond me).
>>>
>>> 'Incompleteness' in mathematics is a technical term. It has never 
>>> meant, nor has it ever been claimed to mean 'not having all the 
>>> necessary or appropriate parts'.
>>>
>>> When a mathematician talks about 'fields', they mean something 
>>> entirely different than what a farmer or physicist means.
>>>
>>> When a mathematician talks about 'rings', they mean something 
>>> entirely different than what a jeweler means.
>>>
>>> When a rock musician talks about an 'axe', they mean something 
>>> entirely different from what a lumberjack means.
>>>
>>> If you want to talk about math, you need to use terms *as 
>>> mathematicians* use those terms. Usages in other domains are entirely 
>>> irrelevant.
>>>
>>> André
>>>
>>
>> What do you think that it does mean?
> 
> A formal system is complete if every true statement can be derived as a 
> theorem.
> 

So then is this true or false?
∃T ∈ Formal_Systems ∃φ ∈ WFF(T) ((T ⊬ φ) ∧ (T ⊬ ¬φ))



-- 
Copyright 2020 Pete Olcott

Back to comp.ai.nat-lang | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-26 20:03 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:04 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:14 -0500
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:58 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 17:09 -0500
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 20:15 -0500
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-28 16:32 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-28 21:45 -0500
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 21:27 -0600
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 21:59 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 00:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 23:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 13:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 12:33 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 14:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 13:52 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 15:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 14:14 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 15:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 15:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 17:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 21:21 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 01:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 00:24 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 16:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 16:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 18:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 18:15 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 19:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 19:18 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 20:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 20:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 21:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 20:54 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-01 11:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-01 10:35 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-01 17:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-01 22:47 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 07:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 10:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 10:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 13:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 13:37 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 09:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 15:06 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 10:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 22:52 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 18:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 23:48 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 18:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 22:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 23:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 00:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 23:43 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 12:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:19 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:21 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:33 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:07 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:56 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 14:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:38 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 15:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 22:54 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-04 08:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 08:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-04 10:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 09:31 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) olcott <NoOne@NoWhere.com> - 2020-07-04 14:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 15:17 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) olcott <NoOne@NoWhere.com> - 2020-07-04 17:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-05 13:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-05 16:40 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-05 23:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-06 00:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-06 10:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 10:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 13:55 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-06 11:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 11:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:22 -0500

csiph-web