Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard)

Subject	Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard)
Newsgroups	comp.theory
References	(10 earlier) <EO-dndSe6ecxq3z9nZ2dnUU7-LGdnZ2d@giganews.com> <sbrlnm$8ae$1@dont-email.me> <sI-dnV3pkoUWX3z9nZ2dnUU7-bHNnZ2d@giganews.com> <793c3404-e817-4375-94c9-c6e8917e4764n@googlegroups.com> <_pOdnT5w15EGm379nZ2dnUU7-cfNnZ2d@giganews.com>
From	Richard Damon <Richard@Damon-Family.org>
Message-ID	<zaGEI.13231$SMMb.5798@fx17.iad> (permalink)
Organization	Forte - www.forteinc.com
Date	2021-07-05 12:11 -0400

Show all headers | View raw

On 7/5/21 9:18 AM, olcott wrote:
> On 7/4/2021 1:24 PM, Malcolm McLean wrote:
>> On Sunday, 4 July 2021 at 15:15:46 UTC+1, olcott wrote:
>>> On 7/4/2021 1:50 AM, André G. Isaak wrote:
>>>> On 2021-07-03 22:18, olcott wrote:
>>>>> On 7/3/2021 11:14 PM, André G. Isaak wrote:
>>>>>> On 2021-07-03 19:38, olcott wrote:
>>>>>>> On 7/3/2021 8:14 PM, André G. Isaak wrote:
>>>>>>>> On 2021-07-03 14:37, olcott wrote:
>>>>>>>>
>>>>>>>>> It can always ignore it own behavior and it can do this by
>>>>>>>>> screening out machine address ranges to be ignored. H ignores all
>>>>>>>>> of its own behavior and the behavior or every operating system
>>>>>>>>> function.
>>>>>>>>
>>>>>>>> And in what universe does it make sense to simply ignore operating
>>>>>>>> system functions?
>>>>>>>
>>>>>>> When making a halt deciding function it only makes sense to keep
>>>>>>> track of those aspects of computations that can cause the input to
>>>>>>> halt.
>>>>>>
>>>>>> And what on earth would lead you to believe that a system call could
>>>>>> have no impact on halting?
>>>>>>
>>>>>> (You conveniently skipped the example I gave.)
>>>>>>
>>>>>> André
>>>>>>
>>>>>
>>>>> I am the only author of the entire x86utm operating system and all of
>>>>> its functions.
>>>>
>>>> And we're just supposed to take your word for it that these can
>>>> legitimately be ignored?
>>>>
>>>> Given that you've claimed that the instance of H called from within P
>>>> doesn't affect halting when it clearly does, your word isn't going to
>>>> carry much weight here.
>>>>
>>> No instance of any H has any effect on any P until some P proves that it
>>> will never halt unless aborted. This has always been able to be directly
>>> verified by the assembly language execution trace of P relative to its
>>> assembly language source code.
>>>
>>> This has been available posted directly in this forum since
>>> On 3/14/2021 12:46 PM, olcott wrote:
>>>
>>> https://www.researchgate.net/publication/351947980_Halting_problem_undecidability_and_infinitely_nested_simulation
>>>
>>>> If it really were the case that these things didn't have any affect on
>>>> halting, then it would also be perfectly fine for your halt decider to
>>>> *not* skip this code in its analysis, and that would avoid objections
>>> Most importantly you can easily verify for yourself that P is accurately
>>> simulated by comparing its x86 source code to its x86 execution trace.
>>>
>>> That no one has bothered to do this since March 14 would seem to
>>> indicate that no one here knows assembly language besides me.
>>>
>>> I have proven that H has no effect on its input since March 13 and the
>>> 16 lines of execution trace of the input proved to be totally
>>> overwhelming for everyone here. Adding 26,000 lines of more code would
>>> not help.
>>>
>> The execution trace showed two calls to the "halts" subroutine.
>> However it was stated that "halts" is a simulating decider. Therefore we
>> have one call to halts. It then emulates  another call to halts. But the
>> second call to "halts" shouldn't appear on the execution trace. It's
>> emulated.
>>
>> So exactly what the decider is doing remains a bit opaque.
>>
> 
> Software emulators have all of the details of subordinate emulations as
> their own data. H makes sure to ignore every address of itself and all
> operating system functions because neither OS functions nor itself have
> any effect on the behavior of the input while the input is being simulated.
> 
> 

