Groups | Search | Server Info | Keyboard shortcuts | Login | Register

Groups > comp.theory > #22129

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined)

From Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups comp.theory
Subject Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined)
Date 2020-08-05 21:32 +0100
Organization A noiseless patient Spider
Message-ID <873650esv8.fsf@bsb.me.uk> (permalink)
References (12 earlier) <MrOdncfgdofNnLfCnZ2dnUU7-eWdnZ2d@giganews.com> <87r1slgaum.fsf@bsb.me.uk> <JOadnVA8yoVNqbfCnZ2dnUU7-RPNnZ2d@giganews.com> <87h7thfh2t.fsf@bsb.me.uk> <xsOdnY50F-kKa7fCnZ2dnUU7-bXNnZ2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> On 8/5/2020 6:49 AM, Ben Bacarisse wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 8/4/2020 8:06 PM, Ben Bacarisse wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 8/4/2020 7:40 PM, Ben Bacarisse wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> On 8/4/2020 2:44 PM, Ben Bacarisse wrote:
>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>
>>>>>>>>> On 8/4/2020 9:47 AM, Ben Bacarisse wrote:
>>>>>>>> <cut>
>>>>>>>>>> There are no sentences that meet your definition of "semantically
>>>>>>>>>> incorrect".
>>>>>>>>>
>>>>>>>>> There is no such thing as a self-conradictory sentence?
>>>>>>>>
>>>>>>>> There are no sentences that meet your definition of "semantically
>>>>>>>> incorrect" unless you've changed it in the last few hours:
>>>>>>>>
>>>>>>>>       "A semantically incorrect logic sentence φ will be defined as a closed
>>>>>>>>       WFF having no interpretation that satisfies either φ or ¬φ."
>>>>>>>>
>>>>>>>> Whatever it is you are trying to say, you need to say it using words you
>>>>>>>> understand.
>>>>>>>
>>>>>>> Do you understand what a self-contradictory sentence is? (Yes or No)
>>>>>>
>>>>>> Yes.
>>>>>
>>>>> Great !
>>>>>
>>>>>> The first two quoted comments show that you are using the term as
>>>>>> a synonym for your earlier phrase "semantically incorrect" which has,
>>>>>> for you, a remarkably exact technical meaning.
>>>>>>
>>>>>> Do you understand what a sentence φ having no interpretation that
>>>>>> satisfies either φ or ¬φ is?  (yes or no)
>>>>
>>>> You did not give the requested yes/no answer to my question.  Is that
>>>> something only you are allowed to ask for?
>>>
>>> Instead of answering Yes or No I provided an example.
>>
>> OK.  I won't comply either if you are ever so rude as to demand a yes/no
>> answer again.
>>
>>>>> Every formalized self-contradictory sentence would be one class of
>>>>> sentences that match that criteria.
>>>>
>>>> Yes, I know you are using the terms as near synonyms.  All that means is
>>>> there is another name for these sentences that don't exist.
>>>
>>> So you are saying that formalized self-contradictory sentences do not
>>> exist? Tarski's whole proof is based on one.
>>
>> I am saying that your most recent definition is worse than all the
>> previous ones because other people know what the words you used mean,
>> even if you don't.  Other people will know that there are no
>> "semantically incorrect" sentences as you have specified them.

> All logical propositions have distinctly different separate parts that
> make the evaluation of their truth conditions impossible when these
> parts are conflated together.

This is a significant improvement.  It's unlikely that anyone will
understand this.  They might even think you are talking about logical
propositions!

> (a) Proposition assertion
> (b) Satisfaction of Proposition assertion
> (c) Satisfaction of Proposition
>
> "This sentence is not true" is neither true nor false.
>
> (a) S.Assertion = ~True(S)
> (b) Satisfied(S.Assertion) == TRUE
> (c) Satisfied(S) == FALSE
>
> The fact that its assertion is satisfied makes it not false, the
> sentence is indeed not true.

Good.  I am almost certain that no one will know what you ae talking
about.  I'm certain they won't think you mean sentences in a formal
first-order theory so you are home and dry.  You are "not even wrong".

It would have been a better resolution if you had acknowledged the error
in your original post but now that you've moved into waffle territory I
doubt you'll want to go back to using well-defined terms.

