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

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.theory
Subject	Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined)
Date	2020-08-09 21:57 +0100
Organization	A noiseless patient Spider
Message-ID	<87a6z3edvq.fsf@bsb.me.uk> (permalink)
References	(16 earlier) <U4udnSMRWPCo1bLCnZ2dnUU7-eXNnZ2d@giganews.com> <877du8fw5d.fsf@bsb.me.uk> <Ot6dnepTq7f6_7LCnZ2dnUU7-VvNnZ2d@giganews.com> <87sgcveqcz.fsf@bsb.me.uk> <A6ednY2TMoCVsK3CnZ2dnUU7-UXNnZ2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> On 8/9/2020 11:27 AM, Ben Bacarisse wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>> This is PO from two years ago, pretending to have a Turing machine:
>>
>>>>>> I now have an actual H that decides actual halting for an
>>>>>> actual (Ĥ, Ĥ) input pair. I have to write the UTM to execute
>>>>>> this code, that should not take very long. The key thing is
>>>>>> the H and Ĥ are 100% fully encoded as actual Turing machines.
>>>>
>>>> Will you admit that at the very least you mislead everyone by using the
>>>> term in a way that no one else does?  An apology for that would be in
>>>> order.
>>>
>>> No because the "c" version of H_Hat so perfectly corresponds to the
>>> Linz diagram the "c" level abstraction of H_Hat is totally apt.
>>
>> The diagrams use and refer to states.  That's because they are about
>> Turing machines.  If you have C, you don't have the states referred to
>> in the diagrams because you don't have a Turing machine.  At best you
>> have interpreted the H to H^ transform correctly, but your track record
>> of understanding an interpreting is not encouraging.
>
> So, in practical terms, you can consider your computer to be a Turing
> machine instead of a finite state machine.
>
> https://cs.stackexchange.com/questions/16729/are-real-computers-finite-state-machines

What "practical terms"?  A Turing machine is mathematical object -- it's
an ordered sequence of sets.  TMs have, as a result, easily provable
properties.  My computer has no bearing on the matter.

I am struck by the fact that until a few days ago you did not know what
a function was and a function is essentially all the TM is.  You can
deduce or define as standard all the other parts the so many authors
fuss over.  It's just one big function.  Given that, it's hardly
surprising that don't know what a TM is.  The essence of it is something
you were baffled by until a few days ago.

You don't have, and have never had, a Turing machine with the properties
you claim.  It would be good if you admitted that and moved on because
attempting to defend the indefensible is taking up a lot of your time.

-- 
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ödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Andy Walker <anw@cuboid.co.uk> - 2020-08-31 00:23 +0100
                Transforming "C" into a Turing equivalent language 001 [Providing unlimited memory access to C] olcott <NoOne@NoWhere.com> - 2020-08-30 19:17 -0500
                Re: Transforming "C" into a Turing equivalent language 001 [Providing unlimited memory access to C] Andy Walker <anw@cuboid.co.uk> - 2020-08-31 09:59 +0100
                Re: Transforming "C" into a Turing equivalent language 001 [Providing unlimited memory access to C] olcott <NoOne@NoWhere.com> - 2020-08-31 08:47 -0500
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) R Kym Horsell <kym@kymhorsell.com> - 2020-08-31 02:16 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V52 (Machine equivalence) Richard Damon <Richard@Damon-Family.org> - 2020-08-30 20:43 -0400
                Transforming "C" into a Turing equivalent language 001 [Providing unlimited memory access to C] olcott <NoOne@NoWhere.com> - 2020-08-30 20:21 -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:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V51 (Making "C" Turing equivalent) olcott <NoOne@NoWhere.com> - 2020-08-30 10:21 -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 01:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V50 (Making "C" Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-25 14:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 10:18 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-23 17:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 12:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-23 22:12 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V47 (x86 really is Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-23 16:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-22 16:19 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (Honest dialogue?) olcott <NoOne@NoWhere.com> - 2020-08-22 18:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (Honest dialogue?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-22 17:55 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V46 (Honest dialogue?) olcott <NoOne@NoWhere.com> - 2020-08-22 20:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-08-13 07:45 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V37 (Turing complete) olcott <NoOne@NoWhere.com> - 2020-08-13 10:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 22:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-08-09 22:26 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-09 23:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-09 23:28 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 00:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 00:19 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 09:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 08:34 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 10:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 09:31 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 10:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 10:31 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 12:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) André G. Isaak <agisaak@gm.invalid> - 2020-08-10 11:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V36 (x86 based Turing Machines) olcott <NoOne@NoWhere.com> - 2020-08-10 12:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-10 12:27 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 18:37 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 21:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 20:41 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 22:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 21:36 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-09 23:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 22:22 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-08-10 00:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V35 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-09 22:56 -0700

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

csiph-web