Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ] |
| Date | 2021-08-04 13:53 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <87zgtx2wxn.fsf@bsb.me.uk> (permalink) |
| References | (16 earlier) <w5edne8d06OkxpX8nZ2dnUU7-b_NnZ2d@giganews.com> <87bl6f5qvy.fsf@bsb.me.uk> <xLednaPs_ZSXCZX8nZ2dnUU7-YnNnZ2d@giganews.com> <87o8af47y0.fsf@bsb.me.uk> <NsudnY99rthDOJX8nZ2dnUU7-c_NnZ2d@giganews.com> |
olcott <NoOne@NoWhere.com> writes:
> On 8/2/2021 8:45 PM, Ben Bacarisse wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 8/2/2021 7:11 PM, Ben Bacarisse wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>
>> (I'm going to ignore errors that I've already pointed out.)
>>
>>> If you really do sincerely want an actual honest dialogue you would
>>> carefully work through all the steps to confirm that the input ⟨Ĥ⟩ ⟨Ĥ⟩
>>> to Ĥ.qx never halts.
>> If you want me to comment on that, write it without the errors. It has
>> two, both of which I've commented on before. If you are sincere, you
>> will want to write clearly and without errors.
>>
>>> Once we have mutual agreement that Ĥ.qx correctly decides that its
>>> input: ⟨Ĥ⟩ ⟨Ĥ⟩ never halts and Ĥ does halt, then we have the basis to
>>> go to the next step and resolve the actual paradox.
>> There is no paradox. That Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qn when Ĥ applied to ⟨Ĥ⟩
>> clearly halts is not paradoxical. It's just not the sort of TM the
>> proof is talking about. And how could it be? The "Linz Ĥ" is as
>> illogical as a cat that is a dog.
>>
>>> As long as it is simply dismissed out-of-hand as a contradiction the
>>> paradox remains unresolved.
>> There is no contradiction or paradox. You Ĥ is just the wrong sort of
>> TM. The proof you want to "refute" is talking about this sort of Ĥ:
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qn
>> if (and only if) Ĥ applied to ⟨Ĥ⟩ does not halt.
>
> Ĥ.qx correctly decides that its input: ⟨Ĥ⟩ ⟨Ĥ⟩ never halts
> Ĥ.qx correctly decides that its input: ⟨Ĥ⟩ ⟨Ĥ⟩ never halts
> Ĥ.qx correctly decides that its input: ⟨Ĥ⟩ ⟨Ĥ⟩ never halts
> Ĥ.qx correctly decides that its input: ⟨Ĥ⟩ ⟨Ĥ⟩ never halts
Maybe saying it a couple more times will help. After four times I can
tell you that it's still wrong. Maybe about a dozen more?
Whether what happens after Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ is correct or not is determined
by Linz, not by you. And you are clear that
Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn.
Linz is equally clear that this is wrong. You even helpfully keep
quoting Linz telling you it's wrong:
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
if (and only if) Ĥ applied to ⟨Ĥ⟩ does not halt.
You can repeat, again and again, that "Ĥ.qx correctly decides"
something, but you've already told the world that the computation halts
when is should not. Your Ĥ is not doing what it should to show a fault
in Linz's proof. It's doing something else that is of no interest to
anyone.
(It's possible that just can't see why it is that those two lines from
Linz are telling you that your Ĥ does is wrong. You've struggled with
what this notation really means, so it's possible. But reasonable
student would ask if they could not see that Linz is telling you your Ĥ
is wrong.)
> In computability theory, the halting problem is the problem of
> determining, from a description of an arbitrary computer program and
> an input, whether the program will finish running, or continue to run
> forever https://en.wikipedia.org/wiki/Halting_problem
Really? Well scan my tape and call me halting!
If you had had the two TMs you lied about having (sorry, used "poetic
license" to say you had) you could have run
Ĥ.q0 ⟨Ĥ⟩
and
H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩
and you would have seen, right away, that H(⟨Ĥ⟩ ⟨Ĥ⟩) is wrong about
Ĥ(⟨Ĥ⟩). Maybe you did and that's why you've spent 30 months waking back
that lie^H^H^H poetic license.
--
Ben.
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