Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory,comp.ai.philosophy,comp.ai.nat-lang,sci.lang.semantics
Subject: Re: Simply defining =?utf-8?Q?G=C3=B6del?= Incompleteness and Tarski Undefinability away V24 (Are we there yet?)
Date: Thu, 09 Jul 2020 12:15:36 -0700
Organization: None to speak of
Lines: 10
Message-ID: <87fta08ppj.fsf@nosuchdomain.example.com>
References: <u8KdneInk71rAp_CnZ2dnUU7-bPNnZ2d@giganews.com> <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> <re3ftt$c7f$1@dont-email.me> <L7idnRLG_9BZ2ZjCnZ2dnUU7-UGdnZ2d@giganews.com> <re3it4$o6r$1@dont-email.me> <ybCdnWSasLM_y5jCnZ2dnUU7-UPNnZ2d@giganews.com> <re3m63$6gj$1@dont-email.me> <GJednZgniKUVwpjCnZ2dnUU7-fHNnZ2d@giganews.com> <re3o8o$fut$1@dont-email.me> <KIWdndtXOfObf5jCnZ2dnUU7-UXNnZ2d@giganews.com> <re4pvf$tfs$1@dont-email.me> <re53so$2vu$1@dont-email.me> <L9WdnWIONOnZuprCnZ2dnUU7-XednZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="96132afdf8c69f443faa5b2708058e93"; logging-data="19742"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/P3OhgQ5I2BbqLUyTp8296"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
Cancel-Lock: sha1:VmnexcxnCuo9LXe7wu2V2Snahb0= sha1:Rdd3r7ad0BfHqB/ipVhQSIH/sEw=
Xref: csiph.com comp.theory:21533 comp.ai.philosophy:21817 comp.ai.nat-lang:2287

olcott <NoOne@NoWhere.com> writes:
[...]
> My Mom just died of a stroke.

My sincere condolences.

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