Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| 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 | (14 earlier) <sbt0h3$ci3$1@dont-email.me> <8q-dncvsqrvtiH_9nZ2dnUU7-VvNnZ2d@giganews.com> <sbt77s$sbu$1@dont-email.me> <ed2506b2-3b7a-445d-82f3-40600f328168n@googlegroups.com> <K-mdnTaiYdQV_n_9nZ2dnUU7-fXNnZ2d@giganews.com> |
| From | Richard Damon <Richard@Damon-Family.org> |
| Message-ID | <BACEI.7297$mR.5884@fx33.iad> (permalink) |
| Organization | Forte - www.forteinc.com |
| Date | 2021-07-05 08:05 -0400 |
On 7/4/21 9:42 PM, olcott wrote:
> On 7/4/2021 8:03 PM, dklei...@gmail.com wrote:
>> On Sunday, July 4, 2021 at 1:55:27 PM UTC-7, André G. Isaak wrote:
>>> On 2021-07-04 14:09, olcott wrote:
>>>> On 7/4/2021 2:00 PM, André G. Isaak wrote:
>>>>> On 2021-07-04 12:24, Malcolm McLean wrote:
>>>>>
>>>>>> 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.
>>>>>
>>>>> I've tried to get Olcott to clarify exactly what he means by
>>>>> 'emulate'/'simulate' but to no avail. I'm fairly sure he doesn't mean
>>>>> what the rest of the world means, but I still am unclear about what he
>>>>> actually means.
>>>>>
>>>>> André
>>>>>
>>>>
>>>> Sure everyone knows that an x86 emulator can be anything from a vanilla
>>>> milkshake machine to a dump truck. What I mean by x86 emulator is
>>>> software that executes x86 machine language as if this software virtual
>>>> machine was an actual x86 processor.
>>> The problem is that you keep talking about 'nested simulations' but
>>> there's absolutely nothing in your code or your traces to suggest more
>>> than a single level of emulation is involved.
>>>
>>> If your H *emulates* P, it should not contain a call to P. It should
>>> contain a call to some function EMULATE with some description of P
>>> (either a file or a memory location) as an *argument* to that function.
>>> If that P includes an H which also emulates its input, there should be a
>>> second call to EMULATE, meaning we should have one instance of the
>>> emulator running on the actual hardware, and a second instance of the
>>> emulator being interpreted by the first emulator rather than being run
>>> on the actual hardware, and with a second instance of P being
>>> interpreted by that emulated emulator rather than either the hardware or
>>> the emulator which is running directly on the hardware.
>>>
>>> But this is not what appears to be happening in either your traces or
>>> your code fragments.
>>> André
>> I think everyone agrees that PO's x86 work will never be accepted by
>> any
>> scholarly journal. Shouldn't we be trying to avoid using it.
>>
>> For starters we need a clear statement as to what is being proved
>> complete
>> with all the definitions a journal will require.
>>
>
> // Simplified Linz Ĥ (Linz:1990:319)
> void P(u32 x)
> {
> u32 Input_Halts = H(x, x);
> if (Input_Halts)
> HERE: goto HERE;
> }
>
> int main()
> {
> u32 Input_Halts = H((u32)P, (u32)P);
> Output("Input_Halts = ", Input_Halts);
> }
>
> I have proved that H correctly decides that P is a non-halting
> computation on the basis that P calls H in infinitely nested simulation.
> Computer scientists might notice that H and P are in their proper
> halting problem relation to each other.
>
No, you haven't, because the scenerio you describe only happes if H is
programmed never to abort the P that is built from it, in which case
H(P,P) never answers, and thus deosn't need to be disproved, it did a
good enough job at doing that itself.
When you consider that H can (and in fact will) abort P, the analysis
becomes clearly flawed.
Ultimately, the problem comes because you ignore that the behavior of P
is more that the code of the function P, but of the WHOLE PROGRAM P,
which includes a copy of H, and thus P changes when H changes.
This is perhaps a fundamental and fatal flaw in your analysis, you are
thinking that you can determine that halting behavior of the PROGRAM P
by just looking at the code of the C function P without taking into
account the code that it calls.
By that logic, you can tell me if this program halts or not:
void P(u32 I) {
while(1) {
if(foo(I)) return;
I = I + 1;
}
}
should be simple if you are able to handle the tough case of a recursive
call without looking at the function that was calling.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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