Path: csiph.com!aioe.org!.POSTED.opIzC+UpU1FF0qsNaB+JHA.user.gioia.aioe.org!not-for-mail From: Kaz Kylheku <793-849-0957@kylheku.com> Newsgroups: comp.theory Subject: Re: Simply defining =?UTF-8?Q?G=C3=B6del?= Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) Date: Fri, 24 Jul 2020 23:55:35 +0000 (UTC) Organization: Aioe.org NNTP Server Lines: 13 Message-ID: <20200724165403.181@kylheku.com> References: <262d87dd-6687-430e-9071-5a50eb68d65fo@googlegroups.com> NNTP-Posting-Host: opIzC+UpU1FF0qsNaB+JHA.user.gioia.aioe.org X-Complaints-To: abuse@aioe.org User-Agent: slrn/1.0.3 (Linux) X-Notice: Filtered by postfilter v. 0.9.2 Xref: csiph.com comp.theory:21919 On 2020-07-24, olcott wrote: > On 7/24/2020 5:45 PM, David Kleinecke wrote: >> If you do not go the store then you can buy eggs while there >> because you are never there. >> >> Most people think this way. Honest! >> > > That kind of thinking gives despots permission to commit horrible crimes > against humanity as their own justified subjective interpretation. In this neck of the woods, though, we see only horrible crimes against humility.