Groups | Search | Server Info | Login | Register

Groups > comp.theory > #21563

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

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 (Are we there yet?)
Date 2020-07-10 15:00 -0600
Organization Christians and Atheists United Against Creeping Agnosticism
Message-ID <reaktt$i54$1@dont-email.me> (permalink)
References (19 earlier) <RrydndCJKL46MJXCnZ2dnUU7-dvNnZ2d@giganews.com> <reab3c$jg6$1@dont-email.me> <R6Wdnfwy9qngVpXCnZ2dnUU7-cXNnZ2d@giganews.com> <reaj0c$6be$1@dont-email.me> <CdqdnSThk4FeT5XCnZ2dnUU7-XnNnZ2d@giganews.com>

Cross-posted to 4 groups.

Show all headers | View raw

On 2020-07-10 14:42, olcott wrote:
> On 7/10/2020 3:27 PM, André G. Isaak wrote:
>> On 2020-07-10 14:11, olcott wrote:
>>> On 7/10/2020 1:12 PM, André G. Isaak wrote:
>>>> On 2020-07-10 12:04, olcott wrote:
>>>>> On 7/10/2020 12:27 PM, André G. Isaak wrote:
>>>>>> On 2020-07-10 11:16, olcott wrote:
>>>>>>> On 7/10/2020 11:55 AM, André G. Isaak wrote:
>>>>>>>> On 2020-07-10 09:54, olcott wrote:
>>>>>>>>> On 7/10/2020 10:42 AM, André G. Isaak wrote:
>>>>>>>>>> On 2020-07-10 08:29, olcott wrote:
>>>>>>>>>>> Correction
>>>>>>>>>>>
>>>>>>>>>>> On 7/10/2020 8:41 AM, olcott wrote:
>>>>>>>>>>> ∃x ∃y (Q ⊢ "x + y = y + x") would seem to be unsatisfiable in Q.
>>>>>>>>>>> ∃x ∃y ¬(Q ⊢ "x + y = y + x") would also seem to be 
>>>>>>>>>>> unsatisfiable in Q.
>>>>>>>>>>> ∴ Q is incomplete relative to the commutative property of 
>>>>>>>>>>> addition.
>>>>>>>>>>>
>>>>>>>>>>> The only aspect of this that I am unsure of is whether or not 
>>>>>>>>>>> my use of the technical term unsatisfiable corresponds to its 
>>>>>>>>>>> conventional use.
>>>>>>>>>>
>>>>>>>>>> Since you clearly don't understand the term, why insist on 
>>>>>>>>>> using it?
>>>>>>>>>>
>>>>>>>>>> It makes sense to ask whether some proposition φ is 
>>>>>>>>>> satisfiable. It makes no sense to ask whether ⊢φ is satisfiable.
>>>>>>>>>>
>>>>>>>>>> André
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Because when I ask:
>>>>>>>>>
>>>>>>>>> Is this expression true in Q?
>>>>>>>>> ∃x ∃y (Q ⊢ "x + y = y + x") people generally tell me that I am 
>>>>>>>>> saying it incorrectly as if there is no such thing as true in Q 
>>>>>>>>> until we say it using model theory.
>>>>>>>> Who are 'most people'? Are you true they aren't pointing out 
>>>>>>>> that what you are actually trying to say is:
>>>>>>>>
>>>>>>>> Q ⊢ (∃x ∃y (x + y = y + x))
>>>>>>>>
>>>>>>>> (with the ⊢ actually in the correct place and without the 
>>>>>>>> meaningless quotation marks)?
>>>>>>>>
>>>>>>>> Except that presumably isn't what you're trying to say because 
>>>>>>>> that is trivially provable in Q, and we were talking about 
>>>>>>>> statements that weren't provable in Q.
>>>>>>>
>>>>>>> This means that either your paraphrase or my statement or both 
>>>>>>> does not express this meaning:
>>>>>>
>>>>>> Mine wasn't a paraphrase. It was a syntactic correction, which 
>>>>>> apparently you ignored since you keep putting the Q ⊢ in the wrong 
>>>>>> place.
>>>>>>
>>>>>>> https://math.stackexchange.com/questions/998359/robinson-arithmetic-and-its-incompleteness 
>>>>>>>
>>>>>>>
>>>>>>> Wikipedia in Italian has a sketch-of-proof that Robinson 
>>>>>>> arithmetic is not complete, since commutativity of addition is 
>>>>>>> undecidable.
>>>>>>>
>>>>>>> This seems much closer:
>>>>>>> ∃x ∈ N ∃y ∈ N (Q ⊢ (x + y = y + x))
>>>>>>> ∃x ∈ N ∃y ∈ N (Q ⊢ (x + y != y + x))
>>>>>>
>>>>>> Why don't you actually *think* about things instead of just 
>>>>>> randomly making minor changes to your formulae. If you want to 
>>>>>> express the fact that commutativity is not provable in Q, the 
>>>>>> correct expression would be:
>>>>>>
>>>>>> Q ⊬ (∀x ∀y (x + y = y + x))
>>>>> Yes that makes sense. That is a good way to say it.
>>>>> I need to translate that into this form: ∃φ (φ ↔ T ⊬ φ)
>>>>>
>>>>> φ = (∀x ∀y (x + y = y + x))
>>>>> Q ⊬ φ // This is true in Q
>>>>> ∴ φ ↔ Q ⊬ φ is not true in Q
>>>>
>>>> Here's a suggestion. You keep mentioning Mendelson. While I am not 
>>>> sure, I am assuming that this is a reference to Elliot Mendelson's 
>>>> Intro to Mathematical Logic, which suggests you have access to a 
>>>> copy of this.
>>>>
>>>> Why don't you actually try reading this book STARTING AT THE 
>>>> BEGINNING. You will notice that most chapters contain exercises. 
>>>> When you reach such exercises, do not continue further until you can 
>>>> actually successfully do all of those exercises and are confident 
>>>> you have done them correctly. (I'm sure you can find a key online to 
>>>> verify your solutions).
>>>>
>>>> This way you might actually learn how to use logical notation 
>>>> correctly, as well as learning some actual logic in the process. 
>>>> Once you have completed the entire book, then perhaps you will be 
>>>> able to say exactly what it is that you are trying to say in a way 
>>>> that will be comprehensible to others.
>>>>
>>>> André
>>>>
>>>
>>> It all boils down to two key things:
>>> (1) I need to express ideas that are inexpressible in conventional 
>>> notation
>>
>> Since you don't know the conventional notation, you have no basis for 
>> saying that.
>>
>>> (2) I need to express ideas of mathematical logic at a very much 
>>> higher level of abstraction than can be expressed using conventional 
>>> notion.
>>>
>>> These are better than Mendelson's definitions because his do not 
>>> simultaneously apply to every level of logic and every notion of a 
>>> formal system.
>>>
>>>      Satisfiability
>>>      A formula is satisfiable if it is possible to find an 
>>> interpretation
>>>      (model) that makes the formula true.
>>>      https://en.wikipedia.org/wiki/Satisfiability
>>>
>>>      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)
>>>
>>>      Model theory
>>>      A model of a theory is a structure (e.g. an interpretation)
>>>      that satisfies the sentences of that theory.
>>>      https://en.wikipedia.org/wiki/Model_theory
>>>
>>> Within the above definitions:
>>> This sentence ∃φ (φ ↔ T ⊬ φ) really is unsatisfiable in every model 
>>> including every model of arithmetic.
>>>
>>> When you tried to provide a counter-example you chopped off the 
>>> existential quantifier making the strawman error.
>>
>> if φ ↔ T ⊬ φ is provable, than ∃φ (φ ↔ T ⊬ φ) is also provable. The 
>> first implies the second. I don't know what magic you think that 
>> existential quantifier performs, but it isn't whatever you think it is.
> 
> φ ↔ T ⊬ φ is provably unprovbale in the meta theory simply because this: 
> ∃φ (φ ↔ T ⊬ φ) is false in the theory.

φ ↔ T ⊬ φ *isn't* "provably unprovable" in the metatheory or anywhere else.

∃φ (φ ↔ T ⊬ φ) is *true* in the metatheory because there is some φ such 
that φ ↔ T ⊬ φ is *true*, also in the metatheory. That's because φ is 
true in the theory, but not provable in the theory.

You really have absolutely no idea what you are talking about, do you?

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