Path: csiph.com!aioe.org!.POSTED.sIvJlgDMMMRsIfAtDg6+SQ.user.gioia.aioe.org!not-for-mail From: R Kym Horsell Newsgroups: comp.theory Subject: Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Date: Fri, 17 Jul 2020 11:50:07 +0000 (UTC) Organization: kymhorsell.com Lines: 20 Message-ID: References: <87365vnik3.fsf@bsb.me.uk> <87a703lz5c.fsf@bsb.me.uk> <87pn8ykrwq.fsf@bsb.me.uk> <7e-dnQpoj9jkoZPCnZ2dnUU7-UHNnZ2d@giganews.com> <875zapk0bb.fsf@bsb.me.uk> <87lfjkixu6.fsf@bsb.me.uk> <87eepc1cda.fsf@nosuchdomain.example.com> <87wo33z5fl.fsf@nosuchdomain.example.com> <2sKdndYwVpfsAo3CnZ2dnUU7-VfNnZ2d@giganews.com> <87lfjjz0du.fsf@nosuchdomain.example.com> <87v9imyeft.fsf@nosuchdomain.example.com> Reply-To: kym@kymhorsell.com NNTP-Posting-Host: sIvJlgDMMMRsIfAtDg6+SQ.user.gioia.aioe.org X-Complaints-To: abuse@aioe.org User-Agent: tin/1.8.3-20070201 ("Scotasay") (UNIX) (OpenBSD/4.7 (i386)) X-Notice: Filtered by postfilter v. 0.9.2 Xref: csiph.com comp.theory:21742 Alan Smaill wrote: ... > Pete has seen one (provable) instance of commutativity, and > taken it as a proof of the (unprovable) universal case. It's a macro. On another group PO presented an idealised implementation of "is not married" as a general implementation of sound negation-as-failure. -- [Even the Big End of Town bleeds:] BHP Billiton chief Andrew Mackenzie has told reporters his accountants tell him the deficit levy he'll pay under the Hockey budget will hurt him just as much as a pensioner paying for a couple visits per week to the doctor. Mr Mackenzie earns a base salary of $2 mn pa; the 2% levy will cost him $36.4k. An Australian pensioner receives about $20k pa; and 3 doctor visits per wk will cost $21 under the new rules -- about 5.5% of their income. -- 29 May 2014