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.