| Deutsch English Français Italiano |
|
<vq27k6$rl27$5@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!eternal-september.org!.POSTED!not-for-mail From: dbush <dbush.mobile@gmail.com> Newsgroups: sci.logic Subject: Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth Date: Sun, 2 Mar 2025 13:22:00 -0500 Organization: A noiseless patient Spider Lines: 68 Message-ID: <vq27k6$rl27$5@dont-email.me> References: <vnh0sq$35mcm$1@dont-email.me> <vpn8q6$2jkdj$2@dont-email.me> <9c6309a46ca0fdf2ce98f50a09891e143d81ab90@i2pn2.org> <vpofp1$2qg88$1@dont-email.me> <b45af7804b64b9710e9ea63b1e9801141c8c52be@i2pn2.org> <vpopdm$2vaf3$2@dont-email.me> <0e0c21ec5ccaeec8f341a86ed64c7447c34d162b@i2pn2.org> <vpptsf$34vin$2@dont-email.me> <8638c66ecc1669437be5a141cfa358c8c6168cde@i2pn2.org> <vprcfr$3gqpb$1@dont-email.me> <f3d81048b6516b2adec13255c9a0dcf577e6bc49@i2pn2.org> <vptihj$3st19$5@dont-email.me> <f68172526d3a2f1c8880a03b01404446ef78ef05@i2pn2.org> <vq0bs4$f3k3$6@dont-email.me> <83cd07284fba793a0c2865dc5f6c21a9b9788a3e@i2pn2.org> <vq0nqj$kqua$4@dont-email.me> <vq1t54$qaok$1@dont-email.me> <vq1ve8$r6p7$3@dont-email.me> <vq20v3$rl27$1@dont-email.me> <vq22ek$r6p7$5@dont-email.me> <vq22s1$rl27$2@dont-email.me> <vq239p$ru20$2@dont-email.me> <vq23gq$rl27$3@dont-email.me> <vq23lp$ru20$4@dont-email.me> <vq23um$rl27$4@dont-email.me> <vq26ui$ru20$6@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 02 Mar 2025 19:21:59 +0100 (CET) Injection-Info: dont-email.me; posting-host="532f9ff796323674ebd2d76d6a96062e"; logging-data="906311"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19sHr7EBz6CyBW9lC9UfhZP" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:XuvV+stqGhQEmGomAshaYjmetWw= Content-Language: en-US In-Reply-To: <vq26ui$ru20$6@dont-email.me> Bytes: 4346 On 3/2/2025 1:10 PM, olcott wrote: > On 3/2/2025 11:19 AM, dbush wrote: >> On 3/2/2025 12:14 PM, olcott wrote: >>> On 3/2/2025 11:11 AM, dbush wrote: >>>> On 3/2/2025 12:08 PM, olcott wrote: >>>>> On 3/2/2025 11:00 AM, dbush wrote: >>>>>> On 3/2/2025 11:53 AM, olcott wrote: >>>>>>> On 3/2/2025 10:28 AM, dbush wrote:>>> So how does changing the >>>>>>> definition of truth prevent systems from >>>>>>>> existing that contain true statements that have *only* an >>>>>>>> infinite connection to their truthmaker? >>>>>>> >>>>>>> *This <is> how actual truth has always worked* >>>>>>> >>>>>>> If expression X has a connection to a truth-maker then >>>>>>> X is true otherwise X is untrue, yet possibly not false. >>>>>>> It does not matter what kind of connection this is. >>>>>>> >>>>>>> >>>>>> >>>>>> You didn't answer the question. >>>>>> >>>>> >>>>> Sure I did >>>>> >> It does not matter what kind of connection this is. >>>>> >>>>> It does not matter whether the connection is infinite >>>>> or not so STFU about it. >>>>> >>>>> >>>>> >>>> >>>> Dishonest dodge. >>>> >>>> You stated that your definition of truth prevents systems from >>>> existing that contain true statements that have *only* an infinite >>>> connection to their truthmaker. >>>> >>>> So how does that happen? >>> >>> I never said anything like that. >>> >> >> Yes you did: >> >> On 3/1/2025 11:46 PM, olcott wrote: >> > Incompleteness cannot possibly exist when true means >> > has a truth-maker and untrue means has no truth-maker >> > and false mean ~X has a truth-maker. > > Your paraphrase of that was terribly incorrect. > Has a truth-maker has always been the only correct > way to determine True(x) superseding and replacing > the ill-formed notion of provability. > I merely substituted the term "incompleteness" with it's official definition. That you don't understand that definition is not a rebuttal. That you attempted to change the idea of "provability" doesn't change the fact that "incompleteness" still refers to the original idea of "provability". A system is incomplete if it contains one or more true statements that contain *only* an infinite connection to their truthmakers. That doesn't change despite your idea of "truth", so incompleteness still exists.