Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: 197 page execution trace of DDD correctly simulated by HHH ---
 Richard proves that he is clueless
Date: Tue, 2 Jul 2024 22:23:32 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <a6c36193b3d7181f8e63fc3b53aee6b7da47d792@i2pn2.org>
References: <v4vrfg$2793f$1@dont-email.me> <v5rcrh$fkks$1@dont-email.me>
 <v5s44b$jvgt$2@dont-email.me> <v5tp2t$vsqr$1@dont-email.me>
 <v5u97g$12udb$6@dont-email.me> <v5vi62$1oanb$3@i2pn2.org>
 <v5vljj$1b0k9$3@dont-email.me> <v5vocu$1oanb$10@i2pn2.org>
 <v5vp03$1fbi8$1@dont-email.me> <v5vpht$1oana$8@i2pn2.org>
 <v5vrac$1fg22$2@dont-email.me> <v5vrnq$1oana$10@i2pn2.org>
 <v5vsff$1fqfa$2@dont-email.me>
 <e9c681b90a30f1c1c0b14c970675c5d6b104f535@i2pn2.org>
 <v60se2$1kr1q$5@dont-email.me>
 <04db95a103cfbcb76bd6082752ed89932cfce5d5@i2pn2.org>
 <v620nf$1qutj$1@dont-email.me>
 <adab42d299905f4219330596cccb5184f5e09597@i2pn2.org>
 <v621b9$1qutj$3@dont-email.me>
 <95b8d2686a17a5fee6b5811ca115c902fbc7b17a@i2pn2.org>
 <v629fd$1s632$2@dont-email.me>
 <c6747d2097a1946c7ebbe140882831375219deea@i2pn2.org>
 <v62aa6$1s632$4@dont-email.me>
 <5b7927d3326970682c6165aa8d2b4bccee65df37@i2pn2.org>
 <v62b0t$1s632$5@dont-email.me>
 <f0b106f793e07d23ba6ac455dc795552de5a6d73@i2pn2.org>
 <v62bth$1s632$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 3 Jul 2024 02:23:33 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1962626"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v62bth$1s632$7@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4750
Lines: 74

On 7/2/24 10:09 PM, olcott wrote:
> On 7/2/2024 8:59 PM, Richard Damon wrote:
>> On 7/2/24 9:54 PM, olcott wrote:
>>> On 7/2/2024 8:48 PM, Richard Damon wrote:
>>>> On 7/2/24 9:42 PM, olcott wrote:
>>>>>
>>>>> The Tarski proof directly provides the detailed inference steps.
>>>>> So it is not that I do under understand the Gödel proof it is that
>>>>> this proof is opaque completely hiding all of the important details.
>>>>
>>>> No, you miss the fact that you are starting in the MIDDLE of an 
>>>> arguement, and that what you are thinking as a assumption is a 
>>>> proven statement (which you don't understand)
>>>>
>>>
>>> You can't correct my error because you know that you have no 
>>> understanding of the Tarski proof. It is the same tactic as
>>> always dishonestly deflect rather than make any attempt to
>>> correct to hide the fact that you are clueless.
>>>
>>>
>>
>> Nope, I WON'T correct your error, because you have proved yourself to 
>> be a LIAR.
>>
> You just proved that you are clueless.

Why, becasue I won't help a proven liar?

You have proven that you do not have the necessary background to 
understand it, and even if you did you would just LIE about what it 
says, just like you always do.

> 
>> I have explained it in the past, but you will not listen, because you 
>> have brainwashed yourself into beliving your own lies
>>
>> Until you either provide the Diagonalization proof you said you had, or 
> 
> *I never freaking said that I freaking had this*

So you admit to claiming things that you do not know?

That is just as bad.

Remember, you said:
> 
> Diagonalization conclusively proves otherwise and you know it.
> Maybe the issue is that you are fundamentally a liar.
> 

So, that seems to say you know a proof that proves something, I guess 
you are just admitting you don't know what you are talking about.

I guess we should also consider EVERYTHING that you claim "must be true" 
is likely just another of your damned lies.

> 
> I know that it does prove that G is unprovable yet is
> horse shit because it totally hides why G is unprovable.
> 

G is unprovable, because there is no finite proof of it, and you seem to 
agree to that.

But G is also true, because it can not be false, and there *IS* an 
infinite logic sequence that can be done in PA that shows it to be true.

Also, because G is a statement about the existance of a finite number 
with a specific computable property, it WILL be either True or False. It 
seems you logic doesn't want to accept such ideas, because you logic can 
only work on much simpler systems (if at all).

YOU are the one full of Horse Shit because you don't understand logic, 
and you even contradict your own definitions.