Groups | Search | Server Info | Login | Register

Groups > comp.theory > #109966

Re: Hypothetical possibilities --- Complete Proof

From Richard Damon <richard@damon-family.org>
Newsgroups comp.theory
Subject Re: Hypothetical possibilities --- Complete Proof
Date 2024-08-02 19:17 -0400
Organization i2pn2 (i2pn.org)
Message-ID <7c3409e76b82dd4d6f8d0c9fb9fb4a6f98b79673@i2pn2.org> (permalink)
References (18 earlier) <s3CdnbweXt8ohDD7nZ2dnZfqn_ednZ2d@brightview.co.uk> <a287d1fc2c1fc90d4381e46eae05287b96e801b9@i2pn2.org> <-Vednah5VvbtwTD7nZ2dnZfqnPSdnZ2d@brightview.co.uk> <87frrmczso.fsf@bsb.me.uk> <Cp-cnbASQeFk_jD7nZ2dnZfqlJ-dnZ2d@giganews.com>

Show all headers | View raw

On 8/2/24 6:55 PM, olcott wrote:
> On 8/2/2024 5:42 PM, Ben Bacarisse wrote:
>> 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.
>>
> 
> I had to simplify it into simpler steps because the
> recent people don't seem to know the first thing
> about programming.

No, YOU don't know the first things about programming, like the actual 
behavior of the functions you call matter.

> 
> Who here is too stupid to know that DDD correctly
> simulated by HHH cannot possibly reach its own
> return instruction?

Which is irrelevent, since the HHH you talk about doesn't do that.

That just shows that you are trying to use magic fairy dust powered logic.

> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> *You are the only one that got this much correctly*
> 
> On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
>  > I don't think that is the shell game.  PO really /has/ an H (it's
>  > trivial to do for this one case) that correctly determines that P(P)
>  > *would* never stop running *unless* aborted.
> ...
>  > But H determines (correctly) that D would not halt if it were not
>  > halted.  That much is a truism.
> 
> *Even Mike got much less that that*
>

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

Thread

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