Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups: comp.theory
Subject: Re: Simply defining =?iso-8859-1?Q?G=F6del?= Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability)
Date: Thu, 30 Jul 2020 02:38:45 +0100
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <87sgd97pei.fsf@bsb.me.uk>
References: <Bf2dnacH3PC-wY7CnZ2dnUU7-VnNnZ2d@giganews.com> <Nu2dnSn-YrOkHoLCnZ2dnUU7-T2dnZ2d@giganews.com> <87wo2ocrss.fsf@bsb.me.uk> <s4-dnU5y3IXzF4LCnZ2dnUU7-IednZ2d@giganews.com> <87r1swcr6l.fsf@bsb.me.uk> <mbydnRuvXLxlDYLCnZ2dnUU7-afNnZ2d@giganews.com> <87lfj3d2fn.fsf@bsb.me.uk> <weCdncIZ1KBtyb3CnZ2dnUU7-bOdnZ2d@giganews.com> <87ft9bd1nz.fsf@bsb.me.uk> <sLCdnamhXZp-xb3CnZ2dnUU7-IvNnZ2d@giganews.com> <87a6zjcu95.fsf@bsb.me.uk> <xMWdnXkYCKpa473CnZ2dnUU7-RPNnZ2d@giganews.com> <874kprcno2.fsf@bsb.me.uk> <OtOdnYL1N6piPL3CnZ2dnUU7-cHNnZ2d@giganews.com> <87h7trb36f.fsf@bsb.me.uk> <WaWdnQCUJ5OaQr3CnZ2dnUU7-WvNnZ2d@giganews.com> <87v9i69vzj.fsf@bsb.me.uk> <pvGdnZEyVs3rXbzCnZ2dnUU7-VGdnZ2d@giganews.com> <8a78b1af-b6af-45d4-83eb-95682fa579c4o@googlegroups.com> <87r1su803b.fsf@bsb.me.uk> <lsKdnUxNcMADlr_CnZ2dnUU7-YHNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org; posting-host="877412a411aebc0b51c676483b2d6603"; logging-data="10596"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/cPLokdN3h6lg7Q1e3+4jJOwjG3fmYZWk="
Cancel-Lock: sha1:ltpRQ7TelQ0Y5SHRXGXOhyRLu9I= sha1:ye2mQ8H9Y3MSwvyIZgHwiqUgryo=
X-BSB-Auth: 1.7b07ff88454bb1576f7c.20200730023845BST.87sgd97pei.fsf@bsb.me.uk
Xref: csiph.com comp.theory:22031

olcott <NoOne@NoWhere.com> writes:

> On 7/29/2020 4:47 PM, Ben Bacarisse wrote:
<cut>
>> Better would be to stick to the usual definition of a binary relation on
>> H which is simply a subset of HxH.
>
> Where D is the set of humans:
> <a26, a87> ∈ Father_of(x, y) is Boolean.

More and different junk.  Now we have no !s (did you ditch that
notation?) but I am sure that, despite appearances, a26 is not a
constant because you've said it so often.  Shame you won't write it
differently.  But now a pair can be a member of something that looks
like a formula with two free variables?  No, I think it's another hint.
This is suggestive maths.

-- 
Ben.