> The truth of its assertion cannot be applied to the whole sentence
> because this forms self-contradiction.
>
>> For a while you seemed to want to know what the words you used mean.
>> Why did you change your mind?
>
> I am still proceeding on this separately. This diverges from
> Mendelson's view quite a bit. A predicate symbol maps to a Boolean
> value and not to a relation.
>
> An interpretation of first-order logic consists of a non-empty domain
> D and mappings for function and predicate symbols. Every n-place
> function symbol is mapped to a function from Dⁿ to D, and every
> n-place predicate symbol is mapped to a function from Dⁿ to the set
> comprised of two values true and false.
> https://mathworld.wolfram.com/Interpretation.html

Good luck.  You need to be a strong student to juggle more than one way
of doing it, especially as mathworld won't explain any details.

>> If you stop using "self-contradictory sentence" as a synonym for this
>> new and unfortunately unambiguous definition, and go back using it as a
>> vague ill-defined term, you will be able to carry on waffling about this
>> topic without fear of being understood.
>
> I think that I have used a reasonable approximation of conventional
> terminology to explain additional details of the notion of a
> semantically incorrect sentence.

No more detail is needed: there are none (as you originally defined
them).  Now that you are going on about propositions and impossible
truth conditions and using made-up math-a-like notations you could be
defining almost anything.

> It is very difficult to use connventional terminology correctly when
> established standards for the meaning of these terms diverge from one
> another.

Yes, I can imagine.  I'd counsel against doing so.  But most
mathematicians will pick up on another expert's way of doing this in a
few moments.

