Groups | Search | Server Info | Login | Register

Groups > comp.theory > #109959

Re: Hypothetical possibilities --- Complete Proof

From Ben Bacarisse <ben@bsb.me.uk>
Newsgroups comp.theory
Subject Re: Hypothetical possibilities --- Complete Proof
Date 2024-08-02 23:42 +0100
Organization A noiseless patient Spider
Message-ID <87frrmczso.fsf@bsb.me.uk> (permalink)
References (16 earlier) <v8g2jl$26d7d$1@dont-email.me> <v8ibf5$2p7ho$1@dont-email.me> <s3CdnbweXt8ohDD7nZ2dnZfqn_ednZ2d@brightview.co.uk> <a287d1fc2c1fc90d4381e46eae05287b96e801b9@i2pn2.org> <-Vednah5VvbtwTD7nZ2dnZfqnPSdnZ2d@brightview.co.uk>

Show all headers | View raw

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.

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

Thread

Re: Hypothetical possibilities olcott <polcott333@gmail.com> - 2024-07-23 09:41 -0500
  Re: Hypothetical possibilities Mikko <mikko.levanto@iki.fi> - 2024-07-24 12:01 +0300
    Re: Hypothetical possibilities olcott <polcott333@gmail.com> - 2024-07-24 08:38 -0500
      Re: Hypothetical possibilities Mikko <mikko.levanto@iki.fi> - 2024-07-26 11:05 +0300
        Re: Hypothetical possibilities olcott <polcott333@gmail.com> - 2024-07-26 08:58 -0500
          Re: Hypothetical possibilities Mikko <mikko.levanto@iki.fi> - 2024-07-27 09:54 +0300
            Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-27 08:55 -0500
              Re: Hypothetical possibilities --- stupid rebuttal Alan Mackenzie <acm@muc.de> - 2024-07-27 14:28 +0000
                Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-27 09:45 -0500
                Re: Hypothetical possibilities --- stupid rebuttal Alan Mackenzie <acm@muc.de> - 2024-07-27 14:59 +0000
                Re: Hypothetical possibilities --- strawman deception based rebuttal olcott <polcott333@gmail.com> - 2024-07-27 10:30 -0500
                Re: Hypothetical possibilities --- strawman deception based rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:12 +0300
                Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:10 +0300
                Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-29 11:20 -0500
                Re: Hypothetical possibilities --- stupid rebuttal joes <noreply@example.org> - 2024-07-29 20:20 +0000
                Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-29 15:36 -0500
                Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-30 09:41 +0300
                Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-30 13:42 -0500
                Re: Hypothetical possibilities --- stupid rebuttal Richard Damon <richard@damon-family.org> - 2024-07-30 21:21 -0400
                Re: Hypothetical possibilities --- stupid rebuttal --- olcott <polcott333@gmail.com> - 2024-07-30 20:32 -0500
                Re: Hypothetical possibilities --- stupid rebuttal by olcott--- Richard Damon <richard@damon-family.org> - 2024-07-30 21:34 -0400
                Re: Hypothetical possibilities --- stupid rebuttal --- olcott <polcott333@gmail.com> - 2024-07-30 21:13 -0500
                Re: Hypothetical possibilities --- stupid lying rebuttal by Olcott --- Richard Damon <richard@damon-family.org> - 2024-07-30 23:19 -0400
                Re: Hypothetical possibilities --- stupid rebuttal by Olcott--- Richard Damon <richard@damon-family.org> - 2024-07-30 23:19 -0400
                Re: Hypothetical possibilities --- stupid rebuttal --- olcott <polcott333@gmail.com> - 2024-07-30 23:09 -0500
                Re: Hypothetical possibilities --- stupid rebuttal --- "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-31 10:44 +0200
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-07-31 10:14 -0500
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-31 22:01 +0200
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-07-31 16:23 -0500
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years joes <noreply@example.org> - 2024-08-01 07:20 +0000
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-08-01 06:28 -0500
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 13:46 +0200
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-08-01 07:34 -0500
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 15:03 +0200
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-08-01 08:11 -0500
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 16:26 +0200
                Re: Hypothetical possibilities --- INCorrect emulation has been proven for three years Richard Damon <richard@damon-family.org> - 2024-08-01 19:33 -0400
                Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 10:10 +0200
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 07:20 -0500
                Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 15:12 +0200
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 08:29 -0500
                Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 16:23 +0200
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 09:30 -0500
                Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 16:36 +0200
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 10:49 -0500
                Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 21:40 +0200
                Re: Hypothetical possibilities --- Complete Proof joes <noreply@example.org> - 2024-08-01 16:11 +0000
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 11:32 -0500
                Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 21:30 +0200
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 16:03 -0500
                Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-02 10:13 +0200
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 06:24 -0500
                Re: Hypothetical possibilities --- Complete Proof *FAILED* Richard Damon <richard@damon-family.org> - 2024-08-02 10:41 -0400
                Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-03 10:25 +0200
                Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 11:54 +0300
                Re: Hypothetical possibilities --- Completly incorrect Proof Richard Damon <richard@damon-family.org> - 2024-08-01 19:33 -0400
                Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-02 13:19 +0300
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 06:21 -0500
                Re: Hypothetical possibilities --- Complete Proof *FAILED* Richard Damon <richard@damon-family.org> - 2024-08-02 10:41 -0400
                Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 11:58 +0300
                Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-02 13:12 +0300
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 06:11 -0500
                Re: Hypothetical possibilities --- Complete Proof *FAILS* Richard Damon <richard@damon-family.org> - 2024-08-02 10:41 -0400
                Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:07 +0300
                Re: Hypothetical possibilities --- Complete Proof Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-08-02 18:39 +0100
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 12:57 -0500
                Re: Hypothetical possibilities --- Complete Proof *FAILED* Richard Damon <richard@damon-family.org> - 2024-08-02 14:32 -0400
                Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 14:25 -0400
                Re: Hypothetical possibilities --- Complete Proof Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-08-02 23:23 +0100
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 17:35 -0500
                Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 19:15 -0400
                Re: Hypothetical possibilities --- Complete Proof Ben Bacarisse <ben@bsb.me.uk> - 2024-08-02 23:42 +0100
                Re: Hypothetical possibilities --- Complete Proof olcott <NoOne@NoWhere.com> - 2024-08-02 17:55 -0500
                Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 19:17 -0400
                Re: Hypothetical possibilities --- Complete Proof Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-08-03 02:19 +0100
                Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 21:56 -0400
                Re: Hypothetical possibilities --- Complete Proof -- more details olcott <polcott333@gmail.com> - 2024-08-02 22:30 -0500
                Re: Hypothetical possibilities --- Complete FAILED Proof -- more details Richard Damon <richard@damon-family.org> - 2024-08-03 11:33 -0400
                Re: Hypothetical possibilities --- Complete Proof Jeff Barnett <jbb@notatt.com> - 2024-08-02 22:32 -0600
                Re: Hypothetical possibilities --- Complete Proof --- Halt State olcott <polcott333@gmail.com> - 2024-08-03 08:27 -0500
                Re: Hypothetical possibilities --- Complete Proof --- halt state olcott <abc@def.com> - 2024-08-05 19:26 -0500
                Re: Hypothetical possibilities --- Complete Proof Ben Bacarisse <ben@bsb.me.uk> - 2024-08-05 03:33 +0100
                Re: Hypothetical possibilities --- Complete Proof olcott <abc@def.com> - 2024-08-04 22:56 -0500
                Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-05 07:40 -0400
                Re: Hypothetical possibilities --- Complete Proof olcott <abc@def.com> - 2024-08-05 19:41 -0500
                Re: Hypothetical possibilities --- Completely *FAILED* Proof Richard Damon <richard@damon-family.org> - 2024-08-05 21:32 -0400
                Re: Hypothetical possibilities --- Complete Proof olcott <abc@def.com> - 2024-08-05 19:34 -0500
                Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 19:12 -0400
                Re: Hypothetical possibilities --- Complete Proof Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-08-03 04:11 +0100
                Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 22:36 -0500
                Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:29 +0300
                Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:14 +0300
                Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-08-01 11:02 +0300
                Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-08-01 07:08 -0500
                Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:31 +0300
              Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:04 +0300
                Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-29 11:17 -0500
                Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-30 09:44 +0300
                Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-30 16:11 -0500
                Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-08-01 11:14 +0300
                Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-08-01 07:23 -0500
                Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:35 +0300
            Re: Hypothetical possibilities --- Sipser approved criteria olcott <polcott333@gmail.com> - 2024-07-27 09:41 -0500
              Re: Hypothetical possibilities --- Sipser approved criteria Alan Mackenzie <acm@muc.de> - 2024-07-27 14:50 +0000
                Re: Hypothetical possibilities --- Sipser approved criteria olcott <polcott333@gmail.com> - 2024-07-27 09:59 -0500
                Re: Hypothetical possibilities --- Sipser approved criteria Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:21 +0300
                Re: Hypothetical possibilities --- Sipser approved criteria olcott <polcott333@gmail.com> - 2024-07-29 11:25 -0500
              Re: Hypothetical possibilities --- Sipser approved criteria Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:13 +0300
            Re: Hypothetical possibilities --- strawman deception olcott <polcott333@gmail.com> - 2024-07-30 16:35 -0500
              Re: Hypothetical possibilities --- strawman deception Mikko <mikko.levanto@iki.fi> - 2024-08-01 11:20 +0300
                Re: Hypothetical possibilities --- strawman deception olcott <polcott333@gmail.com> - 2024-08-01 07:25 -0500
                Re: Hypothetical possibilities --- strawman deception Richard Damon <richard@damon-family.org> - 2024-08-01 19:33 -0400
                Re: Hypothetical possibilities --- strawman deception Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:42 +0300

csiph-web