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
Subject: Re: HHH maps its input to the behavior specified by it ---
Date: Sat, 10 Aug 2024 17:33:18 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <f2715e52691fec808c2ae5953e65fb42f4e19fa9@i2pn2.org>
References: <v8jh7m$30k55$1@dont-email.me> <v92gja$p1$3@dont-email.me>
 <v94m0l$ljf4$1@dont-email.me> <v95ae9$p5rb$1@dont-email.me>
 <v978dv$h1ib$1@dont-email.me> <v97j0q$ilah$2@dont-email.me>
 <ccc5dafb53acf66239baac0183a6291687794963@i2pn2.org>
 <v97l3j$kof0$2@dont-email.me> <v97pgq$l4f4$2@dont-email.me>
 <v97qf0$lise$2@dont-email.me> <v97rq3$l4f4$4@dont-email.me>
 <v97t7g$m8l6$1@dont-email.me>
 <332fdac834dd53dbe6a8650e170f08fac33ca2cf@i2pn2.org>
 <v988fu$r9k6$1@dont-email.me>
 <614b136972063ab2c9d5e3d91e4289858ef24f55@i2pn2.org>
 <v98ag9$rj63$1@dont-email.me>
 <9721b1bcc4a6849dabc5d7956754292823381840@i2pn2.org>
 <v98e8s$sddi$2@dont-email.me>
 <f7a568982428ce74da1635a0537c47580063d45b@i2pn2.org>
 <v98g9c$sres$1@dont-email.me>
 <5586bed1ae799730f4f5cda602007aa0a67a5b71@i2pn2.org>
 <v98hpa$t1hv$1@dont-email.me>
 <2fee2a47a11178b8ec9089878a51aa7ccb410fc2@i2pn2.org>
 <v98j19$taas$1@dont-email.me>
 <e594b5b47303846026e79ab95d1ba6b528ba6267@i2pn2.org>
 <v98leq$tna8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 10 Aug 2024 21:33:18 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2124525"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v98leq$tna8$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 6948
Lines: 143

On 8/10/24 5:18 PM, olcott wrote:
> On 8/10/2024 3:58 PM, Richard Damon wrote:
>> On 8/10/24 4:36 PM, olcott wrote:
>>>
>>> As I have countlessly proven it only requires enough correctly
>>> emulated steps to correctly infer that the input would never
>>> reach is "return" instruction halt state.
>>
>> Except that HHH does't do that, since if HHH decides to abort and 
>> return, then the DDD that it is emulating WILL return, just after HHH 
>> has stopped its emulation.
>>
>> You just confuse the behavior of DDD with the PARTIAL emulation that 
>> HHH does, because you lie about your false "tautology".
>>
>>
>>>
>>> Denying a tautology seems to make you a liar. I only
>>> say "seems to" because I know that I am fallible.
>>
>> Claiming a false statement is a tautology only make you a liar.
>>
>> In this case, you lie is that the HHH that you are talking about do 
>> the "correct emulation" you base you claim on.
>>
>> That is just a deception like the devil uses, has just a hint of 
>> truth, but the core is a lie.
>>
> 
> What I say is provably correct on the basis of the
> semantics of the x86 language.

Nope.

The x86 language says DDD will Halt if HHH(DDD) returns a value.
> 
>>>
>>> *You are stuck in repeat mode with nothing new*
>>> You either
>>> (a) Deny tautologies
>>> (b) Change the subject with the strawman deception
>>> (c) Pure ad hominem with no reasoning at all.
>>>
>>> The problem is (a) your "tautolgy" only applies to the HHHs that you 
>> don't then talk about, the ones that only emulate forever and never 
>> answer.
>>
> 
> Each element of this set corresponds to one element of
> the set of positive integers indicating the number of
> x86 instructions of DDD that it correctly emulates.

Right, and for EVERY finite number N, your HHH(DDD) will return to DDD, 
so DDD will return, it just returns after HHH has aborted its emulation 
of that DDD.

> 
> In other words you forgot that the set of positive numbers has no end.

Right, but true for all is true for all.

Given the full details of your set of HHH, we can compute the number of 
instructions that DDD will execute before it halts as a function of the 
number of actual x86 instructions that HHH emulates.

Remember, every HHH creates a NEW program DDD, so you can't use one 
trace to try to support the others.


> 
>> All other DDDs do halt.
>>
> 
> In other words you forgot that never reaching a final
> halt state does not count as halting.

But it does reach its final halt state, it is just the partial emulation 
of it by HHH didn't.

Rememver


> 
>> (b) YOU logic is the strawman deception, because YOU are the one 
>> changing the meanig.
>>
>> (c) You just don't understand what the ad hominem falacy is.
> 
> When your whole "rebuttal" is nothing besides insults.

But it isn't, unless you consider it an insult to point out the actual 
definitions of wrods, or the actual behavior of a program.

The rebuttal stand on their own without the statments where I use the 
fact that you are wrong to show the clear state of your mind,

> 
>> I don't say you must be wrong because you are "stupid" or some other 
>> attribute, I logically show that you are wrong, with a logical 
>> arguement, and then point out how your refusal to understand that 
>> error demonstartes your mental and moral condition.
>>
>> Now, the fact that you try to justify YOUR unsubstantiated position by 
>> trying to stick labels on me, but not try to actually defend your work, 
> 
> I have totally proven my work, you can't keep track
> of this proof from one message to the next.

Nope. You haven't proven anything.

You have made CLAIMS, not PROOF.

Where is your reference to the base accepted truths of the system that 
you built your argument on.

Where is the statement of the truth preserving operations to combine 
those statement to get to you claim.

Nowhere, because you don't have a proof, and I am not sure you know how 
to make one. It seems you just know some phylosophical arguement 
techniques, which are NOT "proofs" in a formal system.

It seems you just don't understand what you are working in, and are 
jusdt totally lost in it, just as you are lost in life since you base 
you life on lies and deceit.

You try to claim some tautologies, but refuse to clean up your sloppy 
language that makes the statements not actually tautologies under the 
definitions that you are trying to use.

> 
>> just shows that YOU are the one doing the fallacy, and that you are 
>> effectively admitting you have nothing to base you defense on, so are 
>> just trying to get away with a fallacy.
>>
>> Sorry, you are just proving how stupid you are, and that you are so 
>> stupid you can't even understand your error, which is the worse kind 
>> of stupid you can be.
>>
>> The fact that you don't even try to base you logic on ANY actual 
>> accepted basis just proves you have nothing to work from.
> 
>