Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Andy Walker <anw@cuboid.co.uk> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Black box halt decider is NOT a partial decider |
| Date | 2021-07-25 13:34 +0100 |
| Organization | Not very much |
| Message-ID | <sdjlo4$1oct$1@gioia.aioe.org> (permalink) |
| References | (14 earlier) <87zgucfux4.fsf@bsb.me.uk> <sdi9vb$r9b$1@dont-email.me> <87eebnfc8c.fsf@bsb.me.uk> <19Kdna-u6-AOSWH9nZ2dnUU78QXNnZ2d@brightview.co.uk> <87tukjdqmi.fsf@bsb.me.uk> |
On 25/07/2021 04:22, Ben Bacarisse wrote:
> Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:
>> Surely someone studying for degree level mathematics should not be
>> confused by claims 0.9999... != 1 [I'll add the obvious proviso "with
>> normal mathematical meanings for the terms"]. Such students would
>> have studied properties of the reals (in particular their Archimedean
>> property), and would properly understand what the notation used was
>> claiming.
It's not usually mathematicians who are confused about 0.999...,
but what we might call para-mathematicians; eg, engineers/physicists
who have learned quite a lot of maths as part of their degree, but have
not studied it as an abstraction. A lot of other people have at least
a passing interest in maths, perhaps puzzle-solving as a recreation,
come across things like 0.999... and wonder what is going on. They
[both groups, paras and puzzlers] can usually be convinced by one of
the "optical" arguments, such as "You agree that 0.333... == 1/3;
multiply both sides by 3" [this is perhaps not the place to discuss
the (in)validity of that argument!]. OTOH, they are also the ones most
likely to propose that 0.999...5 lies strictly between 0.999... and 1.
I think Mike is a bit optimistic about the extent to which
maths students study properties of the reals. I checked my old books
and notes. Most don't even mention the Archimedean property. In
Hardy's "Pure Mathematics", it's a footnote. The tendency is to
take standard properties of arithmetic as "given", and to press on
ASAP with the more interesting stuff to do with limits, calculus,
bounds, convergence, blah. Most maths students in the UK [it may be
different elsewhere] then go on to quite different parts of maths
and never re-visit foundational stuff.
The danger is to some extent the opposite of what is being
posited here, that querying "0.999... == 1" is a "confusion". If
you think "Well, viewed as a limit, it's obvious. Full stop. End
of debate, nothing to see here, move on.", then you miss out on a
whole slew of mathematics in which the Archimedean/Eudoxian axiom
does not hold, some of which is very interesting and practical, not
least, surreal numbers and games. Students often find these topics
difficult because they aren't sure which bits of elementary maths
they can still assume. Meanwhile, it's worth noting that there are
[lots of] games "G" such that
0.999...9 [any number of 9's] < G < 1.
This does not contradict "0.99... == 1" as "G" is not a real number;
but it does mean that it's a deeper result than we tend to assume.
> I was not clear. The confusion I was referring to was whether people
> with a maths background think of limits as processes. After giving the
> definition, I think many teachers would then give a sort of "operational
> explanation" that might stick in some student's minds as what's "really
> going on". That's not how I learned it, but then I might be an outlier.
We talk about [eg] "the limit /as x tends/ to 1". That
phraseology suggests a process, though not necessarily one rooted
in time ["do this, then do that, then ..."]. It doesn't seem to
me to be important; what matters, and what is often more difficult,
is to find out what the limit /is/. But worth noting that there is
a large branch of mathematics, numerical analysis, which concerns
itself with looking at the processes, and making them as efficient
and as accurate as possible. NA is one of the principal points of
contact between maths [and so the real world] and computing.
--
Andy Walker, Nottingham.
Andy's music pages: www.cuboid.me.uk/andy/Music
Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Chwatal
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