Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #36666 > unrolled thread
| Started by | Mr Flibble <flibble@reddwarf.jmc> |
|---|---|
| First post | 2021-07-19 21:46 +0100 |
| Last post | 2021-07-20 14:17 -0700 |
| Articles | 20 on this page of 525 — 16 participants |
Back to article view | Back to comp.theory
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
Re: Black box halt decider is NOT a partial decider Jeff Barnett <jbb@notatt.com> - 2021-07-26 11:38 -0600
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-26 19:31 +0100
Re: Black box halt decider is NOT a partial decider Jeff Barnett <jbb@notatt.com> - 2021-07-26 13:42 -0600
Re: Black box halt decider is NOT a partial decider Peter <peterxpercival@hotmail.com> - 2021-07-26 22:49 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-26 23:57 +0100
Re: Black box halt decider is NOT a partial decider Peter <peterxpercival@hotmail.com> - 2021-07-27 13:47 +0100
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-26 23:16 +0100
Re: Black box halt decider is NOT a partial decider Andy Walker <anw@cuboid.co.uk> - 2021-07-27 12:10 +0100
Re: Black box halt decider is NOT a partial decider Jeff Barnett <jbb@notatt.com> - 2021-07-27 12:48 -0600
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-28 17:25 +0100
Re: Black box halt decider is NOT a partial decider Jeff Barnett <jbb@notatt.com> - 2021-07-28 11:32 -0600
Re: Black box halt decider is NOT a partial decider Peter <peterxpercival@hotmail.com> - 2021-07-26 15:13 +0100
Re: Black box halt decider is NOT a partial decider wij <wyniijj@gmail.com> - 2021-07-24 20:35 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-25 10:54 +0100
Re: Black box halt decider is NOT a partial decider wij <wyniijj@gmail.com> - 2021-07-25 07:10 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-25 12:56 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-22 14:52 -0700
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-23 14:20 -0700
Re: Black box halt decider is NOT a partial decider Richard Damon <Richard@Damon-Family.org> - 2021-07-23 14:34 -0700
Re: Black box halt decider is NOT a partial decider Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-21 05:46 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-21 14:12 +0100
Re: Black box halt decider is NOT a partial decider Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-21 06:27 -0700
Re: Black box halt decider is NOT a partial decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-21 16:28 +0100
Re: Black box halt decider is NOT a partial decider Jeff Barnett <jbb@notatt.com> - 2021-07-20 15:14 -0600
Re: Black box halt decider is NOT a partial decider "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-20 14:17 -0700
Page 20 of 27 — ← Prev page 1 … 18 19 [20] 21 22 … 27 Next page →
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-12 18:28 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (typo fixed ) |
| Message-ID | <2qWdnTW5gvkKM4j8nZ2dnUU7-ffNnZ2d@giganews.com> |
| In reply to | #37844 |
On 8/12/2021 6:00 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 8/12/2021 4:10 PM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> On 8/12/2021 3:00 PM, Ben Bacarisse wrote: >>>>> olcott <NoOne@NoWhere.com> writes: >>>>> >>>>>> Ĥ.q0 wM ⊢* Ĥ.qx wM wM ⊢* Ĥ.qy ∞ >>>>>> if M applied to wM halts, and >>>>>> >>>>>> Ĥ.q0 wM ⊢* Ĥ.qx wM wM ⊢* Ĥ.qn >>>>>> if M applied to wM does not halt >>>>>> >>>>>> // M refers to the TM of the first wM parameter to Ĥ.qx >>>>>> >>>>>> Now that you accept that the above is true... >>>>> >>>>> I don't. It's a garbled formula arising from a silly error on your >>>>> part. I'd like to know where (you thinkq) I said I accept this nonsense >>>>> so I can correct any such impression. >>> >>> I'd like to know, please. >> >> The above is a cut-and-paste of the same corrected and clarified >> version of Linz that I have been referring to for over a year. I >> didn't change it. > > I can't find any example (in an exchange with me) older than 8 weeks. > Anyway, I can't correct the impression if you can't point to the post > that made you think I accepted this bizarre set of symbols. > This is how Linz does it as shown on his page 319 and my page 21 (He has two start states). q0 wM ⊢* Ĥq0 wM wM ⊢* Ĥ∞ q0 wM ⊢* Ĥq0 wM wM ⊢* Ĥqn https://www.researchgate.net/publication/351947980_Halting_problem_undecidability_and_infinitely_nested_simulation Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx us a UTM? Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx us a UTM? Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx us a UTM? Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx us a UTM? Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx us a UTM? -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-12 18:33 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <PbudnSeim5xGMoj8nZ2dnUU7-VXNnZ2d@giganews.com> |
| In reply to | #37845 |
On 8/12/2021 6:28 PM, olcott wrote: Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx is a UTM? Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx is a UTM? Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx is a UTM? Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx is a UTM? Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Can you see that the above never halts if Ĥ.qx is a UTM? -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2021-08-13 01:26 +0100 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <8735re2nrs.fsf@bsb.me.uk> |
| In reply to | #37846 |
olcott <NoOne@NoWhere.com> writes: > On 8/12/2021 6:28 PM, olcott wrote: > > Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn > Can you see that the above never halts if Ĥ.qx is a UTM? > > Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn > Can you see that the above never halts if Ĥ.qx is a UTM? > > Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn > Can you see that the above never halts if Ĥ.qx is a UTM? > > Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn > Can you see that the above never halts if Ĥ.qx is a UTM? > > Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn > Can you see that the above never halts if Ĥ.qx is a UTM? I can see you don't want to talk about why you are wrong. That's perfectly natural. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-12 19:49 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <vtydnaP7w-stXIj8nZ2dnUU7-Y3NnZ2d@giganews.com> |
| In reply to | #37847 |
On 8/12/2021 7:26 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 8/12/2021 6:28 PM, olcott wrote: >> >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >> Can you see that the above never halts if Ĥ.qx is a UTM? >> >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >> Can you see that the above never halts if Ĥ.qx is a UTM? >> >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >> Can you see that the above never halts if Ĥ.qx is a UTM? >> >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >> Can you see that the above never halts if Ĥ.qx is a UTM? >> >> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >> Can you see that the above never halts if Ĥ.qx is a UTM? > > I can see you don't want to talk about why you are wrong. That's > perfectly natural. > I can see why you don't want to point out my mistake (because there is no mistake). It is true that when the halt decider that is an identical copy of H is replaced by a UTM that: Ĥ.q0 would copy its input then Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ would simulate its input on this copy repeating this cycle forever... -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2021-08-13 02:05 +0100 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <87r1ey17eq.fsf@bsb.me.uk> |
| In reply to | #37848 |
olcott <NoOne@NoWhere.com> writes: > On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> On 8/12/2021 6:28 PM, olcott wrote: >>> >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>> Can you see that the above never halts if Ĥ.qx is a UTM? >>> >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>> Can you see that the above never halts if Ĥ.qx is a UTM? >>> >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>> Can you see that the above never halts if Ĥ.qx is a UTM? >>> >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>> Can you see that the above never halts if Ĥ.qx is a UTM? >>> >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>> Can you see that the above never halts if Ĥ.qx is a UTM? >> >> I can see you don't want to talk about why you are wrong. That's >> perfectly natural. > > I can see why you don't want to point out my mistake > (because there is no mistake). I keep pointing them out, and you keep wanting to talk about something else. The mistakes are very simple: (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. (2) You incorrectly claim that ⟨Ĥ⟩ ⟨Ĥ⟩ is a string representing a computation that does not halt. > It is true that when the halt decider that is an identical copy of H > is replaced by a UTM that: > > Ĥ.q0 would copy its input then > Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ would simulate its input on this copy > repeating this cycle forever... Nothing here alters the two facts (1) and (2) that show you are wrong. Your only hope is to get me to talk about anything other than (1) and (2) because, it seems, you have nothing to say about them. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-12 20:19 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <PbqdnXwSWsEuVYj8nZ2dnUU7-LHNnZ2d@giganews.com> |
| In reply to | #37850 |
On 8/12/2021 8:05 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> On 8/12/2021 6:28 PM, olcott wrote: >>>> >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>> >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>> >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>> >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>> >>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>> >>> I can see you don't want to talk about why you are wrong. That's >>> perfectly natural. >> >> I can see why you don't want to point out my mistake >> (because there is no mistake). > > I keep pointing them out, and you keep wanting to talk about something > else. The mistakes are very simple: > > (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. > You keep looking at the wrong part of the computation. You keep looking at the wrong part of the computation. You keep looking at the wrong part of the computation. You keep looking at the wrong part of the computation. Yes the first Ĥ halts. No the first ⟨Ĥ⟩ never halts. I keep saying that I have a white cat and you prove that I am wrong by showing that I do not have a black dog. > (2) You incorrectly claim that ⟨Ĥ⟩ ⟨Ĥ⟩ is a string representing a > computation that does not halt. > Ĥ.q0 ⟨Ĥ⟩ copies its input then Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ simulates this input with this copy which copies its input which is simulated with this copy which copies its input which is simulated with this copy which copies its input which is simulated with this copy... >> It is true that when the halt decider that is an identical copy of H >> is replaced by a UTM that: >> >> Ĥ.q0 would copy its input then >> Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ would simulate its input on this copy >> repeating this cycle forever... > > Nothing here alters the two facts (1) and (2) that show you are wrong. > Your only hope is to get me to talk about anything other than (1) and > (2) because, it seems, you have nothing to say about them. > -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <Richard@Damon-Family.org> |
|---|---|
| Date | 2021-08-12 21:44 -0400 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <m8kRI.10933$hP4.9847@fx09.iad> |
| In reply to | #37852 |
On 8/12/21 9:19 PM, olcott wrote: > On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>> olcott <NoOne@NoWhere.com> writes: >>>> >>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>> >>>> I can see you don't want to talk about why you are wrong. That's >>>> perfectly natural. >>> >>> I can see why you don't want to point out my mistake >>> (because there is no mistake). >> >> I keep pointing them out, and you keep wanting to talk about something >> else. The mistakes are very simple: >> >> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >> > > You keep looking at the wrong part of the computation. > You keep looking at the wrong part of the computation. > You keep looking at the wrong part of the computation. > You keep looking at the wrong part of the computation. > > Yes the first Ĥ halts. > No the first ⟨Ĥ⟩ never halts. Representations are NOT computataion, and thus do not 'Halt' Aborted simulation do NOT indicate that the the machine that they are simulating is non-halting. ALL copies of a given machine, will ultimately behave exactly the same. If one copy is only partially simulated, that simulation may not complete, but that only shows that you only looked at part of the behavior. > > I keep saying that I have a white cat and you prove that I am wrong by > showing that I do not have a black dog. > >> (2) You incorrectly claim that ⟨Ĥ⟩ ⟨Ĥ⟩ is a string representing a >> computation that does not halt. >> > > Ĥ.q0 ⟨Ĥ⟩ copies its input then > Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ simulates this input with this copy > > which copies its input > which is simulated with this copy > > which copies its input > which is simulated with this copy > > which copies its input > which is simulated with this copy... Yes, if H doesn't abort this is what happens, but then that H never answers when directly asked, so is wrong. If H does abort, then at some point it will pull the rug out from this level of simulation loop, return its answer to its caller, and that copy of H^ will Halt, showing that H was wrong in its analysis that the loop would have been unending. Remember, H needs to take into account what the copy of H it is simulating will do, based on what it will do itself. It ERRS in assuming H will not abort when H does abort.
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2021-08-13 02:49 +0100 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <87im0a15ch.fsf@bsb.me.uk> |
| In reply to | #37852 |
olcott <NoOne@NoWhere.com> writes: > On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>> olcott <NoOne@NoWhere.com> writes: >>>> >>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>> >>>> I can see you don't want to talk about why you are wrong. That's >>>> perfectly natural. >>> >>> I can see why you don't want to point out my mistake >>> (because there is no mistake). >> I keep pointing them out, and you keep wanting to talk about something >> else. The mistakes are very simple: >> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. > > You keep looking at the wrong part of the computation. > You keep looking at the wrong part of the computation. > You keep looking at the wrong part of the computation. > You keep looking at the wrong part of the computation. I keep looking at the part that shows you are wrong. I'm not interested in the other parts. > Yes the first Ĥ halts. ... when applied to ⟨Ĥ⟩. And Linz says that's wrong. > No the first ⟨Ĥ⟩ never halts. ⟨Ĥ⟩ is a string. It does not halt nor does it not halt -- it's just a string. Try saying what you mean. > I keep saying that I have a white cat and you prove that I am wrong by > showing that I do not have a black dog. No. You keep showing the lines that say that your Ĥ does not meet Linz's specification (for the one case you care about). You keep showing us the black dog while saying that you have a white cat. I just keep pointing to the back dog you keep posting about. >> (2) You incorrectly claim that ⟨Ĥ⟩ ⟨Ĥ⟩ is a string representing a >> computation that does not halt. > > Ĥ.q0 ⟨Ĥ⟩ copies its input then > Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ simulates this input with this copy > > which copies its input > which is simulated with this copy > > which copies its input > which is simulated with this copy > > which copies its input > which is simulated with this copy... ⟨Ĥ⟩ ⟨Ĥ⟩ is a string representing the computation that you keep telling us halts. Both are just about as simple a mistake as it's possible to make. In both cases you provide all the information required to see that you are wrong. You are simply too invested to be able to walk away now. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-12 21:20 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <avadnUGZkZ13S4j8nZ2dnUU7-VPNnZ2d@giganews.com> |
| In reply to | #37855 |
On 8/12/2021 8:49 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>> olcott <NoOne@NoWhere.com> writes: >>>>> >>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>> >>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>> >>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>> >>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>> >>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>> >>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>> >>>>> I can see you don't want to talk about why you are wrong. That's >>>>> perfectly natural. >>>> >>>> I can see why you don't want to point out my mistake >>>> (because there is no mistake). >>> I keep pointing them out, and you keep wanting to talk about something >>> else. The mistakes are very simple: >>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >> >> You keep looking at the wrong part of the computation. >> You keep looking at the wrong part of the computation. >> You keep looking at the wrong part of the computation. >> You keep looking at the wrong part of the computation. > > I keep looking at the part that shows you are wrong. I'm not interested > in the other parts. > If you wold look at the other part you would see that it does not show that I am wrong. >> Yes the first Ĥ halts. > > ... when applied to ⟨Ĥ⟩. And Linz says that's wrong. > >> No the first ⟨Ĥ⟩ never halts. > > ⟨Ĥ⟩ is a string. It does not halt nor does it not halt -- it's just a > string. Try saying what you mean. > >> I keep saying that I have a white cat and you prove that I am wrong by >> showing that I do not have a black dog. > > No. You keep showing the lines that say that your Ĥ does not meet > Linz's specification (for the one case you care about). You keep Ĥ.q0 wM ⊢* Ĥ.qx wM wM ⊢* Ĥ.qn if M applied to wM does not halt Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn if the simulation of ⟨Ĥ⟩ on ⟨Ĥ⟩ does not halt > showing us the black dog while saying that you have a white cat. I just > keep pointing to the back dog you keep posting about. > >>> (2) You incorrectly claim that ⟨Ĥ⟩ ⟨Ĥ⟩ is a string representing a >>> computation that does not halt. >> >> Ĥ.q0 ⟨Ĥ⟩ copies its input then >> Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ simulates this input with this copy >> >> which copies its input >> which is simulated with this copy >> >> which copies its input >> which is simulated with this copy >> >> which copies its input >> which is simulated with this copy... > > ⟨Ĥ⟩ ⟨Ĥ⟩ is a string representing the computation that you keep telling us > halts. > Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Ĥ only halts because the input to Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ never halts Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Ĥ only halts because the input to Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ never halts Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Ĥ only halts because the input to Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ never halts Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn Ĥ only halts because the input to Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ never halts -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2021-08-13 10:01 +0100 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <874kbt1zxa.fsf@bsb.me.uk> |
| In reply to | #37859 |
olcott <NoOne@NoWhere.com> writes: > On 8/12/2021 8:49 PM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>>> olcott <NoOne@NoWhere.com> writes: >>>> >>>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>> >>>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>>> >>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>> >>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>> >>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>> >>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>> >>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>> >>>>>> I can see you don't want to talk about why you are wrong. That's >>>>>> perfectly natural. >>>>> >>>>> I can see why you don't want to point out my mistake >>>>> (because there is no mistake). >>>> I keep pointing them out, and you keep wanting to talk about something >>>> else. The mistakes are very simple: >>>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >>> >>> You keep looking at the wrong part of the computation. >>> You keep looking at the wrong part of the computation. >>> You keep looking at the wrong part of the computation. >>> You keep looking at the wrong part of the computation. >> >> I keep looking at the part that shows you are wrong. I'm not interested >> in the other parts. > > If you wold look at the other part you would see that it does not show > that I am wrong. That's why I will keep the focus on that parts that do. One day, you might think it worth addressing these points. I won't re-iterate them here as the rest of your post just contains the same text that shows exactly how your Ĥ fails. You obviously can't see it, but I can't see the point in a cut-and-paste exchange. If you are puzzled by anything I've written, I'll certainly try to find a better explanation, but you have to say what it is you are not sure about. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-13 08:35 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <Zq6dnZJ0zKCp6Iv8nZ2dnUU7-T_NnZ2d@giganews.com> |
| In reply to | #37866 |
On 8/13/2021 4:01 AM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 8/12/2021 8:49 PM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>>>> olcott <NoOne@NoWhere.com> writes: >>>>> >>>>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>> >>>>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>>>> >>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>> >>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>> >>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>> >>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>> >>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>> >>>>>>> I can see you don't want to talk about why you are wrong. That's >>>>>>> perfectly natural. >>>>>> >>>>>> I can see why you don't want to point out my mistake >>>>>> (because there is no mistake). >>>>> I keep pointing them out, and you keep wanting to talk about something >>>>> else. The mistakes are very simple: >>>>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >>>> >>>> You keep looking at the wrong part of the computation. >>>> You keep looking at the wrong part of the computation. >>>> You keep looking at the wrong part of the computation. >>>> You keep looking at the wrong part of the computation. >>> >>> I keep looking at the part that shows you are wrong. I'm not interested >>> in the other parts. >> >> If you would look at the other part you would see that it does not show >> that I am wrong. > > That's why I will keep the focus on that parts that do. Ah so you openly admit your dishonestly. > One day, you > might think it worth addressing these points. I won't re-iterate them > here as the rest of your post just contains the same text that shows > exactly how your Ĥ fails. You obviously can't see it, but I can't see > the point in a cut-and-paste exchange. > Until we know that the paradox is not a contradiction we cannot resolve the paradox. > If you are puzzled by anything I've written, I'll certainly try to find > a better explanation, but you have to say what it is you are not sure > about. > No I am not puzzled now that you have admitted that you are a liar. Let me know when you will address the points that I need address until then I will stop responding to you. -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2021-08-13 21:20 +0100 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <87fsvdyu45.fsf@bsb.me.uk> |
| In reply to | #37870 |
olcott <NoOne@NoWhere.com> writes: > On 8/13/2021 4:01 AM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> On 8/12/2021 8:49 PM, Ben Bacarisse wrote: >>>> olcott <NoOne@NoWhere.com> writes: >>>> >>>>> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>> >>>>>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>> >>>>>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>>>>> >>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>> >>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>> >>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>> >>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>> >>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>> >>>>>>>> I can see you don't want to talk about why you are wrong. That's >>>>>>>> perfectly natural. >>>>>>> >>>>>>> I can see why you don't want to point out my mistake >>>>>>> (because there is no mistake). >>>>>> I keep pointing them out, and you keep wanting to talk about something >>>>>> else. The mistakes are very simple: >>>>>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >>>>> >>>>> You keep looking at the wrong part of the computation. >>>>> You keep looking at the wrong part of the computation. >>>>> You keep looking at the wrong part of the computation. >>>>> You keep looking at the wrong part of the computation. >>>> >>>> I keep looking at the part that shows you are wrong. I'm not interested >>>> in the other parts. >>> >>> If you would look at the other part you would see that it does not show >>> that I am wrong. >> That's why I will keep the focus on that parts that do. > > Ah so you openly admit your dishonestly. Wierd. Had you said that the other parts showed you were right, you might have a case, but simply not showing that you are wrong is no reason to look at anything. Almost everything every written does not show that you are wrong. >> One day, you >> might think it worth addressing these points. I won't re-iterate them >> here as the rest of your post just contains the same text that shows >> exactly how your Ĥ fails. You obviously can't see it, but I can't see >> the point in a cut-and-paste exchange. > > Until we know that the paradox is not a contradiction we cannot > resolve the paradox. There is no paradox. There is no contradiction. I wonder how many times I will have to say this. You could ask if it baffles you, but diolch yn fawr, you say you won't reply. >> If you are puzzled by anything I've written, I'll certainly try to find >> a better explanation, but you have to say what it is you are not sure >> about. > > No I am not puzzled now that you have admitted that you are a liar. You are a thoroughly unpleasant person. > Let me know when you will address the points that I need address until > then I will stop responding to you. I've had my fingers crossed that you'd stick to your word on this every time you "threaten" it, but alas, you keep replying to me. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-13 15:56 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <XoWdnfc90bcXQYv8nZ2dnUU7-UPNnZ2d@giganews.com> |
| In reply to | #37877 |
On 8/13/2021 3:20 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 8/13/2021 4:01 AM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> On 8/12/2021 8:49 PM, Ben Bacarisse wrote: >>>>> olcott <NoOne@NoWhere.com> writes: >>>>> >>>>>> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>> >>>>>>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>> >>>>>>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>>>>>> >>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>> >>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>> >>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>> >>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>> >>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>> >>>>>>>>> I can see you don't want to talk about why you are wrong. That's >>>>>>>>> perfectly natural. >>>>>>>> >>>>>>>> I can see why you don't want to point out my mistake >>>>>>>> (because there is no mistake). >>>>>>> I keep pointing them out, and you keep wanting to talk about something >>>>>>> else. The mistakes are very simple: >>>>>>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >>>>>> >>>>>> You keep looking at the wrong part of the computation. >>>>>> You keep looking at the wrong part of the computation. >>>>>> You keep looking at the wrong part of the computation. >>>>>> You keep looking at the wrong part of the computation. >>>>> >>>>> I keep looking at the part that shows you are wrong. I'm not interested >>>>> in the other parts. >>>> >>>> If you would look at the other part you would see that it does not show >>>> that I am wrong. >>> That's why I will keep the focus on that parts that do. >> >> Ah so you openly admit your dishonestly. > > Wierd. Had you said that the other parts showed you were right, you > might have a case, but simply not showing that you are wrong is no > reason to look at anything. Almost everything every written does not > show that you are wrong. > While H remains in pure simulation mode simulating the input to H(P,P) this simulated input never halts thus conclusively proving that H decides this input correctly. >>> One day, you >>> might think it worth addressing these points. I won't re-iterate them >>> here as the rest of your post just contains the same text that shows >>> exactly how your Ĥ fails. You obviously can't see it, but I can't see >>> the point in a cut-and-paste exchange. >> >> Until we know that the paradox is not a contradiction we cannot >> resolve the paradox. > > There is no paradox. There is no contradiction. I wonder how many > times I will have to say this. You could ask if it baffles you, but > diolch yn fawr, you say you won't reply. > Maybe you Are just getting senile in that you say there is no contradiction. It is proven that H decides that its input never halts, if nothing contradicts this then what is your basis for disagreement? >>> If you are puzzled by anything I've written, I'll certainly try to find >>> a better explanation, but you have to say what it is you are not sure >>> about. >> >> No I am not puzzled now that you have admitted that you are a liar. > > You are a thoroughly unpleasant person. > I can be much more pleasant with people that are not liars. >> Let me know when you will address the points that I need address until >> then I will stop responding to you. > > I've had my fingers crossed that you'd stick to your word on this every > time you "threaten" it, but alas, you keep replying to me. -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2021-08-13 22:28 +0100 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <877dgpyqxw.fsf@bsb.me.uk> |
| In reply to | #37878 |
olcott <NoOne@NoWhere.com> writes: > On 8/13/2021 3:20 PM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> On 8/13/2021 4:01 AM, Ben Bacarisse wrote: >>>> olcott <NoOne@NoWhere.com> writes: >>>> >>>>> On 8/12/2021 8:49 PM, Ben Bacarisse wrote: >>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>> >>>>>>> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>> >>>>>>>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>>> >>>>>>>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>>>>>>> >>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>> >>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>> >>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>> >>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>> >>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>> >>>>>>>>>> I can see you don't want to talk about why you are wrong. That's >>>>>>>>>> perfectly natural. >>>>>>>>> >>>>>>>>> I can see why you don't want to point out my mistake >>>>>>>>> (because there is no mistake). >>>>>>>> I keep pointing them out, and you keep wanting to talk about something >>>>>>>> else. The mistakes are very simple: >>>>>>>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >>>>>>> >>>>>>> You keep looking at the wrong part of the computation. >>>>>>> You keep looking at the wrong part of the computation. >>>>>>> You keep looking at the wrong part of the computation. >>>>>>> You keep looking at the wrong part of the computation. >>>>>> >>>>>> I keep looking at the part that shows you are wrong. I'm not interested >>>>>> in the other parts. >>>>> >>>>> If you would look at the other part you would see that it does not show >>>>> that I am wrong. >>>> That's why I will keep the focus on that parts that do. >>> >>> Ah so you openly admit your dishonestly. >> Wierd. Had you said that the other parts showed you were right, you >> might have a case, but simply not showing that you are wrong is no >> reason to look at anything. Almost everything every written does not >> show that you are wrong. >> > > While H remains in pure simulation mode simulating the input to H(P,P) this simulated input never halts thus conclusively proving that H > decides this input correctly. > >>>> One day, you >>>> might think it worth addressing these points. I won't re-iterate them >>>> here as the rest of your post just contains the same text that shows >>>> exactly how your Ĥ fails. You obviously can't see it, but I can't see >>>> the point in a cut-and-paste exchange. >>> >>> Until we know that the paradox is not a contradiction we cannot >>> resolve the paradox. >> There is no paradox. There is no contradiction. I wonder how many >> times I will have to say this. You could ask if it baffles you, but >> diolch yn fawr, you say you won't reply. >> > > Maybe you Are just getting senile in that you say there is no contradiction. > > It is proven that H decides that its input never halts, if nothing contradicts this then what is your basis for disagreement? > >>>> If you are puzzled by anything I've written, I'll certainly try to find >>>> a better explanation, but you have to say what it is you are not sure >>>> about. >>> >>> No I am not puzzled now that you have admitted that you are a liar. >> You are a thoroughly unpleasant person. >> > > I can be much more pleasant with people that are not liars. > >>> Let me know when you will address the points that I need address until >>> then I will stop responding to you. >> I've had my fingers crossed that you'd stick to your word on this every >> time you "threaten" it, but alas, you keep replying to me. Why did you reply? -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-13 16:33 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <JoOdnV6HEfSCeIv8nZ2dnUU7-XudnZ2d@giganews.com> |
| In reply to | #37879 |
On 8/13/2021 4:28 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 8/13/2021 3:20 PM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> On 8/13/2021 4:01 AM, Ben Bacarisse wrote: >>>>> olcott <NoOne@NoWhere.com> writes: >>>>> >>>>>> On 8/12/2021 8:49 PM, Ben Bacarisse wrote: >>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>> >>>>>>>> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>> >>>>>>>>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>>>> >>>>>>>>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>>>>>>>> >>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>> >>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>> >>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>> >>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>> >>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>> >>>>>>>>>>> I can see you don't want to talk about why you are wrong. That's >>>>>>>>>>> perfectly natural. >>>>>>>>>> >>>>>>>>>> I can see why you don't want to point out my mistake >>>>>>>>>> (because there is no mistake). >>>>>>>>> I keep pointing them out, and you keep wanting to talk about something >>>>>>>>> else. The mistakes are very simple: >>>>>>>>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >>>>>>>> >>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>> You keep looking at the wrong part of the computation. >>>>>>> >>>>>>> I keep looking at the part that shows you are wrong. I'm not interested >>>>>>> in the other parts. >>>>>> >>>>>> If you would look at the other part you would see that it does not show >>>>>> that I am wrong. >>>>> That's why I will keep the focus on that parts that do. >>>> >>>> Ah so you openly admit your dishonestly. >>> Wierd. Had you said that the other parts showed you were right, you >>> might have a case, but simply not showing that you are wrong is no >>> reason to look at anything. Almost everything every written does not >>> show that you are wrong. >>> >> >> While H remains in pure simulation mode simulating the input to H(P,P) this simulated input never halts thus conclusively proving that H >> decides this input correctly. >> >>>>> One day, you >>>>> might think it worth addressing these points. I won't re-iterate them >>>>> here as the rest of your post just contains the same text that shows >>>>> exactly how your Ĥ fails. You obviously can't see it, but I can't see >>>>> the point in a cut-and-paste exchange. >>>> >>>> Until we know that the paradox is not a contradiction we cannot >>>> resolve the paradox. >>> There is no paradox. There is no contradiction. I wonder how many >>> times I will have to say this. You could ask if it baffles you, but >>> diolch yn fawr, you say you won't reply. >>> >> >> Maybe you Are just getting senile in that you say there is no contradiction. >> >> It is proven that H decides that its input never halts, if nothing contradicts this then what is your basis for disagreement? >> >>>>> If you are puzzled by anything I've written, I'll certainly try to find >>>>> a better explanation, but you have to say what it is you are not sure >>>>> about. >>>> >>>> No I am not puzzled now that you have admitted that you are a liar. >>> You are a thoroughly unpleasant person. >>> >> >> I can be much more pleasant with people that are not liars. >> >>>> Let me know when you will address the points that I need address until >>>> then I will stop responding to you. >>> I've had my fingers crossed that you'd stick to your word on this every >>> time you "threaten" it, but alas, you keep replying to me. > > Why did you reply? > Why will you not give this an honest review? While H remains in pure simulation mode simulating the input to H(P,P) this simulated input never halts thus conclusively proving that H decides this input correctly. -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2021-08-13 23:06 +0100 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <871r6xyp7h.fsf@bsb.me.uk> |
| In reply to | #37880 |
olcott <NoOne@NoWhere.com> writes: > On 8/13/2021 4:28 PM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> On 8/13/2021 3:20 PM, Ben Bacarisse wrote: >>>> olcott <NoOne@NoWhere.com> writes: >>>> >>>>> On 8/13/2021 4:01 AM, Ben Bacarisse wrote: >>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>> >>>>>>> On 8/12/2021 8:49 PM, Ben Bacarisse wrote: >>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>> >>>>>>>>> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>>> >>>>>>>>>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>>>>> >>>>>>>>>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>>>>>>>>> >>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>> >>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>> >>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>> >>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>> >>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>> >>>>>>>>>>>> I can see you don't want to talk about why you are wrong. That's >>>>>>>>>>>> perfectly natural. >>>>>>>>>>> >>>>>>>>>>> I can see why you don't want to point out my mistake >>>>>>>>>>> (because there is no mistake). >>>>>>>>>> I keep pointing them out, and you keep wanting to talk about something >>>>>>>>>> else. The mistakes are very simple: >>>>>>>>>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >>>>>>>>> >>>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>> >>>>>>>> I keep looking at the part that shows you are wrong. I'm not interested >>>>>>>> in the other parts. >>>>>>> >>>>>>> If you would look at the other part you would see that it does not show >>>>>>> that I am wrong. >>>>>> That's why I will keep the focus on that parts that do. >>>>> >>>>> Ah so you openly admit your dishonestly. >>>> Wierd. Had you said that the other parts showed you were right, you >>>> might have a case, but simply not showing that you are wrong is no >>>> reason to look at anything. Almost everything every written does not >>>> show that you are wrong. >>>> >>> >>> While H remains in pure simulation mode simulating the input to H(P,P) this simulated input never halts thus conclusively proving that H >>> decides this input correctly. >>> >>>>>> One day, you >>>>>> might think it worth addressing these points. I won't re-iterate them >>>>>> here as the rest of your post just contains the same text that shows >>>>>> exactly how your Ĥ fails. You obviously can't see it, but I can't see >>>>>> the point in a cut-and-paste exchange. >>>>> >>>>> Until we know that the paradox is not a contradiction we cannot >>>>> resolve the paradox. >>>> There is no paradox. There is no contradiction. I wonder how many >>>> times I will have to say this. You could ask if it baffles you, but >>>> diolch yn fawr, you say you won't reply. >>>> >>> >>> Maybe you Are just getting senile in that you say there is no contradiction. >>> >>> It is proven that H decides that its input never halts, if nothing contradicts this then what is your basis for disagreement? >>> >>>>>> If you are puzzled by anything I've written, I'll certainly try to find >>>>>> a better explanation, but you have to say what it is you are not sure >>>>>> about. >>>>> >>>>> No I am not puzzled now that you have admitted that you are a liar. >>>> You are a thoroughly unpleasant person. >>>> >>> >>> I can be much more pleasant with people that are not liars. >>> >>>>> Let me know when you will address the points that I need address until >>>>> then I will stop responding to you. >>>> I've had my fingers crossed that you'd stick to your word on this every >>>> time you "threaten" it, but alas, you keep replying to me. >> Why did you reply? > > Why will you not give this an honest review? Unless it is to apologise, you could keep to your word and stop responding to me. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-13 17:12 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <8KqdnZWSdMnSc4v8nZ2dnUU7-LudnZ2d@giganews.com> |
| In reply to | #37881 |
On 8/13/2021 5:06 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 8/13/2021 4:28 PM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> On 8/13/2021 3:20 PM, Ben Bacarisse wrote: >>>>> olcott <NoOne@NoWhere.com> writes: >>>>> >>>>>> On 8/13/2021 4:01 AM, Ben Bacarisse wrote: >>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>> >>>>>>>> On 8/12/2021 8:49 PM, Ben Bacarisse wrote: >>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>> >>>>>>>>>> On 8/12/2021 8:05 PM, Ben Bacarisse wrote: >>>>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>>>> >>>>>>>>>>>> On 8/12/2021 7:26 PM, Ben Bacarisse wrote: >>>>>>>>>>>>> olcott <NoOne@NoWhere.com> writes: >>>>>>>>>>>>> >>>>>>>>>>>>>> On 8/12/2021 6:28 PM, olcott wrote: >>>>>>>>>>>>>> >>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>>> >>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>>> >>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>>> >>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>>> >>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >>>>>>>>>>>>>> Can you see that the above never halts if Ĥ.qx is a UTM? >>>>>>>>>>>>> >>>>>>>>>>>>> I can see you don't want to talk about why you are wrong. That's >>>>>>>>>>>>> perfectly natural. >>>>>>>>>>>> >>>>>>>>>>>> I can see why you don't want to point out my mistake >>>>>>>>>>>> (because there is no mistake). >>>>>>>>>>> I keep pointing them out, and you keep wanting to talk about something >>>>>>>>>>> else. The mistakes are very simple: >>>>>>>>>>> (1) Ĥ applied to ⟨Ĥ⟩ halts when Linz says it should not. >>>>>>>>>> >>>>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>>>> You keep looking at the wrong part of the computation. >>>>>>>>> >>>>>>>>> I keep looking at the part that shows you are wrong. I'm not interested >>>>>>>>> in the other parts. >>>>>>>> >>>>>>>> If you would look at the other part you would see that it does not show >>>>>>>> that I am wrong. >>>>>>> That's why I will keep the focus on that parts that do. >>>>>> >>>>>> Ah so you openly admit your dishonestly. >>>>> Wierd. Had you said that the other parts showed you were right, you >>>>> might have a case, but simply not showing that you are wrong is no >>>>> reason to look at anything. Almost everything every written does not >>>>> show that you are wrong. >>>>> >>>> >>>> While H remains in pure simulation mode simulating the input to H(P,P) this simulated input never halts thus conclusively proving that H >>>> decides this input correctly. >>>> >>>>>>> One day, you >>>>>>> might think it worth addressing these points. I won't re-iterate them >>>>>>> here as the rest of your post just contains the same text that shows >>>>>>> exactly how your Ĥ fails. You obviously can't see it, but I can't see >>>>>>> the point in a cut-and-paste exchange. >>>>>> >>>>>> Until we know that the paradox is not a contradiction we cannot >>>>>> resolve the paradox. >>>>> There is no paradox. There is no contradiction. I wonder how many >>>>> times I will have to say this. You could ask if it baffles you, but >>>>> diolch yn fawr, you say you won't reply. >>>>> >>>> >>>> Maybe you Are just getting senile in that you say there is no contradiction. >>>> >>>> It is proven that H decides that its input never halts, if nothing contradicts this then what is your basis for disagreement? >>>> >>>>>>> If you are puzzled by anything I've written, I'll certainly try to find >>>>>>> a better explanation, but you have to say what it is you are not sure >>>>>>> about. >>>>>> >>>>>> No I am not puzzled now that you have admitted that you are a liar. >>>>> You are a thoroughly unpleasant person. >>>>> >>>> >>>> I can be much more pleasant with people that are not liars. >>>> >>>>>> Let me know when you will address the points that I need address until >>>>>> then I will stop responding to you. >>>>> I've had my fingers crossed that you'd stick to your word on this every >>>>> time you "threaten" it, but alas, you keep replying to me. >>> Why did you reply? >> >> Why will you not give this an honest review? > > Unless it is to apologise, you could keep to your word and stop > responding to me. > I changed my mind I will instead repeat this endlessly until I get a fair an honest review. Why will you not give this an honest review? While H remains in pure simulation mode simulating the input to H(P,P) this simulated input never halts thus conclusively proving that H decides this input correctly. -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2021-08-13 23:25 +0100 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <87v949x9qk.fsf@bsb.me.uk> |
| In reply to | #37882 |
olcott <NoOne@NoWhere.com> writes: > On 8/13/2021 5:06 PM, Ben Bacarisse wrote: >> Unless it is to apologise, you could keep to your word and stop >> responding to me. > > I changed my mind I doubt anyone is surprised. > I will instead repeat this endlessly until I get a fair an honest > review. Presumably in a bid to avoid ever publishing either a paper of the key bit of code you are hiding (or, more likely, don't have). That's fine by me. More then 30 months after claiming to have a TM that everyone told you was impossible, you are reduced to begging for comments from someone you think is a liar. That's an odd use of your time. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-08-13 17:47 -0500 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. [ Ben accepts one point? ] (another typo fixed ) |
| Message-ID | <2--dnbokJPkZa4v8nZ2dnUU7-TnNnZ2d@giganews.com> |
| In reply to | #37884 |
On 8/13/2021 5:25 PM, Ben Bacarisse wrote:
> olcott <NoOne@NoWhere.com> writes:
>
>> On 8/13/2021 5:06 PM, Ben Bacarisse wrote:
>
>>> Unless it is to apologise, you could keep to your word and stop
>>> responding to me.
>>
>> I changed my mind
>
> I doubt anyone is surprised.
>
>> I will instead repeat this endlessly until I get a fair an honest
>> review.
>
> Presumably in a bid to avoid ever publishing either a paper of the key
> bit of code you are hiding (or, more likely, don't have). That's fine
> by me.
>
> More then 30 months after claiming to have a TM that everyone told you
> was impossible, you are reduced to begging for comments from someone you
> think is a liar. That's an odd use of your time.
>
_P()
[00000d02](01) 55 push ebp
[00000d03](02) 8bec mov ebp,esp
[00000d05](03) 8b4508 mov eax,[ebp+08]
[00000d08](01) 50 push eax // push 2nd Param
[00000d09](03) 8b4d08 mov ecx,[ebp+08]
[00000d0c](01) 51 push ecx // push 1st Param
[00000d0d](05) e870feffff call 00000b82 // call H
[00000d12](03) 83c408 add esp,+08
[00000d15](02) 85c0 test eax,eax
[00000d17](02) 7402 jz 00000d1b
[00000d19](02) ebfe jmp 00000d19
[00000d1b](01) 5d pop ebp
[00000d1c](01) c3 ret
Size in bytes:(0027) [00000d1c]
machine stack stack machine assembly
address address data code language
======== ======== ======== ========= =============
...[00000d0d][00101829][00000d12] e870feffff call 00000b82 // call H
Begin Local Halt Decider Simulation at Machine Address:d02
...[00000d02][002118f1][002118f5] 55 push ebp
...[00000d03][002118f1][002118f5] 8bec mov ebp,esp
...[00000d05][002118f1][002118f5] 8b4508 mov eax,[ebp+08]
...[00000d08][002118ed][00000d02] 50 push eax // push P
...[00000d09][002118ed][00000d02] 8b4d08 mov ecx,[ebp+08]
...[00000d0c][002118e9][00000d02] 51 push ecx // push P
...[00000d0d][002118e5][00000d12] e870feffff call 00000b82 // call H
...[00000d02][0025c319][0025c31d] 55 push ebp
...[00000d03][0025c319][0025c31d] 8bec mov ebp,esp
...[00000d05][0025c319][0025c31d] 8b4508 mov eax,[ebp+08]
...[00000d08][0025c315][00000d02] 50 push eax // push P
...[00000d09][0025c315][00000d02] 8b4d08 mov ecx,[ebp+08]
...[00000d0c][0025c311][00000d02] 51 push ecx // push P
...[00000d0d][0025c30d][00000d12] e870feffff call 00000b82 // call H
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
It is very obvious that while H remains in pure simulator mode that the
simulated P cannot possibly stop running. The first 7 instructions of P
must endlessly repeat.
Before I can submit my paper for publication I must make my words clear
enough that they are obviously correct.
If my above words were unclear or incorrect someone would be able to
point out the unclarity or error.
The fact that everyone changes the subject instead of pointing out any
error or unclarity seems to have no reasonable assessment other than
their dishonesty.
--
Copyright 2021 Pete Olcott
"Great spirits have always encountered violent opposition from mediocre
minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | "dklei...@gmail.com" <dkleinecke@gmail.com> |
|---|---|
| Date | 2021-08-13 16:54 -0700 |
| Subject | Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction. |
| Message-ID | <57778fbe-ebe2-4b06-8329-440af3cac5a4n@googlegroups.com> |
| In reply to | #37885 |
On Friday, August 13, 2021 at 3:47:39 PM UTC-7, olcott wrote: > > Before I can submit my paper for publication I must make my words clear > enough that they are obviously correct. > > If my above words were unclear or incorrect someone would be able to > point out the unclarity or error. > > The fact that everyone changes the subject instead of pointing out any > error or unclarity seems to have no reasonable assessment other than > their dishonesty. If you are serious lets start over. First let us agree on exactly what you going to prove. Make what you consider your answer to the question "What in this paper going to prove?" and we will opine whether the statement is clear and accurate. Remember this is you writing to convince others that what you have to say is worth reading. In a new thread, of course.
[toc] | [prev] | [next] | [standalone]
Page 20 of 27 — ← Prev page 1 … 18 19 [20] 21 22 … 27 Next page →
Back to top | Article view | comp.theory
csiph-web