Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability)

Subject	Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability)
Newsgroups	comp.theory
References	(17 earlier) <87365a9lb6.fsf@bsb.me.uk> <xN6dnT3qsY3FQ7zCnZ2dnUU7-YnNnZ2d@giganews.com> <874kpp9731.fsf@bsb.me.uk> <qc-dnRdmPuLWer_CnZ2dnUU7-fXNnZ2d@giganews.com> <875za56jeq.fsf@bsb.me.uk>
From	olcott <NoOne@NoWhere.com>
Date	2020-07-31 10:55 -0500
Message-ID	<VMGdnaAWBc1po7nCnZ2dnUU7-eXNnZ2d@giganews.com> (permalink)

Show all headers | View raw

On 7/30/2020 11:45 AM, Ben Bacarisse wrote:
> olcott <NoOne@NoWhere.com> writes:
> 
>> On 7/29/2020 7:31 PM, Ben Bacarisse wrote:
>>>
>>>
>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>> On 7/29/2020 2:24 PM, Ben Bacarisse wrote:
>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>
>>>>>> On 7/29/2020 6:04 AM, Ben Bacarisse wrote:
>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>
>>>>>>>> On 7/28/2020 6:51 PM, Ben Bacarisse wrote:
>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>> <cut>
>>>>>>>>>> except on the relation "father of" referring to an order pair
>>>>>>>>>> <a26, a87> of unique individuals in the domain of humans.
>>>>>>>>>
>>>>>>>>> If you keep subtly altering what you say, my objection will be subtly
>>>>>>>>> different too.  You will think I'm changing my mind (or being
>>>>>>>>> disingenuous) but I'm just responding to what you actually write.
>>>>>>>>>
>>>>>>>>> Here, I am glad to see you have written "father of" as if it were and
>>>>>>>>> ordinary English phrase.  That's what Mendelson did, so I am happy to
>>>>>>>>> assume you mean the same relationship he did.
>>>>>>>>>
>>>>>>>>> If, instead, you make it look like a symbol (as you have done) and maybe
>>>>>>>>> give it arguments (especially arguments that look like constants in
>>>>>>>>> Mendelson's notation) it becomes a predicate or a formula and could mean
>>>>>>>>> anything depending on the interpretation.
>>>>>>>>
>>>>>>>> Not within the fricking context of our conversation.
>>>>>>>
>>>>>>> We are talking about the interpretation of formal languages.  The
>>>>>>> conversation is about formulas, predicates, functions, constants,
>>>>>>> relations and domains.  How could writing something the looks like a
>>>>>>> predicate (or maybe function, possibly a relation) when you did not mean
>>>>>>> to be anything other than confusing?  I think your arrogance extends to
>>>>>>> thinking that anyone who does not know exactly what you mean must be
>>>>>>> dumb, disingenuous or a troll.
>>>>>>>
>>>>>>>>>> if {a26, a87} are a pair of baby girls then we can know that the
>>>>>>>>>> "father of" relation is not satisified by the ordered pair <a26, a87>.
>>>>>>>>>
>>>>>>>>> You are free to make up your own notation, but you are using two symbols
>>>>>>>>> that Mendelson uses for constants.  This can lead to confusion.  Humans
>>>>>>>>> very often have names, so you could have said "if {Jane, Aisha} are a pair
>>>>>>>>
>>>>>>>> Yet the names are never unique. To specify unique individuals in the
>>>>>>>> universe we really need a GUID. (Globally Unique Idetifier). a26 and
>>>>>>>> a87 for a short-hand proxy for that.
>>>>>>>
>>>>>>> Then make them (look) unique without using confusing terminology:
>>>>>>> Jane82767, Aisha165.  Remember, for a while, you actually claimed the
>>>>>>> constants are "in the domain of humans" so it was reasonable to think
>>>>>>> you were confused about what role constants play in all this.
>>>>>>>
>>>>>>
>>>>>> So more precisely:
>>>>>> The names of constants in L mathematically map to the the same names
>>>>>> of unique elements in D: L.a26 ↦ D.a26 and L.a87 ↦ D.a87
>>>>>
>>>>> In other words, you know you were wrong, and you should have kept the
>>>>> distinction between the two clear.  Obviously, being you, you have
>>>>> chosen to invent a new way of doing this that is deliberately open to
>>>>> misinterpretation.  Here, you leave open the possibility of omitting the
>>>>> prefix:
>>>>
>>>> ∃!y ∈ humans ∃!x ∈ humans (Boolean father_of(x,y))
>>>>
>>>> Where "father of" is to be understood to specify the same relation
>>>> between an ordered pair of humans that would be in English phrase:
>>>> "father of".
>>>
>>> Another notation!  How many is that?  Does !x replace your old (what,
>>> three hours old?) D.x notation?  If so, what is the x without the !?  Is
>>> it the old (three hours old) L.x?  If so, father_of(x,y) is not a
>>> relation but a formula involving a predicate and we've left the
>>> interpretation again.
>>>
>>
>> ∃!y ∈ humans // There exists a unique y element of humans
>> ∃!x ∈ humans // There exists a unique x element of humans
>>
>> https://www.whitman.edu/mathematics/higher_math_online/section02.05.html#:~:text=The%20symbol%20%E2%88%83!,''%20or%20any%20equivalent%20formulation.
> 
> Oh I see.  So when you wrote (many posts ago now)
> 
>    ∃!a26 ∈ humans ∃!a87 ∈ humans (Father_of(a26, a87))
> 
> you'd gone back on your notion of distinguishing between L.a26 and D.a26
> just a few lines earlier.  Oh well...
> 
>> // such that the ordered pair <x,y> is in the relations "father of
>> (Boolean father_of(x,y))
>>
>>> And I love the poetic juxtaposition Boolean and father_of.
>>
>> Yes. If when you formalized an expression you directly say what you
>> mean then you are not tied to some author's particular notational
>> conventions.
> 
> You are the Humpty Dumpty of mathematical notation.  You know what you
> mean and that the important thing.
> 
>>> Is it
>>> suppose to hint at a "return type"?  Have you ever wondered if
>>> mathematicians already have a way of writing that?
>>
>> If they did they then would not need model theory.
>> Since they need model theory then they don't
> 
> You lack the knowledge to make such statements.  They do, and they do.

So by implication you are saying that it is impossible to encode the 
semantics syntactically in the same formal language exression?

> 
>>> Did you think to
>>> ask?  Does the specification of Boolean mean that this metaphorical
>>> maths of yours has relations that are not true/false?  In fact, is it
>>> not a relation at all but simply a function?
>>>    
>> The function/relation dichotomy can be retained. For relations the return type is n-tuple.
>>
>>> And is ∃!x ∈ S somehow more emphatically the case than the simpler and
>>> rather feeble !x ∈ S?  Maybe the ! attaches to the ∃ in which case I've
>>> no idea how it works (it's not there later on in the line as I'd expect
>>> if it denotes an element of the domain).
>>>
>>
>> It is common notation for there exists a unique
> 
> Moderately common.  I thought you were using to make the language/domain
> distinction since that's when you stared to use it.
> 
>>> So many questions about just one short math poem.  But rather than
>>> answer them, why not stop writing poems, pick up a book that does it
>>> property, and learn from it?
>>
>> My way is better.
> 
> Yet you will be talking to yourself and you will never know what the
> words and concepts you criticise mean.  But you can not be wrong when
> you are in your own semantic bubble and that mist be very comforting.  I
> wish you well.
> 

I need the lingua franca of the conventional way so that I can provede 
an unambiguous mapping to my way.

>> Yes we are always free to interpret: "2 + 3 = 5" as a command to go
>> make me a slice if pizza right now. How much sense does that make?
> 
> You once appeared to want to know if that is indeed what the rest of the
> world claims, but you will be happier not knowing.
> 

No I am ready to proceed. I needed a break.

-- 
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