Deutsch English Français Italiano |
<uvqcoo$23umj$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: Undecidability based on epistemological antinomies V2 Date: Thu, 18 Apr 2024 00:57:43 -0500 Organization: A noiseless patient Spider Lines: 29 Message-ID: <uvqcoo$23umj$1@dont-email.me> References: <uvq0sg$21m7a$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 18 Apr 2024 07:57:44 +0200 (CEST) Injection-Info: dont-email.me; posting-host="a1f32e60dc08f78f1ab1571cf690fea5"; logging-data="2226899"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18zSY5aTmSMYO5M4enKOS6C" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:2b9xXignV+bLaWkNOHFNXc+723E= Content-Language: en-US In-Reply-To: <uvq0sg$21m7a$1@dont-email.me> Bytes: 2165 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) is literally true whether or not Gödel meant it literally. Since it <is> literally true I am sure that he did mean it literally. > *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. > It is easy to understand that self-contradictory mean unprovable and irrefutable, thus meeting the definition of Incomplete(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 > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer