Deutsch English Français Italiano |
<uvrbvs$2acf7$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: Undecidability based on epistemological antinomies V2 Date: Thu, 18 Apr 2024 09:50:36 -0500 Organization: A noiseless patient Spider Lines: 53 Message-ID: <uvrbvs$2acf7$1@dont-email.me> References: <uvq0sg$21m7a$1@dont-email.me> <uvq359$1doq3$4@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 18 Apr 2024 16:50:37 +0200 (CEST) Injection-Info: dont-email.me; posting-host="a1f32e60dc08f78f1ab1571cf690fea5"; logging-data="2437607"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+O1WvM4Q0xiZ2ZbiqLhU6y" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:0MY9z8r/95aWcQ0QQ9eXkkcvUxw= Content-Language: en-US In-Reply-To: <uvq359$1doq3$4@i2pn2.org> Bytes: 3155 On 4/17/2024 10:13 PM, Richard Damon wrote: > On 4/17/24 10: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. > > Nope. > > Just more of your LIES and STUPIDITY. > >> >> Which shows that F is incomplete, even though X cannot possibly be a >> proposition in F because propositions must be true or false. > > But that ISN'T the definition of "Incomplete", so you are just LYING. > > Godel showed that a statment, THAT WAS TRUE, couldn't be proven in F. > > You don't even seem to understand what the statement G actually is, > because all you look at are the "clift notes" versions, and don't even > understand that. > > Remember, G is a statement about the non-existance of a number that has > a specific property. Until you understand that, your continued talking > about this is just more LIES and DECIET, proving your absoulute STUPIDITY. > >> >> 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 >> > > Right, and if you don't know what the proposition is that you are > arguing about, you are just proven to be a stupid liar. > If you are going to continue to be mean and call me names I will stop talking to you. Even if you stop being mean and stop calling me names if you continue to dogmatically say that I am wrong without pointing out all of the details of my error, I will stop talking to you. This is either a civil debate and an honest dialogue or you will hear nothing form me. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer