Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: sci.logic Subject: Re: Mathematical incompleteness has always been a misconception Date: Thu, 30 Jan 2025 19:24:07 -0600 Organization: A noiseless patient Spider Lines: 41 Message-ID: References: <0a91bd587521969c17e88e93eb8b2076b7a3b0f7@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Fri, 31 Jan 2025 02:24:07 +0100 (CET) Injection-Info: dont-email.me; posting-host="c8ea502332c1ce874eeb9f2ef1eb0fea"; logging-data="3364056"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+jMMjld3f+QBceebN8BKOp" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:nd+OFB7ZLQGRYDOQKAjCiD2jC8k= In-Reply-To: <0a91bd587521969c17e88e93eb8b2076b7a3b0f7@i2pn2.org> Content-Language: en-US X-Antivirus: Norton (VPS 250130-10, 1/30/2025), Outbound message X-Antivirus-Status: Clean Bytes: 2948 On 1/30/2025 7:06 PM, Richard Damon wrote: > On 1/30/25 6:10 PM, olcott wrote: >> Within the entire body of analytical truth any expression of language >> that has no sequence of formalized semantic deductive inference steps >> from the formalized semantic foundational truths of this system are >> simply untrue in this system. (Isomorphic to provable from axioms). >> >> In other words when any expression of language of any system (formal >> or informal) has no semantic connection to its semantic meaning in >> this system then this expression is simply nonsense in this system. >> "This sentence is untrue" is Boolean nonsense. >> >> Copyright PL Olcott 2016 through 2025. >> > > Except that isn't what incompleteness says. > > Incompleteness is about the existance of statements which are TRUE, > because there is a sequence of formal semantic deduction that reaches > the statement, abet an infinite one, but there is no finite sequnce of > formal semantic deduction to form a proof. > That might be correct. If it is correct then all then all that it is really saying is that math is incomplete because some key pieces were intentionally left out. What-so-ever makes an expression true its philosophical truth maker and thus is proof in the broadest sense of the term {proof}, not the narrow mathematical idiomatic sense. > You are just so ignorant about the distinction between knowledge and > truth, that you can't make that distinction. > > And this stupidity blinds you to the logic that you are trying to > manipulate, so you just prove that stupidity. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer