Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko Newsgroups: sci.logic Subject: Re: Undecidability based on epistemological antinomies V2 Date: Fri, 19 Apr 2024 10:48:00 +0300 Organization: - Lines: 34 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 19 Apr 2024 09:48:00 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c7afb6c139c01ddf319e51dd62edb510"; logging-data="2962330"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/i99rELlkXHY21xuxCii52" User-Agent: Unison/2.2 Cancel-Lock: sha1:+c8n7PUwFRkW8W3t1et2v01BLek= Bytes: 2265 On 2024-04-18 22:33:03 +0000, Richard Damon said: > On 4/18/24 10:53 AM, olcott wrote: >> On 4/17/2024 9:34 PM, olcott wrote: >>> ...14 Every epistemological antinomy can likewise be used for a similar >>> undecidability proof...(Gödel 1931:43-44) >>> >>> *Parphrased as* >>> Every expression X that cannot possibly be true or false proves that the >>> formal system F cannot correctly determine whether X is true or false. >>> Which shows that X is undecidable in F. >>> >>> Which shows that F is incomplete, even though X cannot possibly be a >>> proposition in F because propositions must be true or false. >>> >>> A proposition is a central concept in the philosophy of language, >>> semantics, logic, and related fields, often characterized as the primary >>> bearer of truth or falsity. >>> https://en.wikipedia.org/wiki/Proposition >>> >> >> I posted this here to establish priority date. I already have >> another person on a different forum that fully understands what >> I am saying and are publishing my ideas as their own. >> > > Why do you need "priority" to a LIE? To produce a lie requires a creative action that is not needed to produce a truth, which may have be significant for copyright. -- Mikko