Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: 197 page execution trace of DDD correctly simulated by HHH
Date: Wed, 3 Jul 2024 03:55:51 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <5a0cfef928e00d92ceadeee1ad799e3add135828@i2pn2.org>
References: <v4vrfg$2793f$1@dont-email.me> <v5ght9$21jrt$1@dont-email.me>
	<v5h558$24jbd$7@dont-email.me> <v5jcas$2m18t$2@dont-email.me>
	<v5k7ju$2qsdr$5@dont-email.me> <v5mcvo$1cgj0$3@i2pn2.org>
	<v5mklg$3cibm$7@dont-email.me> <v5mo8a$1d3t3$2@i2pn2.org>
	<v5mqge$3e4fd$2@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 3 Jul 2024 03:55:51 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1973943"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 5761
Lines: 89

Am Tue, 02 Jul 2024 17:58:55 -0500 schrieb olcott:
> On 7/2/2024 5:44 PM, Richard Damon wrote:
>> On 7/2/24 8:39 AM, olcott wrote:
>>> On 7/2/2024 6:30 AM, Richard Damon wrote:
>>>> On 7/1/24 11:34 PM, olcott wrote:
>>>>> On 7/1/2024 10:21 PM, Richard Damon wrote:
>>>>>> On 7/1/24 11:14 PM, olcott wrote:
>>>>>>> On 7/1/2024 9:44 PM, Richard Damon wrote:
>>>>>>>> On 7/1/24 10:34 PM, olcott wrote:
>>>>>>>>> On 7/1/2024 9:24 PM, Richard Damon wrote:
>>>>>>>>>> On 7/1/24 9:36 PM, olcott wrote:
>>>>>>>>>>> On 7/1/2024 7:38 PM, Richard Damon wrote:
>>>>>>>>>>>> On 7/1/24 8:59 AM, olcott wrote:
>>>>>>>>>>>>> On 7/1/2024 3:23 AM, Fred. Zwarts wrote:
>>>>>>>>>>>>>> Op 30.jun.2024 om 19:20 schreef olcott:
>>>>>>>>>>>>>>>

>>>>>>>>>>>>>> It cannot possibly return, because HHH aborts itself one
>>>>>>>>>>>>>> cycle too early, showing that the emulation is incorrect.
>>>>>>>>>>>>>> If that is over your head, try to learn how x86
>>>>>>>>>>>>>> instructions work.
>>>>>>>>>>>>>

>>>>>>>>>>>> A "Correct Emulation" is one that produces the same result as
>>>>>>>>>>>> the program at the input.
>>>>>>>>>>>>
>>>>>>>>>>> Which can only possibly occur be disregarding the semantics of
>>>>>>>>>>> the x86 language. Liars would do that ignoramuses would do
>>>>>>>>>>> that. Everyone with the equivalent of a BSCS would know that
>>>>>>>>>>> what I said is true.
>>>>>>>>>>>
>>>>>>>>>> Why do you say that? That is EXACTLY the definition of Correct
>>>>>>>>>> Emulation.


>>>>>>> It may seem that way when you don't bother to pay attention that
>>>>>>> this definition is contradicted by verified facts.
>>>>>>
>>>>>> WHAT "Verified facts".
>>>>>> THe fact that DDD will halt since your HHH(DDD) retuns?

>>>>>>>> No, DDD does halt if HHH is a decider and HHH(DDD) returns.
>>>>>>>>
>>>>>>>>
>>>>>>> That is the same nutty bullshit as Gödel's 1931 incompleteness
>>>>>>> theorem. If there are no truth preserving operations in PA to
>>>>>>> either G or ~G then G has no truthmaker in PA making G not a
>>>>>>> truth-bearer in PA.

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

>> You need to show your proof, that you can form a "Diagonalization"
>> proof that Godel's sentence is not true.

>>> *This source says nothing like what you claim*
>>> https://plato.stanford.edu/entries/goedel-incompleteness/#FirIncTheCom
>>>
>> Because they aren't using that terminology. That doesn't make the
>> statement not true.
>> 
>> Note, they do talk about how the sentence, if it were false, could be
>> shown false by just showing the number that satisfies it. So, one way
>> to demonstrate that it IS true, is to just test EVERY number (all
>> countable infinite number of them) and show that none make the counter
>> example.
>> 
>> Most papers don't talk like that as we can't actually do it that way,
>> but it is the simple explanation that should be able to sink into your
>> head. If you want to show how that DOESN'T provide an infinite chain of
>> steps to the truth of the statement, go ahead and try.
>> 
>> Your problem is you like to quote from things that you don't
>> understand.
> 
> You have no source that validates this On 7/1/2024 10:21 PM, Richard
> Damon wrote:
>  > But there ARE a set of truth preserving operations in PA to show G,
>  > it is just that it takes an infinite number of them, so they don't
>  > constitute a proof.
> 
> Every source says that G is proved outside of PA and none says there are
> any infinite sequence of steps in PA that derive G.

IIRC you can enumerate the sentences that say „I don’t prove G”, of which
there are infinitely many. Together they say there is no proof.

-- 
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.