Groups | Search | Server Info | Login | Register

Groups > comp.theory > #22462

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete]

From Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups comp.theory, comp.ai.philosophy, comp.ai.nat-lang, sci.lang.semantics
Subject Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V42 [x86 is Turing complete]
Date 2020-08-17 12:19 -0700
Organization None to speak of
Message-ID <87imdh9j1p.fsf@nosuchdomain.example.com> (permalink)
References (16 earlier) <gr6dnYNWE5nsI6TCnZ2dnUU7-UOdnZ2d@giganews.com> <rhd906$2lh$1@dont-email.me> <IIudnQ1LkdjPPafCnZ2dnUU7-bXNnZ2d@giganews.com> <87mu2t9n0y.fsf@nosuchdomain.example.com> <rMydnexPpcEDV6fCnZ2dnUU7-fFj4p2d@giganews.com>

Cross-posted to 4 groups.

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:
> On 8/17/2020 12:53 PM, Keith Thompson wrote:
>> olcott <NoOne@NoWhere.com> writes:
[...]
>>> To prove unlimited memory access In this case merely requires
>>> conventional coding. Ben's example surely is a great one.
>>>
>>> If an actual program could be written that fills unlimited memory with
>>> zeroes this would most unequivocally prove my point.
>>
>> What is preventing you from writing such a program and showing it to us?
>
> The fact that the existence of such a program would be self-evident to
> anyone truly understanding what I am saying tends to provide very
> strong evidence that this would be a significant waste of my time.
>
> If people simply don't believe this self-evident truth then they
> probably won't believe it when all the details are fully elaborated.

I think the issue being disputed here is not just whether such a
program can be written.  It's also whether you are competent to
write it.  The small samples of C and/or C++ code that I've seen
you post here do not make me optimistic on that point.

Please please stop assuming that the only possible reasons someone
could disagree with you is a lack of understanding.  *Even if
you're right*, telling people who disagree with you that they're
not capable of understanding is a waste of everyone's time.

Let's back up a bit.  You're presenting some controversial ideas,
and you're discussing them with some very smart people, many of
whom are experts in relevant fields.  Imagine that, at some point
in the future, you've managed to persuade at least one person that
you're right.  (I presume that's your goal here.  If not, please
clarify what your actual goal is.)  Now think about how that can
have happened.

This:
    Olcott:       I can demonstrate this.
    Someone else: Fine, please do so.
    Olcott:       No, it would be a waste of my time.  It's obvious that
                  I can demonstrate it so I don't actually need to do
                  so.  You wouldn't understand my demonstration anyway.
    Someone else: Ah yes, you're right, I see it now.
is not a plausible path to your goal.

What is?  How do you convince us?  How do you convince *anyone*?

Is that even your goal?

(I acknowledge that I'm putting words in your mouth here, but the above
captures the gist of how you appear to me, and probably to others.)

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
Working, but not speaking, for Philips Healthcare
void Void(void) { Void(); } /* The recursive call of the void */

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 662 articles, showing 500 — browse group in flat view)

csiph-web