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 : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 16. Jul 2024, 07:58:12
Autres entêtes
Organisation : -
Message-ID : <v755m4$15kf6$1@dont-email.me>
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
User-Agent : Unison/2.2
On 2024-07-15 12:55:21 +0000, olcott said:

On 7/15/2024 2:15 AM, Mikko wrote:
On 2024-07-14 14:15:45 +0000, olcott said:
 *You can comprehend this is a truism or fail to*
*comprehend it disagreement is necessarily incorrect*
Any input that must be aborted to prevent the non
termination of HHH necessarily specifies non-halting
behavior or it would never need to be aborted.
 No, it is false. What the input specifies is a property of the input alone.
Whether some HHH is able to process it without looping forever is not a
property of the input and not relevant to the meaning of the input.
 In other words you believe that you can correctly
ignore the verified fact that DDD correctly emulated
by HHH does call HHH(DDD) in recursive emulation.
It is not a fact and not verified but otherwise, yes, that is not relevant.
--
Mikko

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