Deutsch   English   Français   Italiano  
<5284d8e6029650b79ce510ebd6a1be0067e4c8a1@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!news.snarked.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology
 providing situational context.
Date: Fri, 21 Mar 2025 22:47:28 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <5284d8e6029650b79ce510ebd6a1be0067e4c8a1@i2pn2.org>
References: <vr1shq$1qopn$1@dont-email.me>
 <7f68c434c15abfc9d4b645992344f0e851f031a3@i2pn2.org>
 <vr4t3e$bkso$5@dont-email.me> <vr50bg$ed3o$5@dont-email.me>
 <vr5abg$m5ov$6@dont-email.me>
 <8ea8c8f1c661d0f2eef855af9b4c171d4f574826@i2pn2.org>
 <vr6po4$1udpn$7@dont-email.me>
 <4965dcbb84fc29c9ba9d3cea39b59a8608bfeb66@i2pn2.org>
 <vr7v51$2u81k$3@dont-email.me>
 <7db5f56a38a6b6eda2b63acc2568f5dedcc55efd@i2pn2.org>
 <vr9fp6$bv13$5@dont-email.me> <vrbrkd$2ii4j$1@dont-email.me>
 <vrbss5$2j07c$1@dont-email.me>
 <2dd0fa97e2387ba4bca36b40ca16925933b35d9a@i2pn2.org>
 <vrfe7q$1oabl$1@dont-email.me>
 <0e92642bf4519e50ba48d51b52d17749c6e19664@i2pn2.org>
 <vri3va$3egq$1@dont-email.me>
 <9495b0ea31b3c2559cf9515bfabe071d48cc9d39@i2pn2.org>
 <vrinjq$kefg$2@dont-email.me> <vrj702$14v65$1@dont-email.me>
 <vrjboo$17u8e$2@dont-email.me> <87h63mqizb.fsf@nosuchdomain.example.com>
 <vrkq4u$2h2aq$1@dont-email.me>
 <c01438a21ee1eb533ddaaef9b1d9444b27b5e46e@i2pn2.org>
 <vrl22i$2nttr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Mar 2025 02:47:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1214415"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vrl22i$2nttr$1@dont-email.me>
Bytes: 4758
Lines: 66

On 3/21/25 9:00 PM, olcott wrote:
> On 3/21/2025 7:01 PM, Richard Damon wrote:
>> On 3/21/25 6:44 PM, olcott wrote:
>>> On 3/21/2025 2:30 PM, Keith Thompson wrote:
>>>> Richard Heathfield <rjh@cpax.org.uk> writes:
>>>>> On 21/03/2025 08:11, Mikko wrote:
>>>>>
>>>>> <snip>
>>>>>
>>>>>> Another part of human knowledge is that there are fools that try to
>>>>>> argue against proven theorems.
>>>>>
>>>>> Well, if it ain't proven it ain't yet a theorem. But is that enough?
>>>>>
>>>>> The background to the work of Church, Turing, Gödel and the like is
>>>>> Hilbert's second problem: "The compatibility of the arithmetical
>>>>> axioms", and the background to /that/ problem is that in the late 19th
>>>>> century mathematicians were occasionally coming up with proofs of X,
>>>>> only to discover in the literature that not-X had already been
>>>>> proved. The question then was which proof had the bug?
>>>>>
>>>>> But what if they were /both/ right? It was an obvious worry, and so
>>>>> arose the great question: is mathematics consistent?
>>>>>
>>>>> And Gödel proved not only that it isn't, but that it can't be.
>>>>>
>>>>> Fortunately, to date inconsistency has tended to surface only in
>>>>> corner cases like the Halting Problem, but Gödel's Hobgoblin hovers
>>>>> over mathematics to this day.
>>>>
>>>> My understanding is that Gödel proved that there are statements
>>>> that are true but not provable.  It's still not possible for both
>>>> X and not-X to be provable.  If proofs exist for both, at least
>>>> one of the proofs must be flawed.
>>>>
>>>
>>> It seems that the short version is that G can be
>>> expressed in math yet cannot be linked to its
>>> semantic meaning in math. We need meta-math for this.
>>>
>>> In my system of the entire set of human general knowledge
>>> that can be expressed in language G is linked to its
>>> semantic meaning.
>>>
>>>
>>
>> No, G is fully connected with its BASIC semantics meaning in the 
>> language of math. 
> 
> That would mean that G is provable in F because
> a connection to its full semantics <is> its proof.
> 

Not if the connection is infinite.

G's connection to truth is that for EVERY natural number that you could 
ever try, NONE of them will satisfy that relationship.

In F there is no "short cut" to use induction on, so the semantic link 
is infinite in length, and thus its "value" would be infinite, which is 
not a natural number, so doesn't break the definition.

You don't seem to understand that infinite chains make something true 
but not provable, likely because you are just ignorant of how infinity 
works. That would also explain you other problems with logic, as most of 
those boil down to not understanding operation that work over a 
countable infinite set.