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 V24 (Are we there yet?) Date: Mon, 13 Jul 2020 19:11:03 -0700 Organization: None to speak of Lines: 25 Message-ID: <87sgdu3ky0.fsf@nosuchdomain.example.com> References: <2tCdnb0urbddzpfCnZ2dnUU7-b_NnZ2d@giganews.com> <87k0z85tt0.fsf@nosuchdomain.example.com> <87d0505kmk.fsf@nosuchdomain.example.com> <5Lmdnehh4P6hLZbCnZ2dnUU7-LdQAAAA@giganews.com> <878sfo5elp.fsf@nosuchdomain.example.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: reader02.eternal-september.org; posting-host="4502a91299fcc6f473e7c6cd344f8c9a"; logging-data="30156"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+i5eKD7kUNkLlHDl7bS+NW" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cancel-Lock: sha1:C3E/4TA26lvCCs5gGKnGZwIbhyA= sha1:xL29nEhM1qs1QmQfBX12tvMnHdg= Xref: csiph.com comp.theory:21639 comp.ai.philosophy:21970 comp.ai.nat-lang:2377 olcott writes: [...] > If a sentence is undecidable in Q then this is merely another way of > saying that it is neither true nor false in Q. Because you *assume* that all true statements are provable and all provable statements are true. Gödel said otherwise. You have yet to offer convincing evidence that Gödel was wrong. It's conceivable, I suppose, that you have offered such evidence and I either didn't see it or didn't understand it. My judgement is based in large part on the reactions of others here who seem to know mathematical logic better than I do. I acknowledge that that's not definitive. Do you at least understand that most people here disagree with you? (As far as I can tell, "most people" consists of everyone who posts here other than you. There might be exceptions that I'm missing.) And do you understand that people's disagreement with you is sincere and not rooted in a desire to piss you off personally? -- 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 */