Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement

Liste des GroupesRevenir à theory 
Sujet : Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 10. Jul 2024, 20:27:27
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <60a1c2490e9bd9a5478fd173a20ed64d5eb158f9@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 10 Jul 2024 08:37:30 -0500 schrieb olcott:
On 7/10/2024 2:18 AM, Mikko wrote:
On 2024-07-09 14:14:16 +0000, olcott said:
On 7/9/2024 1:14 AM, Mikko wrote:
On 2024-07-08 17:36:58 +0000, olcott said:
On 7/8/2024 11:16 AM, Fred. Zwarts wrote:
Op 08.jul.2024 om 18:07 schreef olcott:
>
Try to show how infinity is one cycle too soon.
>
You believe that two equals infinity.
>
void Infinite_Loop()
{
   HERE: goto HERE;
}
void Infinite_Recursion()
{
   Infinite_Recursion();
}
void DDD()
{
   HHH(DDD);
}
Two cycles is enough to correctly determine that none of the above
functions correctly emulated by HHH can possibly halt.
That you don't see this is ignorance or deception.
>
There is an important detail that determines whether an infinite
execution can be inferred. That is best illustrated by the following
examples:
void Finite_Loop()
{
  int x = 10000;
HERE:
  if (x > 0) {
    x--;
    goto HERE;
  }
}
void Finite_Recursion(int n)
{
  if (n > 0) {
    Finite_Recursion(n + 1);
  }
}
void DDD()
{
  HHH(DDD); // HHH detects recursive simulation and then simulates
  no more }
The important difference is that in my examples there is a
conditional instruction that can (and does) prevent infinite
exectuion.
>
When we ask:
Does the call from DDD emulated by HHH to HHH(DDD) return?
 
Why would anyone ask that? A question should make clear its topic.
Instead one could ask whether HHH can fully emulate DDD if that is what
one wants to know. Or one may think that HHH and DDD are so
unimteresting that there is no point to ask anyting about them.
 
A correct emulator can correctly any correct x86 instructions.
When it emulates non-halting code then itself does not halt.
Oh? Maybe you should give your simulator and decider different names
so they don't get confused. Does HHH abort or not?

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

