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
Subject: Re: Simply defining =?utf-8?Q?G=C3=B6del?= Incompleteness and Tarski Undefinability away V24 (Are we there yet?)
Date: Thu, 16 Jul 2020 13:12:02 -0700
Organization: None to speak of
Lines: 30
Message-ID: <87h7u7z0bx.fsf@nosuchdomain.example.com>
References: <u8KdneInk71rAp_CnZ2dnUU7-bPNnZ2d@giganews.com> <fwezh83boxw.fsf@foxtrot.inf.ed.ac.uk> <kZ-dnXdGw7oC5ZHCnZ2dnUU7-f_NnZ2d@giganews.com> <87365vnik3.fsf@bsb.me.uk> <TJidnbVhNKGAb5HCnZ2dnUU7-WfNnZ2d@giganews.com> <87a703lz5c.fsf@bsb.me.uk> <avadnRPjFtHdvJDCnZ2dnUU7-dfNnZ2d@giganews.com> <87pn8ykrwq.fsf@bsb.me.uk> <7e-dnQpoj9jkoZPCnZ2dnUU7-UHNnZ2d@giganews.com> <875zapk0bb.fsf@bsb.me.uk> <zsCdncdz36GK7ZPCnZ2dnUU7-S_NnZ2d@giganews.com> <87lfjkixu6.fsf@bsb.me.uk> <neidnU7COZFyr5LCnZ2dnUU7-XnNnZ2d@giganews.com> <87a700ic7t.fsf@bsb.me.uk> <U5WdnWEkzqNBCZLCnZ2dnUU7-TnNnZ2d@giganews.com> <874kq8iab9.fsf@bsb.me.uk> <kv2dndZf1f-9ApLCnZ2dnUU7-VvNnZ2d@giganews.com> <87sgdsgstv.fsf@bsb.me.uk> <_a6dnc6TmNMJWpLCnZ2dnUU7-N_NnZ2d@giganews.com> <87blkfh4zg.fsf@bsb.me.uk> <8rKdnZMbAoXxNY3CnZ2dnUU7-eednZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="02ec520d1b2b3210c7ee6ae74092840a"; logging-data="1583"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18DMBRHbZIpURv/qVjLYB0n"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
Cancel-Lock: sha1:8mE9SXeU4TXH3UhiQ72aau/pJto= sha1:1PmNgZP1IXT4F1zeEK2nzTLr/sg=
Xref: csiph.com comp.theory:21710

olcott <NoOne@NoWhere.com> writes:
> On 7/16/2020 10:08 AM, Ben Bacarisse wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>> On 7/15/2020 8:19 PM, Ben Bacarisse wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>> <cut>
>>>>> Ultimately for the entire body of all analytical knowledge truth is
>>>>> the mathematical mapping from expressions of language to Boolean true.
>>>>
>>>> It's not just any mapping, it's a very specific one, and you don't have
>>>> the right mind set to learn what that mapping is.  Why should anyone
>>>> take you seriously when you can't show that you know what you are
>>>> talking about?
>>>
>>> Maybe you are still stuck on FOL. My expression also applies to
>>> formalized naturual language.
>>
>> You don't know what true means in /any/ formalism yet.  And I don't think
>> you want to know.  You prefer to pontificate.  I am happy to leave to do
>> that.
>
> My other much more elaborate response that I spent an hour on
> addresses these these issues.

Not to anyone's satisfaction other than your own.

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