Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #22552

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete)

From Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups comp.theory
Subject Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete)
Date 2020-08-24 01:38 +0100
Organization A noiseless patient Spider
Message-ID <87eenw27zx.fsf@bsb.me.uk> (permalink)
References (16 earlier) <nJ6dnQKhW7bh6d_CnZ2dnUU7-UXNnZ2d@giganews.com> <871rjx2wt3.fsf@bsb.me.uk> <qYadndgvRpvYB9_CnZ2dnUU7-evNnZ2d@giganews.com> <87k0xp12w4.fsf@bsb.me.uk> <ytSdnSIh9dV8ft_CnZ2dnUU7-NnNnZ2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> On 8/23/2020 4:14 PM, Ben Bacarisse wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 8/23/2020 10:42 AM, Ben Bacarisse wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>> <cut>
>>>>> In other words you continue to refrain from agreeing this this is true:
>>>>>
>>>>> If the implementation detail of the memory architecture of the x86
>>>>> language was an unlimited sequence of contiguous 4GB blocks and the
>>>>> absolute addressing modes of the 86 language only referred to
>>>>> addresses within the current 4GB block then it becomes rather obvious
>>>>> that the x86 language exactly as it currently exists specifies access
>>>>> to unlimited memory.
>>>>
>>>> The antecedent is false,
>>>
>>> You and I both know that implementation details are not a part of an
>>> abstract model of computation itself.
>>
>> We do.
>>
>>> You and I both know that the capability of moving a tape head forward
>>> relative to its current location an unlimited number of times would
>>> define access to unlimited storage.
>>
>> Provided you can read and write the data, and go back as well as
>> forward.  But given your disliking of details, that's quibbling.
>>
>
> Those extra details are required.
>
>>> That the abstract model of computation defined by the x86 language
>>> allows its instruction pointer and its data pointer to move forward
>>> relative to their current location an unlimited number of times also
>>> very obviously defines access to unlimited storage.
>>
>> No, we don't know that.  The architecture of the x86 is very clear about
>> what relative addresses are and how they are calculated.  RIP is a
>> fixed-width register.
>
> -- You and I both know that implementation details are not a part of an
> -- abstract model of computation itself.
>
> The Intel architecture of the x86 is a physical implementatation
> detail that is not any part of the abstract model of computation
> defined by the x86 language.

Don't be silly.  That registers have a fixed width is not an
implementation detail.