And thus ignores important behavior of the machine it is simulating.

Remember, the H inside P is PART of P, and its behavior is part of the
behavior of P. That is how Turing Machines, Programs and even
Sub-programs works, BY DEFINITION.

Thread

Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 10:19 -0500
  Re: Could H correctly decide that P never halts? wij <wyniijj@gmail.com> - 2021-07-03 08:25 -0700
    Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 10:32 -0500
      Re: Could H correctly decide that P never halts? Richard Damon <Richard@Damon-Family.org> - 2021-07-03 11:56 -0400
        Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 11:19 -0500
          Re: Could H correctly decide that P never halts? Bonita Montero <Bonita.Montero@gmail.com> - 2021-07-03 18:28 +0200
            Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 11:51 -0500
              Re: Could H correctly decide that P never halts? Bonita Montero <Bonita.Montero@gmail.com> - 2021-07-03 19:18 +0200
                Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 12:19 -0500
                Re: Could H correctly decide that P never halts? Bonita Montero <Bonita.Montero@gmail.com> - 2021-07-03 19:33 +0200
          Re: Could H correctly decide that P never halts? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-03 19:10 +0100
            Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 13:49 -0500
          Re: Could H correctly decide that P never halts? Richard Damon <Richard@Damon-Family.org> - 2021-07-03 14:29 -0400
  Re: Could H correctly decide that P never halts? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-03 17:25 +0100
    Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 11:49 -0500
      Re: Could H correctly decide that P never halts? Richard Damon <Richard@Damon-Family.org> - 2021-07-03 14:17 -0400
        Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ] olcott <NoOne@NoWhere.com> - 2021-07-03 14:08 -0500
          Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ] Richard Damon <Richard@Damon-Family.org> - 2021-07-03 15:43 -0400
            Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-03 15:37 -0500
              Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-03 17:58 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-03 17:20 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-03 18:55 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Mr Flibble <flibble@reddwarf.jmc> - 2021-07-03 23:57 +0100
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-03 18:13 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-03 19:04 -0400
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] olcott <NoOne@NoWhere.com> - 2021-07-03 18:34 -0500
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] Richard Damon <Richard@Damon-Family.org> - 2021-07-03 20:06 -0400
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] olcott <NoOne@NoWhere.com> - 2021-07-03 19:26 -0500
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] Richard Damon <Richard@Damon-Family.org> - 2021-07-03 21:21 -0400
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] olcott <NoOne@NoWhere.com> - 2021-07-03 20:41 -0500
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] Richard Damon <Richard@Damon-Family.org> - 2021-07-03 22:13 -0400
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] olcott <NoOne@NoWhere.com> - 2021-07-03 21:22 -0500
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] Richard Damon <Richard@Damon-Family.org> - 2021-07-03 23:24 -0400
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] olcott <NoOne@NoWhere.com> - 2021-07-03 22:32 -0500
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] Richard Damon <Richard@Damon-Family.org> - 2021-07-04 06:40 -0400
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] olcott <NoOne@NoWhere.com> - 2021-07-04 09:24 -0500
                Re: Could H correctly decide that P never halts? [ prerequisites to understanding me] Richard Damon <Richard@Damon-Family.org> - 2021-07-04 14:50 -0400
              Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) André G. Isaak <agisaak@gm.invalid> - 2021-07-03 19:14 -0600
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-03 20:38 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) André G. Isaak <agisaak@gm.invalid> - 2021-07-03 22:14 -0600
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) André G. Isaak <agisaak@gm.invalid> - 2021-07-03 22:18 -0600
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-03 23:18 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) André G. Isaak <agisaak@gm.invalid> - 2021-07-04 00:50 -0600
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-04 09:15 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) André G. Isaak <agisaak@gm.invalid> - 2021-07-04 10:31 -0600
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-05 08:07 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-04 11:24 -0700
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) André G. Isaak <agisaak@gm.invalid> - 2021-07-04 13:00 -0600
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-04 15:09 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-04 13:30 -0700
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-05 08:23 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-05 07:18 -0700
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-05 09:31 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 11:10 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-05 10:18 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 11:29 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 12:53 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-05 12:13 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) André G. Isaak <agisaak@gm.invalid> - 2021-07-04 14:55 -0600
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) "dklei...@gmail.com" <dkleinecke@gmail.com> - 2021-07-04 18:03 -0700
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-04 20:42 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-04 22:31 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 08:05 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-05 08:40 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 12:13 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Jeff Barnett <jbb@notatt.com> - 2021-07-04 23:20 -0600
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-05 18:49 +0100
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Jeff Barnett <jbb@notatt.com> - 2021-07-05 15:17 -0600
                Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-05 17:38 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-04 23:52 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 10:36 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-05 09:51 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 11:36 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) olcott <NoOne@NoWhere.com> - 2021-07-05 08:18 -0500
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 12:11 -0400
                Re: Could H correctly decide that P never halts? [ Why can H ignore its own behavior? ](my thanks to Richard) Richard Damon <Richard@Damon-Family.org> - 2021-07-04 15:02 -0400
      Re: Could H correctly decide that P never halts? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-03 21:20 +0100
        Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 16:21 -0500
          Re: Could H correctly decide that P never halts? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-04 01:23 +0100
            Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-03 19:30 -0500
              Re: Could H correctly decide that P never halts? [ already agreed ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-04 17:46 +0100
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-04 12:00 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-05 02:04 +0100
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-04 20:57 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-05 03:14 +0100
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-04 21:28 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-04 22:33 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-04 22:09 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 07:33 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-05 08:38 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 10:57 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-05 09:59 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 11:34 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 13:16 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-05 12:48 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 14:36 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 12:18 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-05 23:58 +0100
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-05 19:54 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 21:29 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-06 03:35 +0100
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-05 22:30 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-06 06:47 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 04:15 -0700
                Re: Could H correctly decide that P never halts? [ already agreed ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-06 13:23 +0100
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 07:21 -0400
                Re: Could H correctly decide that P never halts? [ halting criteria ] olcott <NoOne@NoWhere.com> - 2021-07-05 08:26 -0500
                Re: Could H correctly decide that P never halts? [ halting criteria ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 10:50 -0400
                Re: Could H correctly decide that P never halts? [ halting criteria ] olcott <NoOne@NoWhere.com> - 2021-07-05 09:56 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 10:30 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] olcott <NoOne@NoWhere.com> - 2021-07-05 09:33 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] Richard Damon <Richard@Damon-Family.org> - 2021-07-05 11:02 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] (correction) olcott <NoOne@NoWhere.com> - 2021-07-05 09:35 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] (correction) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 12:38 -0400
                Re: Could H correctly decide that P never halts? [ already agreed ] (correction) olcott <NoOne@NoWhere.com> - 2021-07-05 12:10 -0500
                Re: Could H correctly decide that P never halts? [ already agreed ] (correction) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 13:43 -0400
                Re: Could H correctly decide that P never halts? [ Richard's excellent summation ] olcott <NoOne@NoWhere.com> - 2021-07-05 19:12 -0500
  Re: Could H correctly decide that P never halts? Siri Cruise <chine.bleu@yahoo.com> - 2021-07-03 11:01 -0700
    Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 13:15 -0500
      Re: Could H correctly decide that P never halts? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-03 21:09 +0100
        Re: Could H correctly decide that P never halts? [ incorrect question ] olcott <NoOne@NoWhere.com> - 2021-07-03 16:06 -0500
          Re: Could H correctly decide that P never halts? [ incorrect question ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-04 01:44 +0100
            Re: Could H correctly decide that P never halts? [ incorrect question ] olcott <NoOne@NoWhere.com> - 2021-07-03 19:59 -0500
              Re: Could H correctly decide that P never halts? [ incorrect question ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-04 02:34 +0100
                Re: Could H correctly decide that P never halts? [ incorrect question ] olcott <NoOne@NoWhere.com> - 2021-07-03 20:46 -0500
              Re: Could H correctly decide that P never halts? [ incorrect question ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-04 17:45 +0100
    Re: Could H correctly decide that P never halts? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-03 19:15 +0100
      Re: Could H correctly decide that P never halts? olcott <NoOne@NoWhere.com> - 2021-07-03 13:58 -0500
    Re: Could H correctly decide that P never halts? Siri Cruise <chine.bleu@yahoo.com> - 2021-07-03 22:37 -0700
      Re: Could H correctly decide that P never halts? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-04 14:14 +0100

csiph-web