Groups | Search | Server Info | Login | Register

Groups > comp.theory > #21593

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF)

From André G. Isaak <agisaak@gm.invalid>
Newsgroups comp.theory, comp.ai.philosophy, comp.ai.nat-lang, sci.lang.semantics
Subject Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF)
Date 2020-07-12 15:37 -0600
Organization Christians and Atheists United Against Creeping Agnosticism
Message-ID <refvr8$u4r$1@dont-email.me> (permalink)
References (19 earlier) <refjgj$ktj$1@dont-email.me> <HO2dneR3Eb4AxpbCnZ2dnUU7-LnNnZ2d@giganews.com> <refonq$k2f$1@dont-email.me> <N-OdnW-K3faQ7pbCnZ2dnUU7-R3NnZ2d@giganews.com> <bcmdneYz_-oD4pbCnZ2dnUU7-IfNnZ2d@giganews.com>

Cross-posted to 4 groups.

Show all headers | View raw

On 2020-07-12 15:24, olcott wrote:
> On 7/12/2020 3:31 PM, olcott wrote:
>> On 7/12/2020 2:36 PM, André G. Isaak wrote:
>>> On 2020-07-12 12:51, olcott wrote:

>>>> ∀x ∀y (x + y = y + x) is neither true nor false in Q because it 
>>>> lacks an interpretation in Q.
>>>
>>> Which makes no sense at all unless you are using the term 
>>> 'interpretation' in some manner completely removed from its meaning 
>>> in logic.
>>>
>>> André
>>>
>>
>> ∀x(Ix → Dx) (where D = dairy product and I = ice cream) is a simple, 
>> straightforward example of a contingent statement.
>>
>> ∀x(Ix → Dx) (where D and I have not been defined) is neither true nor 
>> false in FOL.
> 
> The above example proves that the following definition is correct:

How on earth is an example supposed to prove a definition?

>      Interpretation (logic)
>      An interpretation is an assignment of meaning to the
>      [non-logical] symbols of a formal language.
>      https://en.wikipedia.org/wiki/Interpretation_(logic)
> 
> If "I" was defined as interest rates are high and "D" was defined as 
> Dogs are cats then ∀x(Ix → Dx) would be false.

And again, what you write above makes it clear that you do not 
understand what 'interpretation' means in logic. You have cited a 
definition, but you have failed to understand what that definition 
means. Again, if you want to learn this stuff, you need to approach this 
*systematically*. That means learning it from beginning to end. Not 
jumping around at random from wiki page to wiki page where you lack the 
background to even grasp what those pages mean.

And you have once again demonstrated that you don't even understand the 
basic syntax of FOL (If D ='Dogs are cats', then D is a propositional 
variable, not a predicate. Dx wouldn't even be well-formed).

André

-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.

Back to comp.theory | 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 ⊬ φ) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-10 10:39 +0100
                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 (NATURE OF TRUTH ITSELF) David Kleinecke <dkleinecke@gmail.com> - 2020-07-12 17:28 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 19:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-10 19:21 +0100
                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?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-11 12:25 +0100
                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?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-12 14:10 +0100
                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-17 22:01 -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 17:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-18 12:43 -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-18 15:08 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-18 20:28 -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 03:45 +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?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-20 02:44 +0100
                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-20 21: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-20 19:59 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-21 10:44 -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-21 10:00 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-21 19:50 -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-21 17:57 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-22 09:07 -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-22 02:03 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-22 09:03 -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-23 00:30 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-22 09:06 -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?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-17 12:16 +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 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-18 00:22 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-13 13:05 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 10:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-13 20:01 +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 12:24 -0700
                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?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-13 23:42 +0100
                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?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-14 01:26 +0100
                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?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-14 20:30 -0700
                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 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 22:12 -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 16:05 +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-16 21:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-17 03:54 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-16 23:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-17 11:36 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 11:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) David Kleinecke <dkleinecke@gmail.com> - 2020-07-17 11:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 14:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-17 20:28 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 16:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-17 20:26 +0000
                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 (Membership algorithm) David Kleinecke <dkleinecke@gmail.com> - 2020-07-17 22:12 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 14:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-18 02:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 21:53 -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ödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-17 12:10 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) R Kym Horsell <kym@kymhorsell.com> - 2020-07-17 11:50 +0000
                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?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-18 00:30 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) R Kym Horsell <kym@kymhorsell.com> - 2020-07-18 02:21 +0000
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-18 16:19 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 22:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-18 16:12 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-18 11: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-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 18:44 -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:16 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 19:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-15 17:44 -0700
                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?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 02:19 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 22:20 -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 16:08 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 14: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-16 13:12 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 22:37 -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?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-13 21:38 -0700
                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?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-13 22:26 -0700
                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?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-14 14:41 +0100
                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?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-12 17:30 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 19:50 -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?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-10 15:58 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 18:01 -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