Date Sujet#  Auteur
3 Jul 24 * Liar detector: Fred, Richard, Joes and Alan253olcott
3 Jul 24 +* Re: Liar detector: Fred, Richard, Joes and Alan232Fred. Zwarts
3 Jul 24 i`* Re: Liar detector: Fred, Richard, Joes and Alan231olcott
3 Jul 24 i +* Re: Liar detector: Fred, Richard, Joes and Alan209Fred. Zwarts
3 Jul 24 i i`* Re: Liar detector: Fred, Richard, Joes and Alan208olcott
3 Jul 24 i i `* Re: Liar detector: Fred, Richard, Joes and Alan207Fred. Zwarts
3 Jul 24 i i  `* Re: Liar detector: Fred, Richard, Joes and Alan206olcott
3 Jul 24 i i   `* Re: Liar detector: Fred, Richard, Joes and Alan205Fred. Zwarts
3 Jul 24 i i    `* Re: Liar detector: Fred, Richard, Joes and Alan204olcott
4 Jul 24 i i     `* Re: Liar detector: Fred, Richard, Joes and Alan203Fred. Zwarts
4 Jul 24 i i      `* Re: Liar detector: Fred, Richard, Joes and Alan202olcott
4 Jul 24 i i       +- Re: Liar detector: Peter Olcott (self-admitted)1Richard Damon
4 Jul 24 i i       `* Re: Liar detector: Fred, Richard, Joes and Alan200Fred. Zwarts
4 Jul 24 i i        `* Re: Liar detector: Fred, Richard, Joes and Alan199olcott
4 Jul 24 i i         `* Re: Liar detector: Fred, Richard, Joes and Alan198Fred. Zwarts
4 Jul 24 i i          `* Re: Liar detector: Fred, Richard, Joes and Alan197olcott
4 Jul 24 i i           `* Re: Liar detector: Fred, Richard, Joes and Alan196Fred. Zwarts
4 Jul 24 i i            `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement195olcott
5 Jul 24 i i             +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
5 Jul 24 i i             +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement3Mikko
5 Jul 24 i i             i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2olcott
5 Jul 24 i i             i `- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
5 Jul 24 i i             +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement188Fred. Zwarts
5 Jul 24 i i             i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement187olcott
5 Jul 24 i i             i +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement185Fred. Zwarts
5 Jul 24 i i             i i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement184olcott
5 Jul 24 i i             i i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement183Fred. Zwarts
5 Jul 24 i i             i i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement182olcott
5 Jul 24 i i             i i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement181Fred. Zwarts
5 Jul 24 i i             i i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement180olcott
5 Jul 24 i i             i i     +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i i             i i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement178Fred. Zwarts
6 Jul 24 i i             i i      `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement177olcott
6 Jul 24 i i             i i       +- Re: Liar detector: Peter Olcott who doesn't under stand Ben's agreement1Richard Damon
6 Jul 24 i i             i i       `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement175Fred. Zwarts
6 Jul 24 i i             i i        +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement3olcott
6 Jul 24 i i             i i        i+- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i i             i i        i`- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Fred. Zwarts
6 Jul 24 i i             i i        `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement171olcott
6 Jul 24 i i             i i         +- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i i             i i         +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement3joes
6 Jul 24 i i             i i         i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2olcott
6 Jul 24 i i             i i         i `- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
6 Jul 24 i i             i i         `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement166Fred. Zwarts
6 Jul 24 i i             i i          `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement165olcott
6 Jul 24 i i             i i           +- Re: Liar detector: Peter Olcott1Richard Damon
6 Jul 24 i i             i i           `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement163Fred. Zwarts
6 Jul 24 i i             i i            `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement162olcott
6 Jul 24 i i             i i             +- Re: Liar detector: Peter Olcott1Richard Damon
6 Jul 24 i i             i i             +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement42Richard Damon
6 Jul 24 i i             i i             i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar41olcott
6 Jul 24 i i             i i             i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar40Richard Damon
6 Jul 24 i i             i i             i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?39olcott
6 Jul 24 i i             i i             i   +* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?37Richard Damon
6 Jul 24 i i             i i             i   i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?36olcott
6 Jul 24 i i             i i             i   i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?35Richard Damon
6 Jul 24 i i             i i             i   i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?34olcott
7 Jul 24 i i             i i             i   i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?33Richard Damon
7 Jul 24 i i             i i             i   i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?32olcott
7 Jul 24 i i             i i             i   i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?31Richard Damon
7 Jul 24 i i             i i             i   i      `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?30olcott
7 Jul 24 i i             i i             i   i       `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?29Richard Damon
7 Jul 24 i i             i i             i   i        `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?28olcott
7 Jul 24 i i             i i             i   i         +* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?24Richard Damon
7 Jul 24 i i             i i             i   i         i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?23olcott
7 Jul 24 i i             i i             i   i         i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?22Richard Damon
7 Jul 24 i i             i i             i   i         i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?21olcott
7 Jul 24 i i             i i             i   i         i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?20Richard Damon
7 Jul 24 i i             i i             i   i         i    +* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?8olcott
7 Jul 24 i i             i i             i   i         i    i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?7Richard Damon
7 Jul 24 i i             i i             i   i         i    i `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar!6olcott
7 Jul 24 i i             i i             i   i         i    i  `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar!5Richard Damon
7 Jul 24 i i             i i             i   i         i    i   `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!4olcott
7 Jul 24 i i             i i             i   i         i    i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!3Richard Damon
7 Jul 24 i i             i i             i   i         i    i     `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!2olcott
7 Jul 24 i i             i i             i   i         i    i      `- Re: Liar detector: Olcott is a Liar !!!1Richard Damon
7 Jul 24 i i             i i             i   i         i    `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!!11olcott
7 Jul 24 i i             i i             i   i         i     `* Re: Liar detector: Peter Olcott is a Liar !!!10Richard Damon
7 Jul 24 i i             i i             i   i         i      `* Richard is a Liar9olcott
7 Jul 24 i i             i i             i   i         i       `* Re: Richard is a Liar8Richard Damon
7 Jul 24 i i             i i             i   i         i        `* Re: Richard is a Liar7olcott
7 Jul 24 i i             i i             i   i         i         +* Re: Olcott is a Liar5Richard Damon
7 Jul 24 i i             i i             i   i         i         i`* Is Richard a Liar?4olcott
7 Jul 24 i i             i i             i   i         i         i +* Re: Is Richard a Liar?2joes
7 Jul 24 i i             i i             i   i         i         i i`- Re: Is Richard a Liar?1olcott
7 Jul 24 i i             i i             i   i         i         i `- Re: Olcott IS a Liar!1Richard Damon
8 Jul 24 i i             i i             i   i         i         `- Re: Richard is a Liar1Mikko
7 Jul 24 i i             i i             i   i         `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?3joes
7 Jul 24 i i             i i             i   i          `* Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?2olcott
7 Jul 24 i i             i i             i   i           `- Re: Liar detector: Olcott is a LIAR.1Richard Damon
8 Jul 24 i i             i i             i   `- Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?1Mikko
7 Jul 24 i i             i i             `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement118Fred. Zwarts
7 Jul 24 i i             i i              `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement117olcott
7 Jul 24 i i             i i               +- Re: Liar detector: Peter Olcott1Richard Damon
8 Jul 24 i i             i i               `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement115Fred. Zwarts
8 Jul 24 i i             i i                `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement114olcott
8 Jul 24 i i             i i                 +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement5joes
8 Jul 24 i i             i i                 i`* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement4olcott
8 Jul 24 i i             i i                 i +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2joes
8 Jul 24 i i             i i                 i i`- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1olcott
9 Jul 24 i i             i i                 i `- Re: Liar detector: Peter Olcott lies1Richard Damon
8 Jul 24 i i             i i                 +* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement107Fred. Zwarts
9 Jul 24 i i             i i                 `- Re: Liar detector: Peter Olcott found lying.1Richard Damon
5 Jul 24 i i             i `- Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement1Richard Damon
5 Jul 24 i i             `* Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement2joes
5 Jul 24 i `* Re: Liar detector: Fred, Richard, Joes and Alan21joes
4 Jul 24 +* Re: Liar detector: Peter OLCOTT YES!19Richard Damon
4 Jul 24 `- Re: Liar detector: Fred, Richard, Joes and Alan1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal