Groups | Search | Server Info | Login | Register

Groups > comp.ai.nat-lang > #2460

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?)

Subject Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?)
Newsgroups comp.theory, comp.ai.philosophy, comp.ai.nat-lang, sci.lang.semantics
References (17 earlier) <87a7001bhr.fsf@nosuchdomain.example.com> <KdKdnbB7kbtpFI3CnZ2dnUU7-S3NnZ2d@giganews.com> <87sgdrz49w.fsf@nosuchdomain.example.com> <F5qdnUiiueGBVY3CnZ2dnUU7-Q-dnZ2d@giganews.com> <fweblkecrx2.fsf@foxtrot.inf.ed.ac.uk>
From olcott <NoOne@NoWhere.com>
Date 2020-07-17 17:04 -0500
Message-ID <8uCdnfwjFfAZvY_CnZ2dnUU7-TXNnZ2d@giganews.com> (permalink)

Cross-posted to 4 groups.

Show all headers | View raw

On 7/17/2020 6:16 AM, Alan Smaill wrote:
> olcott <NoOne@NoWhere.com> writes:
> 
>> On 7/16/2020 1:46 PM, Keith Thompson wrote:
>>> olcott <NoOne@NoWhere.com> writes:
>>>> On 7/15/2020 8:42 PM, Keith Thompson wrote:
>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>> On 7/15/2020 1:04 PM, Keith Thompson wrote:
>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>> On 7/14/2020 1:25 PM, Keith Thompson wrote:
>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>> [...]
>>>>>>>>>> Since everyone here is indoctrinated into believing that Gödel
>>>>>>>>>> is correct I have to use different terms for provability so
>>>>>>>>>> that people will carefully analyze my reasoning and not simply
>>>>>>>>>> dismiss it out-of-hand on the basis of their indoctrination.
>>>>>>>>>
>>>>>>>>> It seems to me that the best way to demonstrate that Gödel is
>>>>>>>>> incorrect would be to demonstrate a flaw in what he actually
>>>>>>>>> wrote.  I haven't read everything you've written here, but I
>>>>>>>>> don't recall you ever directly quoting Gödel's proof.
>>>>>>>>
>>>>>>>> Not really. When we refute the enormously simplified key result
>>>>>>>> of his claim: true and unprovable can possibly coexist, then the
>>>>>>>> steps that he used to get to this key result are moot.
>>>>>>>
>>>>>>> You've been asserting that for years, and nobody believes you
>>>>>> https://scholar.google.com/scholar?hl=en&as_sdt=0%2C28&q=%22true+and+unprovable%22+godel&btnG=&oq=%22true+and+unprovable%22
>>>>>
>>>>> 125 results.  No, I'm not going to read them.
>>>>
>>>> 125 different people that all believe that Gödel showed that true and
>>>> unprovable formulas exists, and 125 > 0, thus "nobody believes you" is
>>>> proven to be false.
>>>
>>> Wait, what?  Is that really what you meant to say?  Gödel *did* show
>>> that true and unprovable formulas exist.  Did you omit a "not"?
>>
>> OK that is even better. I thought that he only concluded that some
>> formulas are neither provable nor disprovable.
> 
> The conclusion of his original proof (as opposed to comments elsewhere)
> is that in the system he looked at, a particular arithmetical statement
> is neither provable nor refutable (ie its negation is not
> provable).
> 
> You are disputing that claim, of course, even though it does not
> refer to truth, but only to provability in a given formal system.
> 

Apparently 126 references on Google Scholar seem to think that he proved 
more than that:

["True and unprovable" Godel]
https://scholar.google.com/scholar?hl=en&as_sdt=0%2C28&q=%22True+and+unprovable%22+godel&btnG=




