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 | (13 earlier) <793c3404-e817-4375-94c9-c6e8917e4764n@googlegroups.com> <sbt0h3$ci3$1@dont-email.me> <8q-dncvsqrvtiH_9nZ2dnUU7-VvNnZ2d@giganews.com> <sbt77s$sbu$1@dont-email.me> <ovOdnXA3d5iWDX_9nZ2dnUU7-ffNnZ2d@giganews.com> |
| From | Richard Damon <Richard@Damon-Family.org> |
| Message-ID | <dOEEI.7460$8b2.6990@fx24.iad> (permalink) |
| Organization | Forte - www.forteinc.com |
| Date | 2021-07-05 10:36 -0400 |
On 7/5/21 12:52 AM, olcott wrote:
> On 7/4/2021 3:55 PM, 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.
>>
>
> You must not know assembly x86 language at all.
>
>
> // Simplified Linz Ĥ (Linz:1990:319)
> void P(u32 x)
> {
> u32 Input_Halts = H(x, x); // call H 2nd level of simulation
> if (Input_Halts)
> HERE: goto HERE;
> }
>
>
> int main()
> {
> u32 Input_Halts = H((u32)P, (u32)P); // call H 1st level of simulation
> Output("Input_Halts = ", Input_Halts);
> }
>
>
> _P()
> [00000b1a](01) 55 push ebp
> [00000b1b](02) 8bec mov ebp,esp
> [00000b1d](01) 51 push ecx
> [00000b1e](03) 8b4508 mov eax,[ebp+08]
> [00000b21](01) 50 push eax // 2nd Param
> [00000b22](03) 8b4d08 mov ecx,[ebp+08]
> [00000b25](01) 51 push ecx // 1st Param
> [00000b26](05) e81ffeffff call 0000094a // call H
> [00000b2b](03) 83c408 add esp,+08
> [00000b2e](03) 8945fc mov [ebp-04],eax
> [00000b31](04) 837dfc00 cmp dword [ebp-04],+00
> [00000b35](02) 7402 jz 00000b39
> [00000b37](02) ebfe jmp 00000b37
> [00000b39](02) 8be5 mov esp,ebp
> [00000b3b](01) 5d pop ebp
> [00000b3c](01) c3 ret
> Size in bytes:(0035) [00000b3c]
>
> _main()
> [00000bda](01) 55 push ebp
> [00000bdb](02) 8bec mov ebp,esp
> [00000bdd](01) 51 push ecx
> [00000bde](05) 681a0b0000 push 00000b1a // push address of P
> [00000be3](05) 681a0b0000 push 00000b1a // push address of P
> [00000be8](05) e85dfdffff call 0000094a // call H
> [00000bed](03) 83c408 add esp,+08
> [00000bf0](03) 8945fc mov [ebp-04],eax
> [00000bf3](03) 8b45fc mov eax,[ebp-04]
> [00000bf6](01) 50 push eax
> [00000bf7](05) 683b030000 push 0000033b
> [00000bfc](05) e869f7ffff call 0000036a
> [00000c01](03) 83c408 add esp,+08
> [00000c04](02) 33c0 xor eax,eax
> [00000c06](02) 8be5 mov esp,ebp
> [00000c08](01) 5d pop ebp
> [00000c09](01) c3 ret
> Size in bytes:(0048) [00000c09]
>
> Columns
> (1) Machine address of instruction
> (2) Machine address of top of stack
> (3) Value of top of stack after instruction executed
> (4) Machine language bytes
> (5) Assembly language text
> ===============================
> ...[00000bda][00101647][00000000](01) 55 push ebp
> ...[00000bdb][00101647][00000000](02) 8bec mov ebp,esp
> ...[00000bdd][00101643][00000000](01) 51 push ecx
> ...[00000bde][0010163f][00000b1a](05) 681a0b0000 push 00000b1a //
> push P
> ...[00000be3][0010163b][00000b1a](05) 681a0b0000 push 00000b1a //
> push P
> ...[00000be8][00101637][00000bed](05) e85dfdffff call 0000094a //
> call H
>
> Begin Local Halt Decider Simulation at Machine Address:b1a
> ...[00000b1a][002116e7][002116eb](01) 55 push ebp
> ...[00000b1b][002116e7][002116eb](02) 8bec mov ebp,esp
> ...[00000b1d][002116e3][002016b7](01) 51 push ecx
> ...[00000b1e][002116e3][002016b7](03) 8b4508 mov eax,[ebp+08]
> ...[00000b21][002116df][00000b1a](01) 50 push eax //
> push P
> ...[00000b22][002116df][00000b1a](03) 8b4d08 mov ecx,[ebp+08]
> ...[00000b25][002116db][00000b1a](01) 51 push ecx //
> push P
> ...[00000b26][002116d7][00000b2b](05) e81ffeffff call 0000094a //
> call H
> ...[00000b1a][0025c10f][0025c113](01) 55 push ebp
> ...[00000b1b][0025c10f][0025c113](02) 8bec mov ebp,esp
> ...[00000b1d][0025c10b][0024c0df](01) 51 push ecx
> ...[00000b1e][0025c10b][0024c0df](03) 8b4508 mov eax,[ebp+08]
> ...[00000b21][0025c107][00000b1a](01) 50 push eax //
> push P
> ...[00000b22][0025c107][00000b1a](03) 8b4d08 mov ecx,[ebp+08]
> ...[00000b25][0025c103][00000b1a](01) 51 push ecx //
> push P
> ...[00000b26][0025c0ff][00000b2b](05) e81ffeffff call 0000094a //
> call H
> Local Halt Decider: Infinite Recursion Detected Simulation Stopped
>
> In the above 16 instructions of the simulation of P(P) we can see that
> the first 8 instructions of P are repeated. The end of this sequence of
> 8 instructions P calls H with its own machine address as the parameters
> to H: H(P,P). Because H only examines the behavior of its inputs and
> ignores its own behavior when H(P,P) is called we only see the first
> instruction of P being simulated.
>
> Anyone knowing the x86 language well enough can see that none of these 8
> simulated instructions of P have any escape from their infinitely
> repeating behavior pattern. When H recognizes this infinitely repeating
> pattern it aborts its simulation of P(P) and reports that its input:
> (P,P) would never halt on its input.
>
And anyone knowing x86 assemblh code knows that this is NOT what
actually happened.
The call to H as 00000B256 should be followed by the code at 00000B26
inside the function H. That fact that it is not, is a sign that this is
NOT an actual trace of the exectution path of P.
In fact, the folling trace of the code at 00000B1A is NOT a trace of the
actual code stream that was traced in the previous lines, but a trace of
a different level simulation, a change of level of simulation that is
absolutely NOT indicated in the trace. Thus it is a false trace.
You justify this based on some transformational rules that are valid in
certain condition, but you don't make that clear, in part because those
conditions are NOT satisfied, and thus are invalid so the logic is unsound.
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