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 <mikko.levanto@iki.fi>
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: <uvt7jg$2qcsq$1@dont-email.me>
References: <uvq0sg$21m7a$1@dont-email.me> <uvrc4q$2acf7$2@dont-email.me> <uvs72v$1h01f$2@i2pn2.org>
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