Groups | Search | Server Info | Login | Register
| Subject | Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) |
|---|---|
| Newsgroups | comp.theory |
| References | (17 earlier) <87k0yzcmhl.fsf@bsb.me.uk> <8fKdndiKLplIMYnCnZ2dnUU7-RvNnZ2d@giganews.com> <87ft9not86.fsf@bsb.me.uk> <APSdnZYrLbltS4jCnZ2dnUU7-QPNnZ2d@giganews.com> <87tuy1ofk4.fsf@bsb.me.uk> |
| From | olcott <NoOne@NoWhere.com> |
| Date | 2020-07-22 09:06 -0500 |
| Message-ID | <icGdnU9nYalv2oXCnZ2dnUU7-LPNnZ2d@giganews.com> (permalink) |
On 7/20/2020 7:52 PM, Ben Bacarisse wrote:
> olcott <NoOne@NoWhere.com> writes:
>
>> On 7/19/2020 8:44 PM, Ben Bacarisse wrote:
>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>> On 7/19/2020 2:51 PM, Ben Bacarisse wrote:
>>> <cut>
>>>>> Stop changing the subject. This is what is what you said:
>>>>>
>>>>> | Undecidability as it is currently used in math and computer science is
>>>>> | like the problem of deciding which of the two Boolean values represent
>>>>> | the current time.
>>>>>
>>>>> You should acknowledge that you are wrong. I suppose you could try to
>>>>> defend this claim, but the very fact that haven't even addressed it in
>>>>> any subsequent post suggests you can't (or have no intention of doing
>>>>> so).
>>>>
>>>> - Undecidability as it is currently used in math is
>>>> - like the problem of deciding which of the two Boolean values represent
>>>> - the current time.
>>>>
>>>> The solution set is required to come from the intersection of disjoint
>>>> sets.
>>>
>>> No, the term is used to mean problems with yes/no answers for which
>>> there is no effective decision procedure. Every instance of every
>>> undecidable problem has a correct yes/no answer. There is never any
>>> requirement for the solution to come from any set other than {yes, no}.
>>
>> Every time that I prove that I am right everyone says blah blah blah
>> no you are not.
>
> You have not proved that decidable means what you say it means. You
> can't because it means what the textbooks say it means. The answer is
> always a simple yes/no and there is always a correct answer.
>
>>> Every instance of every
>>> undecidable problem has a correct yes/no answer.
>>
>> If you can't prove that the Liar Paradox is exactly one of true or
>> false and still assert that the liar paradox is definitely true or
>> false I will take this to mean that you know that you are lying.
>
> The liar paradox is not a decision problem. Decision problems are
> /defined/ to have correct yes/no answers. You have been told this
> enough times that your refusal to the term correctly makes it clear you
> are being deliberately obtuse.
>
>> The reasonable thing for you to do here is acknowledge that the liar
>> paradox when properly formalized may be the exception to the rule that
>>
>>> Every instance of every
>>> undecidable problem has a correct yes/no answer.
>
> The liar paradox is not an example of a decision problem.
>
>>> There is a slightly different meaning when applied to a theory, but that
>>> can be re-phrased as decidable in the sense above. Indeed, that's what
>>> Turing's famous paper was about.
>>
>> Here is exactly how true and unprovable cannot coexist:
>> ∀M ∈ Models ∀T ∈ Theories ∀φ ∈ Formulas
>> (Satisfied(M, T, φ) → (T ⊢ φ))
>
> Oh, please stop writing these silly poems. It's not a good look.
>
> Because you don't know how to write symbolic mathematics you can't see
> the silliness -- you string the symbols together in a way that is
> suggestive of what is in your head, but the effect to others who know
> more is as if you've written "People called Romanes they go the house".
>
> Taking a guess at what your symbols are intended to convey, you have
> been given an example where your implication fails. There are models of
> Q for which the formula ∀x∀y x+y=y+x is "satisfied" but, famously, Q
> does not prove ∀x∀y x+y=y+x.
>
>>> What is of interest -- your Big Lie -- is two Turing machines that stand
>>> in a special relationship to each other (discussed at length in 2018).
>>> You claimed to have two such TMs and you did not. In fact there is no
>>> code in any accepted notation that has the property you claimed. This
>>> is why we've never seen it. You don't have it.
>>
>> Changing an x86 intepretor into a UTM takes time.
>
>> I did take three months off
>
> You could, of course, have posted the "actual Turing machines", "fully
> encoded" (your words) at anytime in the last 18 months, except of course
> you lied and you never had "actual Turing machines", "fully encoded".
>
>>>>> Determining if a context free grammar is ambiguous is a famous
>>>>> undecidable problem. The answer in all cases is a simple yes/no binary
>>>>> choice. It is never in any way like "deciding which of the two Boolean
>>>>> values the current time".
>>>>
>>>> All of those cases that reduce to the halting problem are simply
>>>> decidable.
>>>
>>> No. There is a theorem that says otherwise.
>>
>> There is a key gap in the reasoning of this theorem, a loophole that
>> has been undiscovered for many decades.
>
> Again you make yourself look ignorant. Theorems don't have gaps,
> arguments and proofs do. The halting theorem would still be a theorem
> even if Linz's proof (and all those just like it) were shown to be
> wrong. Indeed, Linz's proof does have a minor error in it.
>
> Anyway, it, and a whole host of interrelated theorems, remain theorems,
> with dozens of interlocking and overlapping proofs, none of which have
> been shown to have any serious flaws. (I say that because an
> embarrassingly large number of published proofs do have minor, fixable,
> flaws.)
>
>>> But let's put the fact that you don't accept these well-known theorems
>>> to one side. The term "undecidable" means not computable by a TM (or
>>> equivalent) so what sorts of functions are not computable in PO-land --
>>> in the land of someone who thinks at least all the conventional
>>> uncomputable functions are computable? If there aren't any, what use is
>>> the term? If there are, give an example of one (no waffle please --
>>> actual mathematics preferred).
>>
>> In Definition 12.1 Linz specifies this H(Ĥ,Ĥ) as this q0WmW where q0
>> is the start state of H, Wm is the Turing machine description of the
>> input to H and W is the input to Wm.
>>
>> I will show how this is computable by filling in the "..." state
>> transitions with x86 code:
>>
>> H.(Ĥ,Ĥ) ... qy // Halts
>> H.(Ĥ,Ĥ) ... qn // Does not Halt
>
> Why won't you answer my question? Could you not resist the opportunity
> make another idle boast?
>
> I asked if there are any uncomputable functions in PO-land? Will you
> say?
>
>>> Note that I have deliberately switched from "decidable set" to
>>> "computable function". You don't know how to use the term "deciable" in
>>> relation to sets, so I think it will save me having to correct lots of
>>> detailed errors if you talk about uncomputable functions instead.
>>
>> ∃H ∈ Turing_Machine_Descriptions
>> ∀φ ∈ Turing_Machine_Descriptions
>> ∀w ∈ finite_strings
>> (H.Halts(φ,w) ∨ ¬H.Halts(φ,w))
>
> 'Beauty is Truth, Truth Beauty' that is all ye know on earth, and all ye
> need to know.
>
>>>>>> The conventional self-referential halting problem counter-example most
>>>>>> clearly defined by Linz as specific state transitions is definitely
>>>>>> decidable (Linz 1990:319)
>>>>>
>>>>> Whatever this is supposed to mean
>>>>
>>>> The class of machines specified by the Peter Linz H_Hat is decidable.
>>>
>>> Yes. As you've been told before, that class is empty and the empty set
>>> is a decidable set. Of course, you don't mean what you said. You mean
>>> something else but you don't know how to say it (I do, by the way, but I
>>> can't be bothered to write out your impossible claim for you yet again).
>>
>> H.q0 wM w ⊢* H.qy
>> H.q0 wM w ⊢* H.qn
>
> Argh!! Again you fail to use the key part of this notation. I have
> explained, time and time again, that without the criteria for each case
> these lines are useless. (And they are technically wrong as well but
> the correct ones have what you probably consider to be "extraneous
> detail".)
When I say these things they are to be taken within the context of the
pages of the Linz book that I always post.
http://www.liarparadox.org/Peter_Linz_HP(Pages_315-320).pdf
>
>> When we make this whole thing perfectly concrete fully encoding every
>> single detail then and only then is it impossible for things to slip
>> through the cracks of human understanding.
>
> You lied about having done that 18 months ago. To cover that lie you've
> been making excuses for why you have to write a whole steaming pile of
> X86 code just so you can bury whatever error it is you have made.
>
> The "actual Turing machines" that you had "fully encoded" no later than
> 15th Dec 2018 would have backed up your claim unambiguously. But that
> claim was a lie, so they were never posted. (I'll grant you this: I
> think you were simply mistaken or deluded in December 2018, but by mid
> January the next year it was clear that you knew you were wrong because
> the story started to change.)
>
> <more empty boasts deleted>
>
--
Copyright 2020 Pete Olcott
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar
Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-05 22:52 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-05 22:06 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-05 23:33 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-05 22:58 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-06 00:41 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-05 23:59 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-06 11:20 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 11:18 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (axiomatic basis of truth) olcott <NoOne@NoWhere.com> - 2020-07-07 13:13 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 15:00 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 14:17 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 15:25 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 14:50 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 17:12 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 18:27 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 19:43 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Jeff Barnett <jbb@notatt.com> - 2020-07-07 19:28 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 21:31 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Jeff Barnett <jbb@notatt.com> - 2020-07-07 21:29 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 22:57 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Jeff Barnett <jbb@notatt.com> - 2020-07-08 12:27 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-08 14:19 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-10 10:39 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-10 08:41 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 08:03 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-10 09:17 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-10 12:41 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-10 09:26 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 21:52 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) olcott <NoOne@NoWhere.com> - 2020-07-07 23:00 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 22:43 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 00:16 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-07 23:39 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 00:54 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-08 00:14 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 10:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-08 09:50 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 11:09 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 11:29 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 11:49 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-09 06:56 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 11:02 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-09 11:33 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 23:23 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-10 12:13 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 23:50 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 12:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-09 07:40 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 11:14 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-09 12:14 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 23:28 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-10 11:54 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-10 14:46 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 16:16 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-10 17:20 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 16:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 09:12 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 09:29 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 09:42 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 10:54 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 10:55 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 11:02 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 12:16 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 11:27 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 13:04 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 12:12 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 15:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 14:27 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 15:42 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-10 15:00 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 16:36 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 20:19 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-11 04:20 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-11 19:24 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-11 18:57 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (TRUTH BEARER DEFINED) olcott <NoOne@NoWhere.com> - 2020-07-11 22:58 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (TRUTH BEARER DEFINED) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 00:37 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 11:43 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 12:07 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 13:51 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 13:36 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 15:31 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 16:24 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 15:37 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 18:04 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 17:21 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 18:53 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 18:07 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 19:44 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 18:58 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 23:06 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-13 07:01 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-13 09:32 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) André G. Isaak <agisaak@gm.invalid> - 2020-07-13 08:47 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-13 19:52 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-13 09:07 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) David Kleinecke <dkleinecke@gmail.com> - 2020-07-12 17:28 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (NATURE OF TRUTH ITSELF) olcott <NoOne@NoWhere.com> - 2020-07-12 19:47 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-10 19:21 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 13:35 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-11 12:25 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-11 19:05 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-12 14:10 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 13:24 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-12 14:04 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 18:48 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-12 17:22 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 19:52 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-12 19:32 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 22:47 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-13 08:05 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 19:49 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 19:11 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 09:43 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-14 08:57 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 10:22 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-14 09:30 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 10:38 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-15 11:24 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 19:18 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-15 20:38 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 16:16 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 16:01 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 19:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 18:40 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-13 23:48 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 10:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-14 09:20 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 10:26 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-14 09:36 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 10:41 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-14 11:25 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 10:52 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-15 11:04 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 19:07 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-15 18:42 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 12:10 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 11:46 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 16:35 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 15:19 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 23:19 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 22:49 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 00:34 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 01:04 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 17:20 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 16:16 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 18:59 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-18 03:13 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 22:01 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-18 17:17 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-18 12:43 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-18 15:08 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-18 20:28 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-19 03:45 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-19 11:46 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 11:05 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-19 12:12 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 11:30 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-19 12:36 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-19 20:51 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-19 15:28 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-20 02:44 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-20 12:40 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-21 01:52 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-20 21:35 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-20 19:59 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-21 10:44 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-21 10:00 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-21 19:50 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-21 17:57 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-22 09:07 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-22 02:03 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-22 09:03 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-23 00:30 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-22 09:06 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-19 22:23 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-20 10:33 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-20 10:50 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-17 12:16 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 17:04 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:09 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-18 00:22 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-13 13:05 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 10:07 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-13 20:01 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 12:24 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 [--Obvious Yet?--] olcott <NoOne@NoWhere.com> - 2020-07-13 14:58 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 18:33 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 17:46 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 09:36 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-14 09:53 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 10:49 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-13 23:42 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 18:45 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-14 01:26 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 22:06 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-14 17:00 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 18:15 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-15 02:56 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 21:55 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-14 20:30 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 23:13 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Mapping to Boolean) olcott <NoOne@NoWhere.com> - 2020-07-15 09:57 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-15 16:48 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 11:46 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-15 11:32 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 19:13 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 01:37 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 22:12 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 16:05 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-16 14:18 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 13:32 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-16 22:39 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 21:00 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-17 02:17 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-16 21:01 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-17 03:54 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-16 23:27 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-17 11:36 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 11:10 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) David Kleinecke <dkleinecke@gmail.com> - 2020-07-17 11:11 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 14:24 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-17 20:28 +0000
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 16:47 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-17 20:26 +0000
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 17:39 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 16:06 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 18:40 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:47 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 18:01 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 22:24 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 21:34 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 22:44 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 22:01 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-18 13:34 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-17 21:09 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-18 10:14 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-18 15:05 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:23 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 18:52 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 18:01 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 22:35 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 21:55 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-18 13:49 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) David Kleinecke <dkleinecke@gmail.com> - 2020-07-17 22:12 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 14:20 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-18 02:17 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Membership algorithm) olcott <NoOne@NoWhere.com> - 2020-07-17 21:53 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-15 18:23 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 11:51 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 11:21 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 13:41 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 13:10 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 22:36 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 21:04 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-17 12:10 +0100
Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) R Kym Horsell <kym@kymhorsell.com> - 2020-07-17 11:50 +0000
Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 17:00 -0500
Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:40 -0600
Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-17 17:46 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 17:07 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-18 00:30 +0100
Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) R Kym Horsell <kym@kymhorsell.com> - 2020-07-18 02:21 +0000
Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-18 16:19 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-17 22:03 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-18 16:12 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-18 11:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-15 20:25 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 16:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 14:31 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 22:45 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 21:10 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 15:58 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 22:47 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 21:18 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-16 22:38 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 00:35 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 18:44 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 01:16 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 19:28 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-15 17:44 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 20:44 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 02:19 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 22:20 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-16 16:08 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 14:20 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-16 13:12 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-16 22:37 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 17:52 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 21:12 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 20:11 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 22:48 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-13 21:38 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 00:03 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-13 22:26 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 00:32 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-14 14:41 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 10:14 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Chris Buckley <alan@sabir.com> - 2020-07-14 18:24 +0000
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-14 17:44 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Chris Buckley <alan@sabir.com> - 2020-07-15 18:08 +0000
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-15 18:47 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-12 17:30 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-12 19:50 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-12 18:53 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-12 23:48 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 00:58 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-13 13:07 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 14:12 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-13 15:32 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 15:06 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-14 00:56 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-13 23:26 +0100
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-13 16:10 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-13 09:57 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-13 13:12 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-10 12:53 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 16:25 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-10 15:06 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 17:21 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) David Kleinecke <dkleinecke@gmail.com> - 2020-07-10 15:58 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-10 18:01 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-11 04:10 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-11 19:13 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-08 12:39 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 23:37 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Jeff Barnett <jbb@notatt.com> - 2020-07-09 00:40 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 09:38 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 09:18 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-09 12:15 -0700
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 15:10 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V27 (Simple enough yet?) olcott <NoOne@NoWhere.com> - 2020-07-08 16:25 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V27 (Simple enough yet?) André G. Isaak <agisaak@gm.invalid> - 2020-07-09 07:02 -0600
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V27 (Simple enough yet?) olcott <NoOne@NoWhere.com> - 2020-07-09 11:11 -0500
Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 (Shell game) olcott <NoOne@NoWhere.com> - 2020-07-08 19:04 -0500
csiph-web