Re: Hypothetical possibilities --- Complete Proof

Liste des GroupesRevenir à c theory 
Sujet : Re: Hypothetical possibilities --- Complete Proof
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theory
Date : 03. Aug 2024, 00:42:15
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <87frrmczso.fsf@bsb.me.uk>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Gnus/5.13 (Gnus v5.13)
Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:

Of course these traces don't support PO's overall case he is claiming,
because the (various) logs show that DDD halts, and that HHH(DDD) reports
DDD as non-halting, exactly as Linz/Sipser argue. Er, that's about it!

PO certainly used to claim that false (non-halting) is the correct
result "even though DDD halts" (I've edited the quote to reflect a name
change).  Unless he's changed this position, the traces do support his
claim that what everyone else calls the wrong answer is actually the
right one.

--
Ben.

Date Sujet#  Auteur
20 Jul 24 * Hypothetical possibilities221olcott
20 Jul 24 +* Re: Hypothetical possibilities3Richard Damon
20 Jul 24 i`* Re: Hypothetical possibilities2olcott
20 Jul 24 i `- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 +* Re: Hypothetical possibilities101Fred. Zwarts
20 Jul 24 i`* Re: Hypothetical possibilities100olcott
20 Jul 24 i +* Re: Hypothetical possibilities47Fred. Zwarts
20 Jul 24 i i+* Re: Hypothetical possibilities6olcott
20 Jul 24 i ii+* Re: Hypothetical possibilities4Richard Damon
20 Jul 24 i iii`* Re: Hypothetical possibilities3olcott
20 Jul 24 i iii +- Re: Hypothetical possibilities1Richard Damon
21 Jul 24 i iii `- Re: Hypothetical possibilities1Fred. Zwarts
21 Jul 24 i ii`- Re: Hypothetical possibilities1Fred. Zwarts
20 Jul 24 i i`* Re: Hypothetical possibilities40Alan Mackenzie
20 Jul 24 i i +* Re: Hypothetical possibilities11olcott
20 Jul 24 i i i+* Re: Hypothetical possibilities2Alan Mackenzie
22 Jul 24 i i ii`- Re: Hypothetical possibilities --- Alan Mackenzie tries to get away with mere rhetoric as a rebuttal1olcott
21 Jul 24 i i i`* Re: Hypothetical possibilities8Fred. Zwarts
21 Jul 24 i i i `* Re: Hypothetical possibilities7olcott
21 Jul 24 i i i  +* Re: Recursive simulation (was: Hypothetical possibilities)3joes
21 Jul 24 i i i  i`* Re: Recursive simulation2olcott
21 Jul 24 i i i  i `- Re: Recursive simulation1Fred. Zwarts
21 Jul 24 i i i  +* Re: Hypothetical possibilities2Fred. Zwarts
21 Jul 24 i i i  i`- Re: Hypothetical possibilities1joes
21 Jul 24 i i i  `- Re: Hypothetical IMpossibilities1Richard Damon
20 Jul 24 i i +* Re: Hypothetical possibilities2olcott
21 Jul 24 i i i`- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 i i +- Re: Hypothetical possibilities --- Alan Mackenzie1olcott
20 Jul 24 i i +- Re: Hypothetical possibilities --- Alan Mackenzie1olcott
21 Jul 24 i i +* Re: Hypothetical possibilities7olcott
21 Jul 24 i i i`* Re: Hypothetical possibilities6Fred. Zwarts
21 Jul 24 i i i `* Re: Hypothetical possibilities5olcott
21 Jul 24 i i i  +* Re: Hypothetical possibilities3Fred. Zwarts
22 Jul 24 i i i  i`* Re: Hypothetical possibilities2olcott
22 Jul 24 i i i  i `- Re: Hypothetical possibilities1Fred. Zwarts
21 Jul 24 i i i  `- Re: Hypothetical IMpossibilities1Richard Damon
22 Jul 24 i i +* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric16olcott
22 Jul 24 i i i+- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric1Fred. Zwarts
22 Jul 24 i i i+* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric4Alan Mackenzie
22 Jul 24 i i ii+- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Liar?1olcott
22 Jul 24 i i ii`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away denying tautologies2olcott
23 Jul 24 i i ii `- Re: Hypothetical possibilities --- Fake rebuttals trying to get away denying tautologies1Fred. Zwarts
23 Jul 24 i i i`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric10Mikko
23 Jul 24 i i i `* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric9olcott
23 Jul 24 i i i  +* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric7Alan Mackenzie
23 Jul 24 i i i  i`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say6olcott
23 Jul 24 i i i  i +- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say1Fred. Zwarts
24 Jul 24 i i i  i `* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say4Richard Damon
24 Jul 24 i i i  i  `* Re: Hypothetical possibilities --- Mindless robots programmed to disagree3olcott
24 Jul 24 i i i  i   +- Re: Hypothetical possibilities --- Olcott is a Mindless robots programmed to disagree1Richard Damon
24 Jul 24 i i i  i   `- Re: Hypothetical possibilities --- Mindless robots programmed to disagree1Fred. Zwarts
25 Jul 24 i i i  `- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric1Mikko
22 Jul 24 i i `- Re: Hypothetical possibilities --- Alan Mackenzie tries to get away with mere rhetoric as a rebuttal1olcott
20 Jul 24 i `* Re: Hypothetical possibilities52Richard Damon
20 Jul 24 i  `* Re: Hypothetical possibilities51olcott
20 Jul 24 i   +* Re: Hypothetical possibilities49joes
20 Jul 24 i   i+- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 i   i`* Re: Hypothetical possibilities47olcott
21 Jul 24 i   i `* Re: Hypothetical possibilities46Richard Damon
21 Jul 24 i   i  `* Re: Hypothetical possibilities45olcott
21 Jul 24 i   i   `* Re: Hypothetical possibilities44Richard Damon
21 Jul 24 i   i    `* Re: Hypothetical possibilities43olcott
21 Jul 24 i   i     `* Re: Hypothetical possibilities42Richard Damon
21 Jul 24 i   i      `* Re: Hypothetical possibilities41olcott
21 Jul 24 i   i       `* Re: Hypothetical possibilities40Richard Damon
21 Jul 24 i   i        +* Re: Hypothetical possibilities31olcott
21 Jul 24 i   i        i`* Re: Hypothetical possibilities30Richard Damon
21 Jul 24 i   i        i +* Re: Hypothetical possibilities6olcott
21 Jul 24 i   i        i i`* Re: Hypothetical possibilities5Richard Damon
21 Jul 24 i   i        i i `* Re: Hypothetical possibilities4olcott
21 Jul 24 i   i        i i  `* Re: Hypothetical possibilities3Richard Damon
21 Jul 24 i   i        i i   `* Re: Hypothetical possibilities2olcott
21 Jul 24 i   i        i i    `- Re: Hypothetical possibilities1Richard Damon
21 Jul 24 i   i        i `* Re: Hypothetical possibilities -- I reread this again more carefully23olcott
21 Jul 24 i   i        i  +* Re: Hypothetical possibilities -- I reread this again more carefully6olcott
21 Jul 24 i   i        i  i+- Re: Hypothetical possibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i  i`* Re: Hypothetical possibilities -- I reread this again more carefully4joes
21 Jul 24 i   i        i  i `* Re: Hypothetical possibilities -- I reread this again more carefully3olcott
21 Jul 24 i   i        i  i  `* Re: Hypothetical possibilities -- I reread this again more carefully2joes
21 Jul 24 i   i        i  i   `- Re: Hypothetical possibilities -- I reread this again more carefully1olcott
21 Jul 24 i   i        i  `* Re: Hypothetical possibilities -- I reread this again more carefully16Richard Damon
21 Jul 24 i   i        i   +* Re: Hypothetical possibilities -- I reread this again more carefully14olcott
21 Jul 24 i   i        i   i`* Re: Hypothetical possibilities -- I reread this again more carefully13Richard Damon
21 Jul 24 i   i        i   i +* Re: Hypothetical possibilities -- I reread this again more carefully8olcott
21 Jul 24 i   i        i   i i`* Re: Hypothetical possibilities -- I reread this again more carefully7joes
21 Jul 24 i   i        i   i i `* Re: Hypothetical possibilities -- I reread this again more carefully6olcott
21 Jul 24 i   i        i   i i  +* Re: Hypothetical possibilities -- I reread this again more carefully4joes
21 Jul 24 i   i        i   i i  i`* Re: Hypothetical possibilities -- I reread this again more carefully3olcott
21 Jul 24 i   i        i   i i  i +- Re: Hypothetical possibilities -- I reread this again more carefully1Fred. Zwarts
21 Jul 24 i   i        i   i i  i `- Re: Hypothetical IMpossibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i   i i  `- Re: Hypothetical IMpossibilities -- I reread this again more carefully1Richard Damon
22 Jul 24 i   i        i   i `* Re: Hypothetical possibilities -- I reread this again more carefully4olcott
22 Jul 24 i   i        i   i  `* Re: Hypothetical possibilities -- I reread this again more carefully3Richard Damon
22 Jul 24 i   i        i   i   `* Re: Hypothetical possibilities -- I reread this again more carefully2olcott
23 Jul 24 i   i        i   i    `- Re: Hypothetical possibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i   `- Re: Hypothetical possibilities -- I reread this again more carefully --- correction1olcott
21 Jul 24 i   i        `* Re: Hypothetical possibilities8olcott
21 Jul 24 i   i         `* Re: Hypothetical possibilities7Richard Damon
21 Jul 24 i   i          `* Re: Hypothetical possibilities6olcott
21 Jul 24 i   i           `* Re: Hypothetical possibilities5Richard Damon
21 Jul 24 i   i            `* Re: Hypothetical possibilities4olcott
20 Jul 24 i   `- Re: Hypothetical possibilities1Richard Damon
22 Jul 24 `* Re: Hypothetical possibilities116Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal