Deutsch English Français Italiano |
<v6ncbf$2501i$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: sci.logic,comp.theory Subject: Re: Infinite proofs do not derive knowledge Date: Wed, 10 Jul 2024 20:26:07 -0500 Organization: A noiseless patient Spider Lines: 94 Message-ID: <v6ncbf$2501i$2@dont-email.me> References: <v67685$6fr5$1@solani.org> <v6e5ho$bbcb$2@dont-email.me> <0f3e40caf51b61ebb05c4ec2ae44042bff632017@i2pn2.org> <v6el1u$e6tb$1@dont-email.me> <3c9ef913b1fbbca50c1a4acd02401906646327ed@i2pn2.org> <RpKdnUjg8sjx0Bb7nZ2dnZfqlJydnZ2d@giganews.com> <2d0b6260615af8afac79ee8de57bcd45c2f2056f@i2pn2.org> <v6fk9p$mr5k$1@dont-email.me> <8bd5f2159853ff17ef81b27a85141bccc324e7d9@i2pn2.org> <v6fkrb$mr5k$2@dont-email.me> <v6fl9a$mr5k$3@dont-email.me> <v6huj5$12ktu$2@dont-email.me> <7387a77d06e4b00a1c27a447e2744a4f10b25e49@i2pn2.org> <v6i08a$12ktu$4@dont-email.me> <c81e1794259853dfd7724900ebfab484679615be@i2pn2.org> <v6m42j$1tj30$9@dont-email.me> <0453e43622bf895bdc9caad315068f0ac80d36b3@i2pn2.org> <v6n7rk$24dmg$1@dont-email.me> <d747043117d73e3a68765391fdbc684029a96bf2@i2pn2.org> <v6n8aa$24dmg$2@dont-email.me> <18f44ac99398cb1f7f1ffc1786a510931e5bb6f9@i2pn2.org> <v6nae3$24jgn$1@dont-email.me> <250427919eb3aae1bdcae69c970869541cb150af@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 11 Jul 2024 03:26:07 +0200 (CEST) Injection-Info: dont-email.me; posting-host="cb7a71f238b6f1f0fff1b8b0208457d0"; logging-data="2261042"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19ejeRvcEEI5WBFIW2uB+FQ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:zLhDDDo87Jp2tzwMU8ZuAM5PeKo= Content-Language: en-US In-Reply-To: <250427919eb3aae1bdcae69c970869541cb150af@i2pn2.org> Bytes: 5576 On 7/10/2024 8:13 PM, Richard Damon wrote: > On 7/10/24 8:53 PM, olcott wrote: >> On 7/10/2024 7:33 PM, Richard Damon wrote: >>> On 7/10/24 8:17 PM, olcott wrote: >>>> On 7/10/2024 7:13 PM, Richard Damon wrote: >>>>> On 7/10/24 8:09 PM, olcott wrote: >>>>>> On 7/10/2024 7:01 PM, Richard Damon wrote: >>>>>>> On 7/10/24 9:58 AM, olcott wrote: >>>>>>>> On 7/8/2024 7:37 PM, Richard Damon wrote: >>>>>>>>> On 7/8/24 8:28 PM, olcott wrote: >>>>>>>>>> >>>>>>>>>> Every expression of language that cannot be proven >>>>>>>>>> or refuted by any finite or infinite sequence of >>>>>>>>>> truth preserving operations connecting it to its >>>>>>>>>> meaning specified as a finite expression of language >>>>>>>>>> is rejected. >>>>>>>>>> >>>>>>>>> >>>>>>>>> So? >>>>>>>>> >>>>>>>>> Tarski's x like Godel's G are know to be true by an infinite >>>>>>>>> sequence of truth preserving operations. >>>>>>>>> >>>>>>>> >>>>>>>> Every time that you affirm your above error you prove >>>>>>>> yourself to be a liar. >>>>>>> >>>>>>> What error? >>>>>>> >>>>>>> We know, that in the system the statements are made, tehre is an >>>>>>> infinite chain of truth preserving operationf from teh >>>>>>> fundamental truths of the sytsems to the conclusion. >>>>>>> >>>>>>> We know that because in a meta-theory we can develop additional >>>>>>> knowledge allowing us to see the infinite chain, with something >>>>>>> like an induction property or something else that reduces the >>>>>>> infinite to finite. >>>>>>> >>>>>>>> >>>>>>>> On 7/8/2024 9:59 PM, Richard Damon wrote: >>>>>>>> > No, infinite "proofs" determine TRUTH, not knowledge. >>>>>>>> >>>>>>>> You could just say, "I didn't say that correctly" >>>>>>>> and we would be done. >>>>>>> >>>>>>> Right, an infinite "proof", in quotes because that is the term >>>>>>> YOU use, even though there is no such thing, but in actuality it >>>>>>> is an infinite chain of truth preserving operations DO establish >>>>>>> that something is True in the system, but by being infinite, we >>>>>>> can never dirrectly follow that path to know it. >>>>>> >>>>>> That was your mistake. You said that we could know it. >>>>> >>>>> Because we can, by knowledge gained in the meta-system. >>>>> >>>> >>>> Then it is no longer an infinite proof oh dim one. >>>> It is a finite proof in another system. >>> >>> Right, ANOTHER SYSTEM. Godel's proof is that there is a statment that >>> is true in the system it is in with no proof IN THAT SYSTEM. >>> >>> Incompleteness is about a SPECIFIC SYSTEM having true statements IN >>> IT, what don't have proofs of them IN IT. >>> >> >> That is the fatal flaw right there. >> That I have food in my house does not mean >> that you will not starve to death. >> > > So, you admit to not understand what is being talked about. > I know what the common misconception is yet the violates this truism: Every expression of language that is {true on the basis of its meaning expressed using language} must have a connection by truth preserving operations to its {meaning expressed using language} is a tautology. The accurate model of the actual world is expressed using formal language and formalized natural language. There is no such connection from g in PA there is such a connection from g in MM. You even mistook a finite proof for an infinite one. That is as bad as mistaking a turd for a hamburger. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer