Deutsch English Français Italiano |
<uvq0sg$21m7a$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!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: Undecidability based on epistemological antinomies V2 Date: Wed, 17 Apr 2024 21:34:56 -0500 Organization: A noiseless patient Spider Lines: 19 Message-ID: <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 04:34:56 +0200 (CEST) Injection-Info: dont-email.me; posting-host="a1f32e60dc08f78f1ab1571cf690fea5"; logging-data="2152682"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+6dg1FN3YIkuAoMzg4lW/F" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:aqkVRgPElSbp/RpmiQgIxDqGRfw= Content-Language: en-US Bytes: 1716 ....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 -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer