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
Date: Tue, 2 Jul 2024 21:48:33 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <5b7927d3326970682c6165aa8d2b4bccee65df37@i2pn2.org>
References: <v4vrfg$2793f$1@dont-email.me> <v5msjt$1d3t3$9@i2pn2.org>
 <v5mtba$3elj0$1@dont-email.me> <v5n2ah$1d3t3$10@i2pn2.org>
 <v5n2sk$3fm1k$1@dont-email.me> <v5po6i$1h5u1$1@i2pn2.org>
 <v5pp9m$2jk8$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 3 Jul 2024 01:48:33 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1962627"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <v62aa6$1s632$4@dont-email.me>
Bytes: 4940
Lines: 84

On 7/2/24 9:42 PM, olcott wrote:
> On 7/2/2024 8:32 PM, Richard Damon wrote:
>> On 7/2/24 9:28 PM, olcott wrote:
>>> On 7/2/2024 8:07 PM, Richard Damon wrote:
>>>>
>>>> Note, a lot of these proofs are about a system and a meta-system 
>>>> based on it, and the meta-system has been carefully constructed so 
>>>> that Truths in the meta-system, that don't refernce things just in 
>>>> the meta system, ARE true in the original system.
>>>>
>>>
>>> No that is merely a false assumption.
>>> Tarski tries to get away with this exact same thing
>>> and his proof is 100,000-fold easier to understand.
>>
>> Nope, you just don't understand what Tarski is saying,
>>
>>>
>>> https://liarparadox.org/Tarski_247_248.pdf
>>> https://liarparadox.org/Tarski_275_276.pdf
>>>
>>> To the best of my current knowledge it can be
>>> accurately summed up as this:
>>>
>>> This sentence is not true: "This sentence is not true"
>>
>> Nope.
>>
>>>
>>> The outer sentence in his meta-theory is true because
>>> the inner sentence in his theory is not a truth-bearer.
>>>
>>> I have never encountered any logician that pays any heed
>>> what-so-ever to the notion of truth-bearer or truth-maker.
>>>
>>> It is as if they take their incorrect foundations of logic
>>> as inherently infallible making no attempt what-so-ever to
>>> double check this false assumption.
>>>
>>>
>>>
>>
>> The fact that you need to try to "reduce" statements, and get the 
>> meaning wrong, just shows you lack the necessary prerequisites to 
>> understand the logic.
>>
> 
> It is as simple as this with Gödelization and diagonalization
> if is 100% impossible to see the inference steps thus making
> analysis of these steps impossible.

That isn't a PROOF, just an admission of your own stupidity.

And where is that Diagonalization proof that shows Godel wrong, or are 
you admitting you are just a LIAR and never had one?

> 
> 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)

> 
>> So, where is that Diagonalization proof you said you had.
>>
> 
> I think that Diagonalization is nonsense yet it is the basis that
> everyone else uses. No one else finds that there is an infinite
> sequence of steps in PA that does not count as a proof because
> it is not finite. There simply are no steps in PA so they go to MM.

So, then why did you claim to have a diagonalization proof?

I guess you are just admitting you are nothing but a damned liar.

You are making that very clear, so we should beleive ANYTHING you say.

> 
>> Until you provide it, or admit you lied about it, I won't help you 
>> with your other misunderstandings.
>