>>> You and I also both know that when the physical hardware
>>> implementations of this abstract model place limits on the access to
>>> storage that these limits are not a part of the abstract model itself.
>>
>> Yes, we do.
>
> Good.
>
>>> Thus we can conclude that the abstract model of computation defined by
>>> the x86 language is fully Turing complete pertaining the requirement
>>> that a Turing machine has access to unlimited memory.
>>
>> No we can't conclude that.
>
> You might not understand the abstract model of computaton defined by
> the x86 language well enough to conclude that.
>
>> Write the loop I suggested and I will admit I was wrong.
>> Alternatively,
(the alternative was to admit you can't)

> Writing an x86 program that would fill an unlimited amount of memory
> with zeroes requires understanding the details of how the abstract
> model of computation defined by the x86 language overcomes memory
> limits with relative addressing.
>
> Until you understand this you won't be able to understand the program.

That is a cowardly answer and I struggle to believe that you being
sincere because it is such a childish excuse.  The truth is you know you
can't do as you boast.  It's as plain as day from the description of how
the x86 architecture works.

But suit yourself.  As I said, boasting and insulting is the main
pleasure for a crank like you, and you won't stop just because I call
you out on it.  Have fun.

-- 
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) olcott <NoOne@NoWhere.com> - 2020-08-26 18:12 -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 17:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 19:52 -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 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 V47 (x86 really is Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-26 15:41 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 18:15 -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 17:32 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-26 19:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (Chris Rock Speaks for God) olcott <NoOne@NoWhere.com> - 2020-08-26 20:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-28 10:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-28 10:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-28 10:25 -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-28 09:39 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-28 11:25 -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-28 10:42 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-28 11:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-28 11:45 -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-28 17:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-28 12:08 -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-28 11:19 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-28 12:50 -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-28 22:34 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Jeff Barnett <jbb@notatt.com> - 2020-08-29 03:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-29 08:27 -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-29 07:44 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-29 09:26 -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-29 08:58 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-29 10:12 -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-30 07:38 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V51 (Turing Equivalent) olcott <NoOne@NoWhere.com> - 2020-08-30 11:11 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-29 10: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-29 17:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 12:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 14:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-29 20:03 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 14:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-29 21:35 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 16:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-29 23:32 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 18:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-30 02:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 21:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Jeff Barnett <jbb@notatt.com> - 2020-08-29 23:15 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Jeff Barnett <jbb@notatt.com> - 2020-08-29 22:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-29 22:13 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Jeff Barnett <jbb@notatt.com> - 2020-08-29 23:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-30 03:27 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 16:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-29 23:53 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 18:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-30 02:35 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) olcott <NoOne@NoWhere.com> - 2020-08-29 21:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Can "C" be made Turing complete?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-30 15:38 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V51 (Making "C" Turing equivalent) olcott <NoOne@NoWhere.com> - 2020-08-30 11:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V51 (Making "C" Turing equivalent) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-30 20:05 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V51 (Making "C" Turing equivalent) olcott <NoOne@NoWhere.com> - 2020-08-30 14:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) olcott <NoOne@NoWhere.com> - 2020-08-30 14:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) David Kleinecke <dkleinecke@gmail.com> - 2020-08-30 13:10 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) olcott <NoOne@NoWhere.com> - 2020-08-30 15:19 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) David Kleinecke <dkleinecke@gmail.com> - 2020-08-30 14:22 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) olcott <NoOne@NoWhere.com> - 2020-08-30 16:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-31 02:48 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) R Kym Horsell <kym@kymhorsell.com> - 2020-08-31 02:08 +0000
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Andy Walker <anw@cuboid.co.uk> - 2020-08-31 09:49 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) R Kym Horsell <kym@kymhorsell.com> - 2020-08-31 13:59 +0000
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Andy Walker <anw@cuboid.co.uk> - 2020-08-31 16:13 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) R Kym Horsell <kym@kymhorsell.com> - 2020-08-31 15:24 +0000
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-31 19:26 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) R Kym Horsell <kym@kymhorsell.com> - 2020-08-31 21:37 +0000
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-31 23:56 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) R Kym Horsell <kym@kymhorsell.com> - 2020-08-31 23:10 +0000
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-01 02:28 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) R Kym Horsell <kym@kymhorsell.com> - 2020-09-01 02:02 +0000
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-01 03:16 +0100
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) R Kym Horsell <kym@kymhorsell.com> - 2020-09-01 02:29 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) olcott <NoOne@NoWhere.com> - 2020-08-31 08:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-01 00:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-02 09:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-02 12:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) André G. Isaak <agisaak@gm.invalid> - 2020-09-03 06:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 09:46 -0500
                Re: Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) kegs@provalid.com (Kent Dickey) - 2020-09-03 14:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-03 21:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 16:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-03 23:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 17:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-04 01:56 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 20:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 20:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2020-09-04 02:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 21:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-04 03:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency specs) olcott <NoOne@NoWhere.com> - 2020-09-03 22:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 22:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-04 05:14 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 23:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 15:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 16:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-03 16:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) olcott <NoOne@NoWhere.com> - 2020-09-03 12:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-04 02:50 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-03 22:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-04 05:05 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-03 23:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-04 11:48 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-04 08:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-04 17:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) olcott <NoOne@NoWhere.com> - 2020-09-04 11:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-04 22:29 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-09-04 14:42 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (HP refutation Sufficiency Specs) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-09-04 22:53 +0100

(Thread has 677 articles, showing 500 — browse group in flat view)

csiph-web