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

Liste des GroupesRevenir à s logic 
Sujet : D correctly simulated by H proved for THREE YEARS --- losing a defamation case
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 10. Jun 2024, 03:48:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v45m0m$3ukqt$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
On 6/9/2024 8:36 PM, Richard Damon wrote:
On 6/9/24 9:23 PM, olcott wrote:
On 6/9/2024 8:10 PM, Richard Damon wrote:
On 6/9/24 8:56 PM, olcott wrote:
On 6/9/2024 7:41 PM, Richard Damon wrote:
On 6/9/24 8:26 PM, olcott wrote:
On 6/9/2024 7:23 PM, Richard Damon wrote:
On 6/9/24 8:02 PM, olcott wrote:
On 6/9/2024 2:13 PM, joes wrote:
Am Sun, 09 Jun 2024 13:23:04 -0500 schrieb olcott:
On 6/9/2024 12:59 PM, joes wrote:
Am Sun, 09 Jun 2024 11:07:19 -0500 schrieb olcott:
typedef void (*ptr)(); // pointer to void function 01   void HHH(ptr
P, ptr I)
02   {
03     P(I);
04     return;
05   }
06 07   void DDD(int (*x)())
08   {
09     HHH(x, x);
10     return;
11   }
12 13   int main()
14   {
15     HHH(DDD,DDD);
16   }
17
>
In the above Neither DDD nor HHH ever reach their own return statement
thus never halt.
Most of my reviewers incorrectly believe that when HH(DD,DD) aborts
its simulated input that this simulated input halts.
>
You chopped out the mandatory prerequisite.
Please go back and prove that you understand what infinite recursion is
before proceeding.
Dude, I've got nothing to prove to you.
>
OK then we are done talking.
>
You instead could explain how you
can call a simulation that differs from the direct execution "correct".
Or why H and HH are different.
>
>
I could but you refuse to go through the steps of the proof,
one-at-a-time with mutual agreement at each step.
>
I am not going to tolerate circular head games that never
result in any mutual agreement.
>
>
I.E. Someone else is calling you out on your incorrect logic, so you are threatening to take your ball and go home.,
>
>
We must go through the steps one-at-a-time and have mutual agreement
on each step to eliminate miscommunication intentional or otherwise.
>
>
So, when someone questions what you mean by something, you need to clearify the meaning of it.
>
>
When someone "questions what you mean by something"
by calling me a liar they may go to actual Hell.
>
>
I only call you after you repeat the same basic lie several times after being corrected.
>
That is a valid definition of a Liar, and you fit.
>
>
THIS IS AN OFFICIAL CEASE AND DESIST NOTIFICATION.
STOP CALLING ME A LIAR.
>
>
 Then stop Lying!
 
*I never have lied and you know it*
*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*
*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*
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. *It is much easier to see in Google Groups*
On 5/29/2021 2:26 PM, olcott wrote:
[Would the simulation of D be infinitely nested unless simulating partial halt decider H terminated its simulation of D?]
https://groups.google.com/g/comp.theory/c/dTvIY5NX6b4/m/cHR2ZPgPBAAJ
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
9 Jun 24 * Simplified proof that DDD correctly simulated by HHH does not halt11olcott
9 Jun 24 `* Re: Simplified proof that DDD correctly simulated by HHH does not halt10olcott
10 Jun 24  `* D correctly simulated by H proved for THREE YEARS --- losing a defamation case9olcott
10 Jun 24   +* Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case7Richard Damon
10 Jun 24   i`* Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case6olcott
10 Jun 24   i `* Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case5Richard Damon
10 Jun 24   i  `* Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case4olcott
10 Jun 24   i   `* Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case3Richard Damon
10 Jun 24   i    `* Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case2olcott
10 Jun 24   i     `- Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case1Richard Damon
10 Jun 24   `- Re: D correctly simulated by H proved for THREE YEARS --- losing a defamation case1Alan Mackenzie

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal