Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: André doesn't know Rice's Theorem [ Malcolm ] |
| Date | 2021-07-28 12:40 -0600 |
| Organization | Christians and Atheists United Against Creeping Agnosticism |
| Message-ID | <sds8a4$djb$1@dont-email.me> (permalink) |
| References | (19 earlier) <NpmdnV9AwpJkV538nZ2dnUU7-QXNnZ2d@giganews.com> <sdqjgu$mun$1@dont-email.me> <yvKdnaD9etCe-Jz8nZ2dnUU7-Q3NnZ2d@giganews.com> <sdrt9e$upt$1@dont-email.me> <Z6qdna6B7Zq-FZz8nZ2dnUU7-SHNnZ2d@giganews.com> |
On 2021-07-28 10:38, olcott wrote:
> On 7/28/2021 10:31 AM, André G. Isaak wrote:
>> On 2021-07-28 08:09, olcott wrote:
>>> On 7/27/2021 10:39 PM, André G. Isaak wrote:
>>
>>>> So does P(P) halt or not?
>>>>
>>>
>>> Even though the first P in the invocation sequence reaches its final
>>> state the fact that it only reaches its final state because the
>>> second P in the invocation sequence was aborted proves that H(P,P)==0
>>> is correct.
>>
>> If a car only crashes because its brakes failed, that does not imply
>> that it didn't crash.
>>
>> If a program returns the wrong result only because it has a bug, that
>> does not imply that it didn't return the right answer.
>>
>> If a program only halts because the second P was aborted, that does
>> not imply that it didn't halt.
>>
>
> If an infinitely recursive sequence of function calls is aborted on the
> second call instead of the first call that does not mean that it was not
> an infinitely recursive sequence.
But the definition of halting makes no mention of infinitely recursive
sequences or aborted function calls. It only requires that P(P) reach a
final state in a finite amount of time. P(P) meets this definition.
>>> Because this is too difficult to understand and accept I have
>>> temporarily changed the subject to refuting Rice's theorem. The fact
>>> that the first P reaches its final state and the second P is aborted
>>> can be used as the criterion measure to consistently reject all and
>>> only self-contradictory inputs. This does refute Rices theorem.
>>>
>>>> You have on the one hand acknowledged that it does, while at the
>>>> same time claimed that it doesn't halt in a 'pure simulator'. So if
>>>> your 'global simulator' is not a pure simulator, what kind of
>>>> simulator is it?
>>
>> You didn't answer the above. In the past you've claimed (falsely) that
>> in a pure simulator, P(P) doesn't halt.
>>
>
> While H remains a pure simulator of its input H(P,P) its input never
> halts thus proving that its input never halts.
But the definition of halting makes no mention of what happens inside H,
regardless of whether it remains a 'pure simulator'. It only requires
that the actual computation P(P) reach a final state in a finite amount
of time. P(P) meets this definition.
>> Now you appear to be using your 'global simulator' to recognise that
>> P(P) does halt so that you can compare this with the results of H(P, P).
>
> It is still true that H(P,P) did correctly decide that its input never
> halts. Because this is difficult to understand I am temporarily changing
> the subject to Rice's theorem.
No, it is not. The definition of halting is clearly defined, and P(P)
clearly meets the definition of halting. Rice's theorem has no bearing
on the fact that P(P) is halting computation.
>> But if P(P) doesn't halt in a 'pure simulator' then what kind of
>
> I did not say that P(P) does not halt in a pure simulator, you must pay
> careful attention to every single word that I say. When you skip a
> single word that reverses the meaning of what I say.
>
> The input to H(P,P) never halts while H remains in pure simulator mode.
So what's the difference between a 'pure simulator' and H running in
'pure simulator mode'? One would have assumed that the latter meant that
H was acting as a pure simulator.
>> simulator is your 'global simulator' which, apparently, correctly
>> detects that P(P) halts?
>>
>
> It correctly detects that the P of int main() { P(P); } reaches its
> final state.
Which means that P(P) meets the definition of halting and is therefore a
halting computation.
>>>>> There will not actually be any function call Simulate(P,P) per say
>>>>> and this code has not been designed yet.
>>>>>
>>>>> The very easy part that you should have understood many messages
>>>>> ago is that when the code somehow determines that the halt decider
>>>>> return value is not consistent with the behavior of P this is
>>>>> freaking used to freaking refute Rice.
>>>> The problem is that H isn't doing the detecting. To the extent that
>>>> what you say makes sense it is some other software which tests the
>>>> result of H(P,P) against the result of your 'global simulator'. But
>>>> *that* piece of software will have its *own* H_Hat which will be
>>>> just as susceptible to the Linz proof as your H.
>>>>
>>>> Every putative halt decider has its *own* H_Hat which it will not be
>>>> able to decide, which is perfectly in line with Rice.
>>>>
>>>> André
>>>
>>> That each of these putative halt deciders recognize and reject all
>>> and only self-contradictory inputs refutes Rice.
>>
>> And you've demonstrated this where, exactly?
>>
>> As far as I can tell your H doesn't reject anything. It simply gets
>> some cases wrong.
>>
>
> The code to reject inputs has not even been fully designed yet.
So why talk about it, then? Until you actually have it you're just
blowing smoke.
> It is easy to see that the criteria for this already exists.
No. It isn't.
>> Your H(P, P) claims that P(P) doesn't halt, which is wrong.
>>
>
> The input to H(P,P) never halts while H remains in pure simulator mode.
But the definition of halting makes no mention of what happens inside H,
regardless of whether it remains in 'pure simulator mode'. It makes no
mention of H at all. It only requires that the *actual* computation P(P)
reach a final state in a finite amount of time. P(P) meets this definition.
André
>> You claim that you can reject this based on the fact that it doesn't
>> match which your 'global simulator' concludes.
>>
>> But that means that neither the global simulator nor H on their own
>> are capable of rejecting anything.
>>
>
> So what?
>
>> Whatever code is comparing these two values is what is doing the
>> rejecting. And we can construct from *that* piece of code another
>> H_Hat which *that* piece of code cannot answer correctly.
>>
>> André
>>
>
> I am not going to go down the path of infinitely nested operating systems.
>
--
To email remove 'invalid' & replace 'gm' with well known Google mail
service.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Black box halt decider is NOT a partial decider Mr Flibble <flibble@reddwarf.jmc> - 2021-07-19 21:46 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-19 14:03 -0700
Re: Black box halt decider is NOT a partial decider David Brown <david.brown@hesbynett.no> - 2021-07-20 21:06 +0200
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-20 13:43 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-20 13:56 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-20 14:16 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-20 14:50 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-20 22:33 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-20 23:30 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-21 13:17 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-22 13:35 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-22 22:10 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-23 14:22 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-23 14:30 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-23 23:15 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-23 15:28 -0700
Re: Black box halt decider is NOT a partial decider André G. Isaak <agisaak@gm.invalid> - 2021-07-23 16:49 -0600
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-23 16:09 -0700
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-24 02:34 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-08-04 21:53 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-08-04 21:54 -0700
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-08-05 15:37 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-05 17:08 +0100
Re: Black box halt decider is NOT a partial decider Jeff Barnett <jbb@notatt.com> - 2021-08-05 11:41 -0600
Re: Black box halt decider is NOT a partial decider Jeff Barnett <jbb@notatt.com> - 2021-08-05 11:48 -0600
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-08-05 20:30 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-08-05 13:55 -0700
Re: Black box halt decider is NOT a partial decider Jeff Barnett <jbb@notatt.com> - 2021-08-05 15:51 -0600
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-08-05 23:20 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-08-05 13:53 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-05 22:21 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-08-05 15:42 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-08-05 15:48 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-08-05 15:49 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-08-05 15:52 -0700
Re: Black box halt decider is NOT a partial decider wij <wyniijj@gmail.com> - 2021-08-05 21:58 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-23 16:10 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-23 16:14 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-23 16:40 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-24 12:50 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-24 00:54 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-23 16:59 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 00:42 +0100
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-25 12:55 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-25 13:13 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-25 14:08 -0700
Re: Black box halt decider is NOT a partial decider André G. Isaak <agisaak@gm.invalid> - 2021-07-24 18:07 -0600
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 01:50 +0100
Re: Black box halt decider is NOT a partial decider André G. Isaak <agisaak@gm.invalid> - 2021-07-24 20:58 -0600
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-25 04:03 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 04:22 +0100
Re: Black box halt decider is NOT a partial decider Andy Walker <anw@cuboid.co.uk> - 2021-07-25 13:34 +0100
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-25 17:14 +0100
Re: Black box halt decider is NOT a partial decider Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-25 10:40 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] olcott <NoOne@NoWhere.com> - 2021-07-25 13:10 -0500
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] Richard Damon <Richard@Damon-Family.org> - 2021-07-25 11:31 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] olcott <NoOne@NoWhere.com> - 2021-07-25 13:22 -0500
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] André G. Isaak <agisaak@gm.invalid> - 2021-07-25 12:43 -0600
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] Richard Damon <Richard@Damon-Family.org> - 2021-07-25 12:25 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-25 12:46 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] Richard Damon <Richard@Damon-Family.org> - 2021-07-25 13:04 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] Jeff Barnett <jbb@notatt.com> - 2021-07-25 16:58 -0600
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is always correct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 20:38 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 20:52 +0100
Re: Black box halt decider is NOT a partial decider Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-25 13:54 -0700
Re: Black box halt decider is NOT a partial decider [ paradox rather than contradiction ] olcott <NoOne@NoWhere.com> - 2021-07-25 22:53 -0500
Re: Black box halt decider is NOT a partial decider [ paradox rather than contradiction ] Richard Damon <Richard@Damon-Family.org> - 2021-07-25 21:40 -0700
Re: Black box halt decider is NOT a partial decider [ paradox rather than contradiction ] André G. Isaak <agisaak@gm.invalid> - 2021-07-25 23:09 -0600
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 09:20 -0500
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 07:40 -0700
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 10:09 -0600
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 11:41 -0500
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 11:00 -0600
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 14:40 -0500
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 15:29 -0700
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] Jeff Barnett <jbb@notatt.com> - 2021-07-26 11:16 -0600
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 13:57 -0500
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 13:55 -0600
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 15:34 -0500
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 14:53 -0600
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 16:01 -0700
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 19:14 -0500
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 18:21 -0600
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 20:03 -0500
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 19:24 -0600
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 20:30 -0500
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 20:34 -0600
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 22:18 -0500
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 21:24 -0600
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 22:31 -0500
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 21:55 -0600
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-26 23:39 -0500
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 22:59 -0600
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-27 10:27 -0500
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 22:22 -0700
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-27 02:42 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] olcott <NoOne@NoWhere.com> - 2021-07-27 10:24 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] Richard Damon <Richard@Damon-Family.org> - 2021-07-27 08:54 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ]( finally quit lying ) olcott <NoOne@NoWhere.com> - 2021-07-27 11:05 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ]( finally quit lying ) Richard Damon <Richard@Damon-Family.org> - 2021-07-27 09:29 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) olcott <NoOne@NoWhere.com> - 2021-07-27 12:07 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) Richard Damon <Richard@Damon-Family.org> - 2021-07-27 11:17 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) olcott <NoOne@NoWhere.com> - 2021-07-27 13:29 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) Richard Damon <Richard@Damon-Family.org> - 2021-07-27 11:47 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) olcott <NoOne@NoWhere.com> - 2021-07-27 14:10 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-27 12:58 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-28 16:23 +0100
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) olcott <NoOne@NoWhere.com> - 2021-07-28 11:01 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-28 09:25 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-28 21:38 +0100
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) olcott <NoOne@NoWhere.com> - 2021-07-28 16:14 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) olcott <NoOne@NoWhere.com> - 2021-07-28 16:20 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-28 15:04 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ]( attention deficit disorder ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 00:33 +0100
Re: André doesn't know Rice's Theorem [ Malcolm ] André G. Isaak <agisaak@gm.invalid> - 2021-07-27 11:16 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] olcott <NoOne@NoWhere.com> - 2021-07-27 12:31 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] André G. Isaak <agisaak@gm.invalid> - 2021-07-27 13:42 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] olcott <NoOne@NoWhere.com> - 2021-07-27 17:20 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] olcott <NoOne@NoWhere.com> - 2021-07-27 22:11 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] André G. Isaak <agisaak@gm.invalid> - 2021-07-27 21:39 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] olcott <NoOne@NoWhere.com> - 2021-07-28 09:09 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 09:31 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] olcott <NoOne@NoWhere.com> - 2021-07-28 11:38 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 10:08 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] olcott <NoOne@NoWhere.com> - 2021-07-28 13:35 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 12:47 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] olcott <NoOne@NoWhere.com> - 2021-07-28 14:07 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 12:56 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 17:25 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] olcott <NoOne@NoWhere.com> - 2021-07-28 22:25 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 21:36 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] olcott <NoOne@NoWhere.com> - 2021-07-28 23:09 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 21:50 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] olcott <NoOne@NoWhere.com> - 2021-07-28 23:57 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 23:10 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] olcott <NoOne@NoWhere.com> - 2021-07-29 13:07 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] Richard Damon <Richard@Damon-Family.org> - 2021-07-29 11:52 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] André G. Isaak <agisaak@gm.invalid> - 2021-07-29 13:52 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ PSR Decider is fully operational ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 22:35 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 12:40 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] olcott <NoOne@NoWhere.com> - 2021-07-28 15:06 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-28 13:35 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 17:36 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] olcott <NoOne@NoWhere.com> - 2021-07-28 22:51 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 21:08 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 22:15 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] olcott <NoOne@NoWhere.com> - 2021-07-28 23:31 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] André G. Isaak <agisaak@gm.invalid> - 2021-07-28 23:00 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] olcott <NoOne@NoWhere.com> - 2021-07-29 12:39 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] Richard Damon <Richard@Damon-Family.org> - 2021-07-29 12:15 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] André G. Isaak <agisaak@gm.invalid> - 2021-07-29 13:50 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ self-contradiction must be treated differently ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 22:18 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-29 13:15 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-29 12:25 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] André G. Isaak <agisaak@gm.invalid> - 2021-07-29 13:55 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-29 17:50 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] André G. Isaak <agisaak@gm.invalid> - 2021-07-29 16:58 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-29 18:27 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] André G. Isaak <agisaak@gm.invalid> - 2021-07-29 18:25 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-29 19:54 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-29 18:08 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] André G. Isaak <agisaak@gm.invalid> - 2021-07-29 19:25 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-29 23:34 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-29 22:44 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-30 20:42 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-30 18:57 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-30 21:08 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-30 20:54 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-31 09:14 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] wij <wyniijj@gmail.com> - 2021-07-31 08:02 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-31 10:20 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 08:41 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-31 12:00 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 11:25 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-31 13:52 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 12:14 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-31 14:41 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 12:54 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-31 15:39 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 15:11 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-31 15:37 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 08:26 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-31 11:35 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 11:31 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-31 13:57 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 12:23 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ][ How can H ignore own behavior? ] olcott <NoOne@NoWhere.com> - 2021-07-31 14:52 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ][ How can H ignore own behavior? ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 13:02 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ][ How can H ignore own behavior? ] olcott <NoOne@NoWhere.com> - 2021-07-31 15:43 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ][ How can H ignore own behavior? ] Richard Damon <Richard@Damon-Family.org> - 2021-07-31 15:18 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] André G. Isaak <agisaak@gm.invalid> - 2021-07-30 08:54 -0600
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] olcott <NoOne@NoWhere.com> - 2021-07-30 10:58 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <Richard@Damon-Family.org> - 2021-07-30 13:23 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] [ Try and provide a counter-example ] Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-29 16:15 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 09:34 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-28 02:41 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] olcott <NoOne@NoWhere.com> - 2021-07-28 08:56 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 09:37 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-28 22:04 +0100
Re: André doesn't know Rice's Theorem [ Malcolm ] olcott <NoOne@NoWhere.com> - 2021-07-28 16:22 -0500
Re: André doesn't know Rice's Theorem [ Malcolm ] Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-28 15:06 -0700
Re: André doesn't know Rice's Theorem [ Malcolm ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-28 21:54 +0100
Re: André doesn't know Rice's Theorem [ Malcolm ] Jeff Barnett <jbb@notatt.com> - 2021-07-27 11:21 -0600
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 21:17 -0700
Re: Black box halt decider is NOT a partial decider [ André doesn't know Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 20:25 -0700
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 19:36 -0700
Re: Black box halt decider is NOT a partial decider [ H refutes Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 18:03 -0700
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-25 21:28 +0100
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-25 21:46 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 23:42 +0100
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-26 01:08 +0100
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-25 18:20 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] olcott <NoOne@NoWhere.com> - 2021-07-26 09:32 -0500
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 07:57 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] André G. Isaak <agisaak@gm.invalid> - 2021-07-26 09:57 -0600
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-27 02:17 +0100
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] olcott <NoOne@NoWhere.com> - 2021-07-26 20:41 -0500
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 19:57 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] olcott <NoOne@NoWhere.com> - 2021-07-26 09:38 -0500
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 08:03 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-27 00:48 +0100
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] olcott <NoOne@NoWhere.com> - 2021-07-26 20:06 -0500
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 19:40 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-28 22:44 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-28 17:08 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 15:22 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-28 18:21 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 20:52 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 00:22 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-28 18:35 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-29 01:58 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-28 20:54 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Richard Damon <Richard@Damon-Family.org> - 2021-07-28 20:56 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 01:30 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-29 20:00 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-29 18:11 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 02:52 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-29 21:08 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 12:39 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-30 09:38 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 20:30 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-29 21:28 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Richard Damon <Richard@Damon-Family.org> - 2021-07-29 19:38 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 13:39 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] olcott <NoOne@NoWhere.com> - 2021-07-30 09:54 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 20:58 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-07-30 20:16 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-31 23:08 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-07-31 21:20 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-01 11:54 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-01 05:12 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-01 13:41 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-01 07:25 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-01 16:30 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-01 11:41 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-01 20:26 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-01 14:45 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-01 13:28 -0700
Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-01 11:02 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] olcott <NoOne@NoWhere.com> - 2021-08-01 10:02 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Richard Damon <Richard@Damon-Family.org> - 2021-08-01 08:21 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-01 17:00 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] olcott <NoOne@NoWhere.com> - 2021-08-04 10:48 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-04 19:51 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] olcott <NoOne@NoWhere.com> - 2021-08-04 17:31 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-05 00:23 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] olcott <NoOne@NoWhere.com> - 2021-08-04 22:33 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 22:56 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-05 23:12 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] olcott <NoOne@NoWhere.com> - 2021-08-05 20:17 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Richard Damon <Richard@Damon-Family.org> - 2021-08-05 20:30 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-06 03:36 +0100
Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-05 21:50 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-08 01:34 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ][ GIGO ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 19:05 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-01 09:45 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-01 08:24 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-01 22:45 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-01 22:12 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-02 20:10 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-02 15:53 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-03 01:11 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-02 19:55 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-03 02:45 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-02 21:11 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-02 21:57 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-04 13:53 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-04 11:15 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-04 20:22 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-04 17:38 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-05 00:22 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-04 22:18 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 23:05 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-05 02:02 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-05 07:07 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-05 20:35 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-05 23:15 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-05 20:48 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-06 03:35 +0100
Page 6 conclusively proves that H(P,P)==0 is correct. olcott <NoOne@NoWhere.com> - 2021-08-05 21:46 -0500
Re: Page 6 conclusively proves that H(P,P)==0 is correct. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-08 01:38 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-05 22:01 -0500
Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-05 22:13 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Richard Damon <Richard@Damon-Family.org> - 2021-08-05 22:29 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 20:21 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-03 22:23 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Richard Damon <Richard@Damon-Family.org> - 2021-08-03 21:44 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] André G. Isaak <agisaak@gm.invalid> - 2021-08-03 21:56 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-03 23:00 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] wij <wyniijj@gmail.com> - 2021-08-03 21:12 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] André G. Isaak <agisaak@gm.invalid> - 2021-08-03 22:16 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-03 23:25 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] André G. Isaak <agisaak@gm.invalid> - 2021-08-03 22:36 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-03 23:38 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-03 23:55 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] André G. Isaak <agisaak@gm.invalid> - 2021-08-03 23:36 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-04 10:14 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 21:05 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-04 07:13 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ]( Honest Dialogue ) olcott <NoOne@NoWhere.com> - 2021-08-04 10:11 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 20:29 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Richard Damon <Richard@Damon-Family.org> - 2021-08-03 22:35 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-04 19:37 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-04 15:37 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-04 23:23 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-04 22:37 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 22:48 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-05 23:14 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] olcott <NoOne@NoWhere.com> - 2021-08-05 20:21 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Richard Damon <Richard@Damon-Family.org> - 2021-08-05 20:41 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs Count ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-06 03:36 +0100
Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-05 21:54 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Richard Damon <Richard@Damon-Family.org> - 2021-08-05 22:37 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-05 22:44 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Richard Damon <news.x.richarddamon@xoxy.net> - 2021-08-05 22:51 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-08 01:34 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-09 17:32 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Richard Damon <Richard@Damon-Family.org> - 2021-08-09 21:14 -0400
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-11 01:42 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-10 19:46 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-10 20:06 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-11 02:41 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-10 20:53 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-11 03:26 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-10 21:40 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-11 16:04 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-11 10:10 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-11 10:15 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 00:04 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-11 18:16 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 02:20 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-11 21:03 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 21:09 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben's key param agreement ] olcott <NoOne@NoWhere.com> - 2021-08-11 21:08 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Jeff Barnett <jbb@notatt.com> - 2021-08-11 17:32 -0600
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-11 18:40 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Jeff Barnett <jbb@notatt.com> - 2021-08-11 23:11 -0600
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-12 01:36 -0700
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-12 07:24 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-12 08:40 -0700
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-12 10:50 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-13 01:58 -0700
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-13 08:30 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Richard Damon <Richard@Damon-Family.org> - 2021-08-12 22:01 -0400
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 16:15 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-12 10:29 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. (fixed type) olcott <NoOne@NoWhere.com> - 2021-08-10 21:42 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. // fixed typo (link added) olcott <NoOne@NoWhere.com> - 2021-08-10 23:36 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] olcott <NoOne@NoWhere.com> - 2021-08-11 09:28 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] olcott <NoOne@NoWhere.com> - 2021-08-11 09:58 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-11 17:10 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] olcott <NoOne@NoWhere.com> - 2021-08-11 11:52 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 01:35 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] olcott <NoOne@NoWhere.com> - 2021-08-11 19:40 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-11 19:44 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 21:00 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 15:36 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 22:10 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 16:26 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 00:00 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 18:28 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 18:33 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 01:26 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 19:49 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 02:05 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 20:19 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Richard Damon <Richard@Damon-Family.org> - 2021-08-12 21:44 -0400
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 02:49 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 21:20 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 10:01 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-13 08:35 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 21:20 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-13 15:56 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 22:28 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-13 16:33 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 23:06 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-13 17:12 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 23:25 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-13 17:47 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. "dklei...@gmail.com" <dkleinecke@gmail.com> - 2021-08-13 16:54 -0700
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-13 22:35 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-14 13:22 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) Richard Damon <Richard@Damon-Family.org> - 2021-08-13 20:41 -0400
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-13 17:24 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 01:53 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 20:14 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 02:51 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-12 21:21 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Richard Damon <Richard@Damon-Family.org> - 2021-08-12 22:57 -0400
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-13 09:53 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) olcott <NoOne@NoWhere.com> - 2021-08-13 08:31 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Richard Damon <Richard@Damon-Family.org> - 2021-08-12 21:38 -0400
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) Richard Damon <Richard@Damon-Family.org> - 2021-08-12 22:09 -0400
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] olcott <NoOne@NoWhere.com> - 2021-08-11 14:53 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 01:01 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] olcott <NoOne@NoWhere.com> - 2021-08-11 19:26 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 02:28 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. olcott <NoOne@NoWhere.com> - 2021-08-11 18:07 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-12 02:35 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Halting Problem is solved for Ĥ on ⟨Ĥ⟩ ] olcott <NoOne@NoWhere.com> - 2021-08-11 21:14 -0500
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Is Ben a Liar or simply woefully ignorant? ] Richard Damon <Richard@Damon-Family.org> - 2021-08-12 07:49 -0400
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-10 23:40 -0700
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-11 11:48 +0100
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-11 04:09 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] olcott <NoOne@NoWhere.com> - 2021-08-01 22:56 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-01 22:13 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-02 20:11 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 20:38 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-31 15:47 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-07-28 21:52 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 02:18 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-07-29 21:05 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 12:00 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-07-30 09:35 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 20:22 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-07-30 19:42 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-30 18:27 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-31 22:54 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-07-31 16:57 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-31 15:48 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-01 11:39 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-01 22:17 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Richard Damon <Richard@Damon-Family.org> - 2021-08-01 20:36 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-02 17:31 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-02 13:16 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-02 13:25 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-03 01:20 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-02 20:01 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Richard Damon <Richard@Damon-Family.org> - 2021-08-02 22:03 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-02 22:29 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 08:00 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-08-03 07:33 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 10:21 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) André G. Isaak <agisaak@gm.invalid> - 2021-08-03 11:11 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 14:26 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) André G. Isaak <agisaak@gm.invalid> - 2021-08-03 14:08 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 15:47 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) André G. Isaak <agisaak@gm.invalid> - 2021-08-03 14:56 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 16:03 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) André G. Isaak <agisaak@gm.invalid> - 2021-08-03 15:26 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 16:50 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) André G. Isaak <agisaak@gm.invalid> - 2021-08-03 16:35 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 19:42 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) André G. Isaak <agisaak@gm.invalid> - 2021-08-03 19:00 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 20:24 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) André G. Isaak <agisaak@gm.invalid> - 2021-08-03 21:00 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 22:30 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) André G. Isaak <agisaak@gm.invalid> - 2021-08-03 22:00 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-08-03 23:03 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Richard Damon <Richard@Damon-Family.org> - 2021-08-03 22:08 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-04 10:48 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Richard Damon <Richard@Damon-Family.org> - 2021-08-03 21:52 -0600
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )[ Only: H(P,P)==0 ] olcott <NoOne@NoWhere.com> - 2021-08-04 09:38 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )[ Only: H(P,P)==0 ] Richard Damon <Richard@Damon-Family.org> - 2021-08-04 20:43 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )[ Only: H(P,P)==0 ][ André refuses an honest dialogue ] olcott <NoOne@NoWhere.com> - 2021-08-05 09:04 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? )[ Only: H(P,P)==0 ][ André refuses an honest dialogue ] Richard Damon <Richard@Damon-Family.org> - 2021-08-05 20:41 -0500
H(P,P)==0 is proven to be correct [ André refuses an honest dialogue ] olcott <NoOne@NoWhere.com> - 2021-08-05 09:07 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Richard Damon <Richard@Damon-Family.org> - 2021-08-03 07:36 -0700
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Andy Walker <anw@cuboid.co.uk> - 2021-07-31 23:53 +0100
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) olcott <NoOne@NoWhere.com> - 2021-07-31 21:47 -0500
Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] ( Are you game ? ) Richard Damon <Richard@Damon-Family.org> - 2021-07-31 20:07 -0700
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] olcott <NoOne@NoWhere.com> - 2021-07-26 09:46 -0500
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ] Richard Damon <Richard@Damon-Family.org> - 2021-07-26 08:05 -0700
Re: Black box halt decider is NOT a partial decider Andy Walker <anw@cuboid.co.uk> - 2021-07-25 21:32 +0100
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-25 15:10 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 15:26 +0100
Re: Black box halt decider is NOT a partial decider Andy Walker <anw@cuboid.co.uk> - 2021-07-25 16:56 +0100
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-25 23:21 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 23:44 +0100
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-25 17:18 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 19:15 +0100
Re: Black box halt decider is NOT a partial decider Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-25 23:04 +0100
Re: Black box halt decider is NOT a partial decider Alan Mackenzie <acm@muc.de> - 2021-07-26 11:06 +0000
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-26 14:17 +0100
Re: Black box halt decider is NOT a partial decider Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-26 06:29 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-26 14:32 +0100
Re: Black box halt decider is NOT a partial decider Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-26 07:08 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-26 15:36 +0100
Re: Black box halt decider is NOT a partial decider Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-26 08:32 -0700
Re: Black box halt decider is NOT a partial decider Andy Walker <anw@cuboid.co.uk> - 2021-07-26 18:08 +0100
(Thread has 525 articles, showing 500 — browse group in flat view)
csiph-web