Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.theory,comp.ai.philosophy,comp.ai.nat-lang,sci.lang.semantics Subject: Re: Simply defining =?utf-8?Q?G=C3=B6del?= Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Date: Tue, 21 Jul 2020 11:53:43 -0700 Organization: None to speak of Lines: 16 Message-ID: <871rl4u2bs.fsf@nosuchdomain.example.com> References: <871rl8dyg1.fsf@bsb.me.uk> <87lfjfovhm.fsf@bsb.me.uk> <87365mui5o.fsf@nosuchdomain.example.com> <9PCdnZ43HJ8Qy4vCnZ2dnUU7-a2dnZ2d@giganews.com> <87lfjdtvrb.fsf@nosuchdomain.example.com> <2-idnfpFIJ1MgIrCnZ2dnUU7-S-dnZ2d@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="9cb5fddfb6baba36cf4dbcb45e564783"; logging-data="10127"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18WMRXrw1IcMnAE8eMcKp0R" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cancel-Lock: sha1:VBezuupEFUP95T523vgWVVjuRec= sha1:F2ETxE5MPd6/AF87wi1hk5i6QQM= Xref: csiph.com comp.theory:21846 comp.ai.philosophy:22178 comp.ai.nat-lang:2534 olcott writes: [...] > φ is logically equivalent to its own provability. > > nothing in that formula means "this sentence"? > its own provability. > its own provability. > its own provability. > its own provability. Ignored due to obnoxious repetition. -- 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 */