Groups | Search | Server Info | Login | Register

Groups > comp.theory > #21514

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ)

Path csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From Jeff Barnett <jbb@notatt.com>
Newsgroups comp.theory, comp.ai.philosophy, comp.ai.nat-lang, sci.lang.semantics
Subject Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V24 ∃φ (φ ↔ T ⊬ φ)
Date Wed, 8 Jul 2020 12:27:16 -0600
Organization A noiseless patient Spider
Lines 49
Message-ID <re5366$tu9$1@dont-email.me> (permalink)
References <u8KdneInk71rAp_CnZ2dnUU7-bPNnZ2d@giganews.com> <rdu802$6qt$1@dont-email.me> <gMCdnZ3HpoAPNJ_CnZ2dnUU7-K_NnZ2d@giganews.com> <rdub1p$ite$1@dont-email.me> <dqydnVY7auEGJJ_CnZ2dnUU7-d3NnZ2d@giganews.com> <rdueko$34p$1@dont-email.me> <cY6dnW15TdDE0p7CnZ2dnUU7-aXNnZ2d@giganews.com> <rdvme2$sbq$1@dont-email.me> <G8KdnXTYRIvMSZnCnZ2dnUU7-K3NnZ2d@giganews.com> <re2l95$kv$1@dont-email.me> <Y_-dnR5JHJK3R5nCnZ2dnUU7-R3NnZ2d@giganews.com> <re2n76$ckh$1@dont-email.me> <itqdnZfzhLPRbpnCnZ2dnUU7-e_NnZ2d@giganews.com> <re33t6$lkk$1@dont-email.me> <W-ednSH9bbILi5jCnZ2dnUU7-dXNnZ2d@giganews.com> <re37ft$7ch$1@dont-email.me> <0_CdnZNahqmDrZjCnZ2dnUU7-RHNnZ2d@giganews.com> <re3ej3$700$1@dont-email.me> <L7idnRPG_9CI2ZjCnZ2dnUU7-UHNnZ2d@giganews.com>
Mime-Version 1.0
Content-Type text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding 7bit
Injection-Date Wed, 8 Jul 2020 18:27:19 -0000 (UTC)
Injection-Info reader02.eternal-september.org; posting-host="5ab0ca7ba4dbb55d1ebe6e05a462cbc7"; logging-data="30665"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+L1LRXC3be1jafTNEDkxt0wNLNbiFm6Sg="
User-Agent Mozilla/5.0 (Windows NT 6.1; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0
Cancel-Lock sha1:nYHtVfwLTVpWXfLAH2Sw8hERbQo=
In-Reply-To <L7idnRPG_9CI2ZjCnZ2dnUU7-UHNnZ2d@giganews.com>
Content-Language en-US
Xref csiph.com comp.theory:21514 comp.ai.philosophy:21774 comp.ai.nat-lang:2268

Cross-posted to 4 groups.

Show key headers only | View raw

On 7/7/2020 9:57 PM, olcott wrote:
> On 7/7/2020 10:29 PM, Jeff Barnett wrote:

>> Reread Andre's post and try to understand it. Don't just pop off with 
>> gibberish. Concentrate more. Think more. Post less. Or not at all if 
>> you must continue without reflection. Too much typing too little 
>> brain. Bad combination. And you claim 20 years of the same.
> 
> 
> This is a necessary prerequisite to further communication:
> 
> Can you see that this is true???
> 
> Every sentence of any language that asserts its own unprovability cannot 
> possibly be proved to be satisfied.
> 
> If you dodge this question then I will no longer respond to you.

It might be provable in a meta language! Since you don't seem to 
understand language levels and logical referencing schemes, how can you 
possibly understand completeness issues. You have been advised to read 
G's proof. I assume you have tried and gave up baffled. His brilliance 
and your ignorance was his complete grasp of the issues involved: formal 
languages; language levels; referencing within a level; avoiding the 
liar's paradox; etc. No one else in these threads is dodging facts.

Like I said in a part I chopped out above: NO ONE IS AVOIDING YOUR 
QUESTIONS, YOU ARE AVOIDING THEIR ANSWERS. That's what makes you so foolish.

>> I believe that you have fell into a pattern. Look at your 
>> disappointing career as a programmer. I've seen your code and looked 
>> through your patent as well as seen your recent claims about C and C++ 
>> (there is a difference). You always get stuck on an undefenseable 
>> wrong side of every claim you make and are bull headed about it. I 
>> don't think you were able to maintain a job. So you've brought all 
>> those bad habits over to computer theory and logic.
>>
>> My advise is the same as always: think long and hard before you type. 
>> Think long and hard even if you don't type. Stick to areas that you 
>> will be able to understand and don't get ahead of yourself all the 
>> time. Most people here feel sorry for you and do try to help you. That 
>> is why I give you pointers once in a while. Be grateful; quit typing; 
>> try to understand what you read; don't quote what you don't 
>> understand; don't be an ass when someone trying to help you points out 
>> a difficulty; above all be humble, very very humble.
-- 
Jeff Barnett

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

Thread

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