-- 
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 V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-05 22:52 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-05 22:06 -0600
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-05 23:33 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-05 22:58 -0600
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-06 00:41 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-05 23:59 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-06 11:20 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 11:18 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-07 13:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 15:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 14:17 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 15:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 14:50 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 17:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 18:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 19:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Jeff Barnett <jbb@notatt.com> - 2020-07-07 19:28 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 21:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Jeff Barnett <jbb@notatt.com> - 2020-07-07 21:29 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 22:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Jeff Barnett <jbb@notatt.com> - 2020-07-08 12:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-08 14:19 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-10 08:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 08:03 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-10 09:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-10 12:41 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-10 09:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 21:52 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 23:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 22:43 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 00:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 23:39 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 00:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-08 00:14 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 10:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-08 09:50 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 11:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 11:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 11:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-09 06:56 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 11:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-09 11:33 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 23:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-10 12:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 23:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 12:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-09 07:40 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 11:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-09 12:14 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 23:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-10 11:54 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-10 14:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 16:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-10 17:20 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 16:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 09:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 09:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 09:42 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 10:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 10:55 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 11:02 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 12:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 11:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 13:04 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 12:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 15:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 14:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 15:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 15:00 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 16:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 20:19 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-11 04:20 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-11 19:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-11 18:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (TRUTH BEARER DEFINED) olcott <NoOne@NoWhere.com> - 2020-07-11 22:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (TRUTH BEARER DEFINED) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 00:37 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 11:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 12:07 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 13:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 13:36 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 15:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 16:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 15:37 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 18:04 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 17:21 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 18:53 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 18:07 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 19:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 18:58 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 23:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-13 07:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-13 09:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-13 08:47 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-13 19:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-13 09:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 13:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-11 19:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 13:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-12 14:04 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 18:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-12 17:22 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 19:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-12 19:32 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 22:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-13 08:05 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 19:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 19:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 09:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-14 08:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 10:22 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-14 09:30 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 10:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-15 11:24 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 19:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-15 20:38 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 16:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 16:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 19:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 18:40 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-13 23:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 10:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-14 09:20 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 10:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-14 09:36 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 10:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-14 11:25 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 10:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-15 11:04 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 19:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-15 18:42 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 12:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 11:46 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 16:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 15:19 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 23:19 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 22:49 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 00:34 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 01:04 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 17:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 16:16 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 18:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-18 03:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-19 11:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 11:05 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-19 12:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 11:30 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-19 12:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-19 20:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-19 15:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-19 22:23 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-20 10:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-20 10:50 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-20 12:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-21 01:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 17:04 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:09 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 [--Obvious Yet?--] olcott <NoOne@NoWhere.com> - 2020-07-13 14:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 18:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 17:46 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 09:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-14 09:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 10:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 18:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 17:52 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 21:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 20:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 22:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 00:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 00:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 10:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Chris Buckley <alan@sabir.com> - 2020-07-14 18:24 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 17:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Chris Buckley <alan@sabir.com> - 2020-07-15 18:08 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 18:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 22:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-14 17:00 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 18:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-15 02:56 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 21:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 23:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Mapping to Boolean) olcott <NoOne@NoWhere.com> - 2020-07-15 09:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-15 16:48 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 11:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-15 11:32 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 19:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 01:37 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-16 14:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 13:32 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-16 22:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 21:00 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-17 02:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 17:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 16:06 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 18:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:47 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 18:01 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 22:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 21:34 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 22:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 22:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-18 13:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 21:09 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-18 10:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-18 15:05 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:23 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 18:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 18:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 22:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 21:55 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-18 13:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-15 18:23 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 11:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 11:21 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 13:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 13:10 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 22:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 21:04 -0700
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 17:00 -0500
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:40 -0600
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 17:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-15 20:25 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 16:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 14:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 22:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 21:10 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 15:58 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 22:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 21:18 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 22:38 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 00:35 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 20:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 18:53 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-12 23:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 00:58 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-13 13:07 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 14:12 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-13 15:32 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 15:06 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-14 00:56 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-13 23:26 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 16:10 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 09:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-13 13:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-10 12:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 16:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-10 15:06 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 17:21 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-11 04:10 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-11 19:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-08 12:39 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 23:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-09 00:40 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 09:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 09:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-09 12:15 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 15:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V27 (Simple enough yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 16:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V27 (Simple enough yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-09 07:02 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V27 (Simple enough yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 11:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Shell game) olcott <NoOne@NoWhere.com> - 2020-07-08 19:04 -0500

csiph-web