Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.theory > #106873

Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case

From Alan Mackenzie <acm@muc.de>
Newsgroups comp.theory, sci.logic
Subject Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case
Followup-To comp.theory
Date 2024-06-10 08:35 +0000
Organization muc.de e.V.
Message-ID <v46drm$13ke$1@news.muc.de> (permalink)
References (9 earlier) <v45ive$3tpr9$2@dont-email.me> <v45jqr$3h642$3@i2pn2.org> <v45kiu$3ue8q$2@dont-email.me> <v45lak$3h641$3@i2pn2.org> <v45m0m$3ukqt$1@dont-email.me>

Cross-posted to 2 groups.

Followups directed to: comp.theory

Show all headers | View raw


[ Followup-To: set ]

In comp.theory olcott <polcott333@gmail.com> wrote:
> On 6/9/2024 8:36 PM, Richard Damon wrote:
>> On 6/9/24 9:23 PM, olcott wrote:

[ .... ]

>>> THIS IS AN OFFICIAL CEASE AND DESIST NOTIFICATION.
>>> STOP CALLING ME A LIAR.

>> Then stop Lying!

> *I never have lied and you know it*

You have frequently lied.  All these times when you have called your
notions "verified facts", but have been unable to show the verification.
All these other times when you have said something is "undeniably proven"
or the like, and there is no proof in sight.  And there was that little
lie when you said you had a fully worked out turing machine which
contradicted a well known proof of the Halting Theorem.

> *THAT YOU REFUSE TO EVEN POINT OUT ANY 100% SPECIFIC MISTAKE*
> *AND PERSIST IN CALLING ME A LIAR AFTER A CEASE-AND-DESIST ORDER*
> *WINS DEFAMATION CASES*

You have failed to withdraw these lies, or apologize for them.

The only way you are not a liar might be that your grasp of truth is so
tenuous that you are unable to distinguish truth from falsehood.  Whether
that would win you a defamation case is somewhat questionable.

> *I have proved that D is correctly simulated by H FOR THREE YEARS*
> *I have proved that D is correctly simulated by H FOR THREE YEARS*
> *I have proved that D is correctly simulated by H FOR THREE YEARS*

As an example you have insisted that you have proven the absurdity that a
correctly simulated machine D has a different behaviour from that same
machine running.  By the simple meaning of words, this cannot be true.
It is a lie.

> That D is correctly simulated by H is proved by the fact that the x86
> source-code of D exactly matches the two execution traces that I
> provided.

That's a proof?  Maybe if the two execution traces, simulated and
running, matched, there might be something to go on.  But that would only
apply to a specific H and its D; you still have to prove it for the
general case.

[ .... ]

> -- 
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

-- 
Alan Mackenzie (Nuremberg, Germany).

Back to comp.theory | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Simplified proof that DDD correctly simulated by HHH does not halt olcott <polcott333@gmail.com> - 2024-06-09 09:19 -0500
  Re: Simplified proof that DDD correctly simulated by HHH does not halt olcott <polcott333@gmail.com> - 2024-06-09 11:07 -0500
    Re: Simplified proof that DDD correctly simulated by HHH does not halt joes <noreply@example.com> - 2024-06-09 17:59 +0000
      Re: Simplified proof that DDD correctly simulated by HHH does not halt olcott <polcott333@gmail.com> - 2024-06-09 13:23 -0500
        Re: Simplified proof that DDD correctly simulated by HHH does not halt joes <noreply@example.com> - 2024-06-09 19:13 +0000
          Re: Simplified proof that DDD correctly simulated by HHH does not halt olcott <polcott333@gmail.com> - 2024-06-09 19:02 -0500
            Re: Simplified proof that DDD correctly simulated by HHH does not halt Richard Damon <richard@damon-family.org> - 2024-06-09 20:23 -0400
              Re: Simplified proof that DDD correctly simulated by HHH does not halt olcott <polcott333@gmail.com> - 2024-06-09 19:26 -0500
                Re: Simplified proof that DDD correctly simulated by HHH does not halt Richard Damon <richard@damon-family.org> - 2024-06-09 20:41 -0400
                Re: Simplified proof that DDD correctly simulated by HHH does not halt olcott <polcott333@gmail.com> - 2024-06-09 19:56 -0500
                Re: Simplified proof that DDD correctly simulated by HHH does not halt Richard Damon <richard@damon-family.org> - 2024-06-09 21:10 -0400
                Re: Simplified proof that DDD correctly simulated by HHH does not halt olcott <polcott333@gmail.com> - 2024-06-09 20:23 -0500
                Re: Simplified proof that DDD correctly simulated by HHH does not halt Richard Damon <richard@damon-family.org> - 2024-06-09 21:36 -0400
                D correctly simulated by H proved for THREE YEARS --- losing a defamation case olcott <polcott333@gmail.com> - 2024-06-09 20:48 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case Richard Damon <richard@damon-family.org> - 2024-06-09 22:16 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case olcott <polcott333@gmail.com> - 2024-06-09 21:39 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case Richard Damon <richard@damon-family.org> - 2024-06-09 22:45 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case olcott <polcott333@gmail.com> - 2024-06-09 21:53 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case Richard Damon <richard@damon-family.org> - 2024-06-09 23:09 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case olcott <polcott333@gmail.com> - 2024-06-09 22:21 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case Richard Damon <richard@damon-family.org> - 2024-06-10 07:16 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case Alan Mackenzie <acm@muc.de> - 2024-06-10 08:35 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- verified fact for 3 years olcott <polcott333@gmail.com> - 2024-06-10 09:39 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- verified fact for 3 years joes <noreply@example.com> - 2024-06-10 15:33 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- verified fact for 3 years Richard Damon <richard@damon-family.org> - 2024-06-11 21:44 -0400
            Re: Simplified proof that DDD correctly simulated by HHH does not halt joes <noreply@example.com> - 2024-06-10 08:40 +0000
              Re: Simplified proof that DDD correctly simulated by HHH does not halt olcott <polcott333@gmail.com> - 2024-06-10 10:27 -0500

csiph-web