-- 
Ben.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-03 13:17 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-04 01:57 +0100
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-03 20:07 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-04 02:45 +0100
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-03 21:00 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-04 04:05 +0100
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-03 23:29 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-04 00:11 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-04 01:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-04 01:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-04 09:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-04 09:30 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-04 11:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-04 19:35 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-04 23:30 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-04 23:10 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 00:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-05 00:44 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 13:04 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-05 19:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 21:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-05 20:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 22:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-05 21:37 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 22:34 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-04 15:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-04 09:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-04 20:44 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-04 14:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-05 01:40 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-04 19:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-05 02:06 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-04 23:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-05 12:49 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 13:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-05 21:32 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 16:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-05 23:48 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 20:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-06 03:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-05 22:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-06 11:48 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-06 10:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-06 20:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-06 15:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-06 23:03 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-06 18:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-07 02:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 10:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-07 17:12 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 11:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-07 16:55 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 12:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-07 11:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 12:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-07 12:24 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 14:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-07 20:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 23:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-08 01:01 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-07 11:29 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 14:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-07 13:24 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 16:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 17:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 17:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-07 15:43 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Andy Walker <anw@cuboid.co.uk> - 2020-08-08 11:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 12:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-07 23:41 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 18:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 00:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 19:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 01:50 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 20:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-07 20:21 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 03:53 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 13:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 23:06 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 00:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-08 00:03 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 14:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-08 13:42 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 03:30 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Jeff Barnett <jbb@notatt.com> - 2020-08-07 23:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 13:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 20:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 14:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 23:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-08 13:38 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 15:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 19:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-09 01:32 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 19:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-09 02:25 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 21:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Jeff Barnett <jbb@notatt.com> - 2020-08-08 23:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-09 17:27 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 12:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-09 21:57 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 16:30 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 14:44 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 17:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-10 00:16 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 20:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-10 03:08 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 21:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-10 15:02 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 10:19 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-10 16:42 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing machine) olcott <NoOne@NoWhere.com> - 2020-08-10 11:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing machine) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-11 00:35 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 18:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 18:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 18:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-11 03:49 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-11 15:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-11 22:16 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-11 16:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-11 14:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-11 17:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-12 00:53 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-11 20:04 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Jeff Barnett <jbb@notatt.com> - 2020-08-11 21:25 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-11 22:56 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-12 13:40 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 09:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-12 16:47 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 12:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-12 18:25 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 14:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-12 15:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-12 17:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-12 21:36 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 15:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-12 23:00 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 17:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 01:21 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 19:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-12 18:36 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 21:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 04:25 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 22:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-13 02:56 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 10:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-13 10:51 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 12:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-13 12:03 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 14:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-13 22:02 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 11:50 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 10:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 20:38 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 14:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 23:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-14 09:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 22:23 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) olcott <NoOne@NoWhere.com> - 2020-08-14 15:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) David Kleinecke <dkleinecke@gmail.com> - 2020-08-14 14:28 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) olcott <NoOne@NoWhere.com> - 2020-08-14 17:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) David Kleinecke <dkleinecke@gmail.com> - 2020-08-14 17:58 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) olcott <NoOne@NoWhere.com> - 2020-08-14 20:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) David Kleinecke <dkleinecke@gmail.com> - 2020-08-14 21:03 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) olcott <NoOne@NoWhere.com> - 2020-08-14 23:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) olcott <NoOne@NoWhere.com> - 2020-08-15 00:17 -0500
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V37 (Decidability) R Kym Horsell <kym@kymhorsell.com> - 2020-08-14 23:35 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 22:56 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Decidability) olcott <NoOne@NoWhere.com> - 2020-08-14 18:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 16:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-13 15:02 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 17:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 00:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-14 10:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 22:33 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 00:01 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 22:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 13:50 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-13 03:00 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35? (Gödel) olcott <NoOne@NoWhere.com> - 2020-08-13 10:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-11 20:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-11 22:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-11 22:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 00:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-11 23:14 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 08:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-12 01:35 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 09:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-12 08:40 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 09:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-12 09:00 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 10:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-12 09:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 11:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-12 16:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 10:30 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-12 22:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 17:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 00:39 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 19:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 04:11 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-12 22:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 00:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 11:16 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-13 10:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-13 11:34 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-13 12:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 14:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 20:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 15:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 23:41 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 21:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 11:05 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-13 14:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 22:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-13 16:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-13 23:44 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-13 21:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 11:29 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Andy Walker <anw@cuboid.co.uk> - 2020-08-14 12:34 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 13:59 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Andy Walker <anw@cuboid.co.uk> - 2020-08-14 16:41 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) olcott <NoOne@NoWhere.com> - 2020-08-14 12:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 00:48 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) olcott <NoOne@NoWhere.com> - 2020-08-14 19:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 02:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) olcott <NoOne@NoWhere.com> - 2020-08-14 23:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 17:49 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) olcott <NoOne@NoWhere.com> - 2020-08-15 14:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 22:34 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) olcott <NoOne@NoWhere.com> - 2020-08-15 16:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V38 (x86 is Turing Complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 23:40 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-14 21:27 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Andy Walker <anw@cuboid.co.uk> - 2020-08-15 12:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (X86 is Turing Complete) olcott <NoOne@NoWhere.com> - 2020-08-15 09:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 17:25 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-15 12:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 20:31 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Jeff Barnett <jbb@notatt.com> - 2020-08-15 13:38 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-15 14:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Andy Walker <anw@cuboid.co.uk> - 2020-08-15 21:23 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 22:05 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Andy Walker <anw@cuboid.co.uk> - 2020-08-16 00:33 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-16 02:07 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Jeff Barnett <jbb@notatt.com> - 2020-08-15 16:04 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V39 (x86 is Turing Complete) olcott <NoOne@NoWhere.com> - 2020-08-14 13:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-13 15:14 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-13 18:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) David Kleinecke <dkleinecke@gmail.com> - 2020-08-13 16:26 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based UTM) olcott <NoOne@NoWhere.com> - 2020-08-13 18:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-14 17:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 01:05 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-15 00:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 20:22 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-15 16:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-15 22:59 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-15 17:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-16 02:36 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-15 21:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-16 13:23 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-16 10:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-16 17:41 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-16 12:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-16 20:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-16 14:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-16 20:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V40 (x86 is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-16 15:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V40 (x86 is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-16 22:23 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-16 16:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-17 00:07 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-16 18:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] André G. Isaak <agisaak@gm.invalid> - 2020-08-17 00:44 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-17 10:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] André G. Isaak <agisaak@gm.invalid> - 2020-08-17 09:35 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-17 12:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-17 10:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-17 13:21 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-17 12:19 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-17 16:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-17 18:12 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-17 13:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-17 16:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-21 00:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-23 16:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-23 14:49 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-23 17:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-23 17:08 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-23 20:19 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-23 20:47 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-23 23:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-23 22:47 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-24 01:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-24 00:30 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-24 10:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE André G. Isaak <agisaak@gm.invalid> - 2020-08-24 11:40 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-24 13:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE André G. Isaak <agisaak@gm.invalid> - 2020-08-24 13:23 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-24 16:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE André G. Isaak <agisaak@gm.invalid> - 2020-08-24 20:30 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-25 09:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE André G. Isaak <agisaak@gm.invalid> - 2020-08-25 08:56 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-25 10:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE André G. Isaak <agisaak@gm.invalid> - 2020-08-25 09:59 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-25 12:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE André G. Isaak <agisaak@gm.invalid> - 2020-08-25 12:39 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] ROOKIE MISTAKE olcott <NoOne@NoWhere.com> - 2020-08-25 14:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete] olcott <NoOne@NoWhere.com> - 2020-08-17 20:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-16 16:01 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-16 18:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (x86 is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-20 19:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-21 00:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-21 11:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (x86 Turing is complete) olcott <NoOne@NoWhere.com> - 2020-08-21 09:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (x86 Turing is complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-21 12:17 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (x86 Turing is complete) olcott <NoOne@NoWhere.com> - 2020-08-21 13:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (x86 Turing is complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-21 14:14 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (x86 Turing is complete) olcott <NoOne@NoWhere.com> - 2020-08-21 16:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (x86 Turing is complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-22 01:10 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-21 19:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-22 03:06 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-21 21:19 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-21 19:47 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-21 22:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-21 20:12 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-21 22:22 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-21 22:19 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-22 11:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-22 10:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-22 22:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-22 17:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-22 23:36 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-22 18:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-23 02:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-22 22:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 00:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-23 13:00 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 08:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-23 16:42 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 11:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-23 22:14 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 16:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-24 01:38 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 21:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-23 21:22 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 23:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-24 00:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-24 18:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-25 01:59 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-24 20:21 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-24 21:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-25 03:54 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 01:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-25 03:37 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 09:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-25 08:34 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 11:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-25 10:28 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 12:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) André G. Isaak <agisaak@gm.invalid> - 2020-08-25 12:30 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 13:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-25 12:50 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 15:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-25 12:29 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 14:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-25 12:54 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 15:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-25 13:38 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 16:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-25 23:35 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 18:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-25 17:07 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 20:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 16:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-26 15:40 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-26 03:37 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 22:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-26 12:58 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 09:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-26 17:36 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 12:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-26 20:43 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 15:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-26 22:40 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-08-26 18:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 12:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-26 19:41 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 14:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-26 21:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 15:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-26 22:37 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 16:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Making "C" Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 14:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 10:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-23 17:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 12:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-23 22:12 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 16:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-22 16:19 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (Honest dialogue?) olcott <NoOne@NoWhere.com> - 2020-08-22 18:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (Honest dialogue?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-22 17:55 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (Honest dialogue?) olcott <NoOne@NoWhere.com> - 2020-08-22 20:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-13 07:45 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 10:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 22:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-09 22:26 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-09 23:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-09 23:28 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 00:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 00:19 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 09:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 08:34 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 10:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 09:31 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 10:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 10:31 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 12:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 11:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 12:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-10 12:27 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 18:37 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 21:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 20:41 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 22:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 21:36 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 23:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 22:22 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 00:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 22:56 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 01:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 23:20 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 09:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-10 10:55 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 13:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 18:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Wasell <usenet2020.1@wasell.eu> - 2020-08-10 16:01 +0200
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machine) olcott <NoOne@NoWhere.com> - 2020-08-10 09:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 21:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-10 12:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machine) olcott <NoOne@NoWhere.com> - 2020-08-10 09:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machine) Andy Walker <anw@cuboid.co.uk> - 2020-08-10 16:12 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machine) olcott <NoOne@NoWhere.com> - 2020-08-10 10:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Andy Walker <anw@cuboid.co.uk> - 2020-08-08 11:54 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 12:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-06 18:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-06 18:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) David Kleinecke <dkleinecke@gmail.com> - 2020-08-06 16:45 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-06 18:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-07 02:26 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-06 20:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-07 03:05 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 10:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-07 11:23 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-07 23:41 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 18:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 01:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 19:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 03:09 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 00:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 17:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-08 14:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 21:23 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-07 19:16 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-07 00:53 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 10:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-07 16:38 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 10:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-07 11:10 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 14:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-07 13:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-07 16:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-08 00:02 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-07 10:54 -0600

csiph-web