Groups | Search | Server Info | Login | Register

Groups > comp.theory > #21797

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

Subject Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined)
Newsgroups comp.theory, comp.ai.philosophy, comp.ai.nat-lang, sci.lang.semantics
References <Bf2dnacH3PC-wY7CnZ2dnUU7-VnNnZ2d@giganews.com> <871rl8dyg1.fsf@bsb.me.uk>
From olcott <NoOne@NoWhere.com>
Date 2020-07-19 11:37 -0500
Message-ID <HvCdndl7NIZX64nCnZ2dnUU7-QXNnZ2d@giganews.com> (permalink)

Cross-posted to 4 groups.

Show all headers | View raw

On 7/18/2020 9:35 PM, Ben Bacarisse wrote:
> olcott <NoOne@NoWhere.com> writes:
> 
>> When sentence φ of theory T is satisfied by model M of theory T
>> sentence φ is true in model M of theory T.
>>
>> When the negation ¬φ of sentence φ of theory T is satisfied by model M
>> of theory T sentence φ is false in model M of theory T.
>>
>> When neither expression φ nor ¬φ of theory T are satisfied by model M
>> of theory T then expression φ is not a sentence in model M of theory T
>> and thus not a truth bearer in model M of theory T.
>>
>> When closed WFF φ is not a truth bearer in model M of theory T then
>> closed WFF φ in model M of theory T is semantically incorrect in model
>> M of theory T.
>>
>> I have been saying this same thing for many years. This is the first
>> time that I bothered to to learn the conventional terminology well
>> enough to define it using this conventional terminology.
> 
> This is not conventional terminology.  It's rather garbled, so I don't
> want to assume I know what you are trying to say, so here are some facts
> (albeit rather abbreviated facts) about formulas and interpretations.
> 
> (1) A well-formed formula f of some language L is true for an
> interpretation M of L if and only if every variable assignment satisfies f.
> 
FatherOf(x, y) is true for some ordered pairs and not true for others.
So according to model theory my dad's name is not "Pete" because not 
everyone has a dad named "Pete"?

> (2) A well-formed formula f of some language L is false for an
> interpretation M of L if and only if no variable assignment satisfies f.
> 
> (3) For any interpretation M, a well-formed formula f is true for M if
> and only if ~f is false for M, and f is false for M if and only if ~f is
> true for M.
> 

How does this handle self-contradictory formulas?

> (4) A sentence is a closed well-formed formula of some language.
> 
> (5) For any interpretation M of a language L, a sentence of L is either
> true for M or it is false for M.
> 

"This sentence is not true." is neither true nor false in any model and 
can't be properly formalized because actual self-reference is 
inexpressible in logical notation.

Gödel's pathological self-reference
<direct quote (Gödel 1931:40-41)>
... there is also a close relationship with the “liar” antinomy,14 ...

We are therefore confronted with a proposition which asserts its own 
unprovability.15

14 Every epistemological antinomy can likewise be used for a similar 
undecidability proof.

15 In spite of appearances, there is nothing circular about such a 
proposition, since it begins by asserting the unprovability of a wholly 
determinate formula (namely the q-th in the alphabetical arrangement 
with a definite substitution), and only subsequently (and in some way by 
accident) does it emerge that this formula is precisely that by which 
the proposition was itself expressed.
</direct quote (Gödel 1931:40-41)>

  Removing the misleading words:
15 ...such a proposition...
begins by asserting the unprovability of a...
formula...and...subsequently...
does it emerge that this formula is ...
that by which the proposition was itself expressed.
(a) Proposition p asserts the unprovability of formula f
(b) Proposition p is expressed by formula f

So even in the same footnote where he says: "there is nothing circular 
about such a proposition" he precisely defines its exact circularity.

Godel, Kurt 1931. On Formally Undecidable Propositions of Principia 
Mathematica And Related Systems I. (40-41)

