Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.theory Subject: Re: Simply defining =?utf-8?Q?G=C3=B6del?= Incompleteness and Tarski Undefinability away V24 (Are we there yet?) Date: Mon, 20 Jul 2020 19:59:54 -0700 Organization: None to speak of Lines: 18 Message-ID: <87pn8ptvx1.fsf@nosuchdomain.example.com> References: <87sgdrz49w.fsf@nosuchdomain.example.com> <874kq7yug9.fsf@nosuchdomain.example.com> <4dKdnXavpI9eu4zCnZ2dnUU7-S3NnZ2d@giganews.com> <87ft9qy3cn.fsf@nosuchdomain.example.com> <87imelefjh.fsf@bsb.me.uk> <87d04ser16.fsf@bsb.me.uk> <875zakwk73.fsf@nosuchdomain.example.com> <87v9ikcjdv.fsf@bsb.me.uk> <87k0yzcmhl.fsf@bsb.me.uk> <8fKdndiKLplIMYnCnZ2dnUU7-RvNnZ2d@giganews.com> <87ft9not86.fsf@bsb.me.uk> <87tuy1ofk4.fsf@bsb.me.uk> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="9cb5fddfb6baba36cf4dbcb45e564783"; logging-data="13232"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18qGK86dEx1CMKWgFe66J8V" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cancel-Lock: sha1:Nj364R0cyf/6G9hnwHOs5g0cU+4= sha1:PRRawRut5w5NJcvWkXlKp8j/U24= Xref: csiph.com comp.theory:21834 olcott writes: > On 7/20/2020 7:52 PM, Ben Bacarisse wrote: [...] >> You lied about having done that 18 months ago. To cover that lie you've >> been making excuses for why you have to write a whole steaming pile of >> X86 code just so you can bury whatever error it is you have made. > > I have never lied about this. The key algorithm was fully encoded in > pseudo-code the same night my very preciously little dog died: > 2018-12-13. This exactly same key algorithm defeats the H_Hat > counter-example template. Then show us the pseudo-code. -- 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 */