> (6) A model, M, for a theory T is an interpretation of the language of T
> such that every axiom of T is true for M.
> 
> I can't square these facts with what you've written.  Maybe you could
> re-phrase it in these terms.  (I've used the terminology of Mendelson,
> since it's fairly standard and I know you have that text.)
> 
>> I have understood that formalized Truth is simply a mathematical
>> mapping from expressions of language to Boolean values for decades.
> 
> You and everyone else on the planet.
> 

Not really. Mathematicians and logicians do not understand that a lack 
of a mapping is simply untruth of the formula and not any sort of 
incompleteness of the theory.

>> A language L on Σ is said to be recursive if there exists a Turing
>> machine M that accepts L and halts on every w in Σ+. In other words, a
>> language is recursive if and only if there exists a membership
>> algorithm for it. (Linz 1990:288).
>>
>> When we have a computer process the same steps implied by the above
>> conventional terms it would simply be a membership algorithm from a
>> finite string to a Boolean value indicating Satisfaction(M, T, φ) or
>> not.
> 
> That's a bit garbled.  Are you saying that you think that the set of
> sentences of a theory T, that are true for some model M, is a recursive
> language?  If so, that's wrong, famously wrong.
> 

The same steps that are used to show that a formula is satisfied by a 
model of a theory can be implemented in a computer.

Boolean Satisfied(model M, theory T, formula φ) would in this case be a 
very specific example of a membership algorithm of a recursive language.

-- 
Copyright 2020 Pete Olcott

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

Thread

Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-18 15:31 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-19 03:35 +0100
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 11:37 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 11:25 -0600
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 12:46 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 11:56 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 13:50 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 14:06 -0600
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-19 13:39 -0700
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 17:21 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-19 15:57 -0700
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-20 01:55 +0100
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 23:52 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 23:15 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 12:56 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-20 12:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Jeff Barnett <jbb@notatt.com> - 2020-07-20 14:49 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 21:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 10:51 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 12:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 12:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 20:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 19:35 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-22 09:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-22 09:23 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-22 10:21 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-22 13:22 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 18:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-20 18:28 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 21:41 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-20 11:59 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 21:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-20 20:03 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 10:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 10:47 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 11:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 11:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 19:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 19:23 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-22 09:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-22 09:11 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-22 17:02 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-21 11:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-21 11:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 20:22 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-21 00:12 +0100
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 19:18 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-22 03:32 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-22 05:39 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-22 10:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-23 00:54 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-23 21:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-24 16:31 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-24 12:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Jeff Barnett <jbb@notatt.com> - 2020-07-24 12:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 13:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 11:38 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 14:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 12:33 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 14:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-26 15:05 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-24 19:57 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 14:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Jeff Barnett <jbb@notatt.com> - 2020-07-24 14:43 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 16:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) David Kleinecke <dkleinecke@gmail.com> - 2020-07-24 15:38 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 17:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) David Kleinecke <dkleinecke@gmail.com> - 2020-07-24 15:57 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 16:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 15:52 -0700
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) R Kym Horsell <kym@kymhorsell.com> - 2020-07-24 19:02 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-26 10:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-26 10:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-26 10:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-24 20:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 14:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 00:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 19:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-24 12:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-24 23:49 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-24 18:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 02:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-24 22:18 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-24 21:58 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-25 01:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-25 10:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 12:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-25 14:45 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 00:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-25 22:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 12:10 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-25 22:53 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 20:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-26 16:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-26 15:46 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-26 22:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 00:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-26 17:05 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 02:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 00:30 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 00:33 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-26 22:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 14:12 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 12:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 23:41 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 17:37 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 19:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 19:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 21:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 20:45 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 21:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 22:58 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 00:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 23:16 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 00:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-28 00:05 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 10:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-28 21:32 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 22:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 02:01 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 20:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 03:11 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 21:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 03:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 21:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 17:33 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 11:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 11:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 22:58 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 17:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 00:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 21:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 12:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 12:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 20:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 15:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 01:31 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 10:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 17:45 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 17:50 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 11:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 20:30 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 14:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 22:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 17:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 01:00 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 21:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-29 15:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 13:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-29 12:13 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 15:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-29 14:43 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 22:37 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 18:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 02:01 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 01:48 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 10:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 21:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 15:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 00:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-02 09:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 17:29 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-03 09:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-03 17:39 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-02 18:04 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-08-01 23:19 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 16:33 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 13:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-29 12:02 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 14:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 22:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-29 15:33 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 20:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 18:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 02:38 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 00:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 01:30 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 12:55 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 10:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 20:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 15:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 00:11 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-02 09:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 17:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-03 09:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-03 17:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 00:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 23:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 16:43 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 14:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 00:36 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 21:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-29 21:50 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-29 21:55 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-31 12:45 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 14:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-31 13:13 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 16:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-31 14:42 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 18:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-31 14:44 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-31 14:02 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-31 17:58 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 22:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 13:39 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 00:58 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 10:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 21:02 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-02 09:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 17:45 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-03 09:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-03 17:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-03 13:22 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Andy Walker <anw@cuboid.co.uk> - 2020-07-30 20:35 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 12:57 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 17:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Andy Walker <anw@cuboid.co.uk> - 2020-07-30 23:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 16:30 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Andy Walker <anw@cuboid.co.uk> - 2020-07-31 01:31 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 20:36 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 00:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 20:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 17:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 16:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 20:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 20:40 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 01:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-28 10:41 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 12:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-28 08:23 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 09:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-26 13:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 22:45 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 16:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 23:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 22:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 17:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 00:22 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 15:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 00:03 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 19:10 -0500

csiph-web