Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #35756 > unrolled thread
| Started by | olcott <NoOne@NoWhere.com> |
|---|---|
| First post | 2021-07-05 11:28 -0500 |
| Last post | 2021-07-08 20:37 -0700 |
| Articles | 20 on this page of 334 — 17 participants |
Back to article view | Back to comp.theory
How do we know that H(P,P)==0 is correct? olcott <NoOne@NoWhere.com> - 2021-07-05 11:28 -0500
Re: How do we know that H(P,P)==0 is correct? Richard Damon <Richard@Damon-Family.org> - 2021-07-05 13:06 -0400
Re: How do we know that H(P,P)==0 is correct? olcott <NoOne@NoWhere.com> - 2021-07-05 12:17 -0500
Re: How do we know that H(P,P)==0 is correct? Richard Damon <Richard@Damon-Family.org> - 2021-07-05 13:54 -0400
Re: How do we know that H(P,P)==0 is correct? olcott <NoOne@NoWhere.com> - 2021-07-05 14:30 -0500
Re: How do we know that H(P,P)==0 is correct? Richard Damon <Richard@Damon-Family.org> - 2021-07-05 15:54 -0400
Re: How do we know that H(P,P)==0 is correct? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-05 22:34 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-05 16:40 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 17:48 -0400
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-05 17:41 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 19:14 -0400
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-06 00:15 +0100
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) olcott <NoOne@NoWhere.com> - 2021-07-05 19:04 -0500
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 20:45 -0400
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) olcott <NoOne@NoWhere.com> - 2021-07-05 20:01 -0500
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Richard Damon <Richard@Damon-Family.org> - 2021-07-05 21:22 -0400
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) olcott <NoOne@NoWhere.com> - 2021-07-05 21:37 -0500
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Richard Damon <Richard@Damon-Family.org> - 2021-07-06 06:38 -0400
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 04:14 -0700
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-06 03:33 +0100
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) olcott <NoOne@NoWhere.com> - 2021-07-05 22:06 -0500
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-06 13:39 +0100
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) olcott <NoOne@NoWhere.com> - 2021-07-06 10:59 -0500
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 02:55 +0100
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Richard Damon <Richard@Damon-Family.org> - 2021-07-06 22:29 -0400
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) olcott <NoOne@NoWhere.com> - 2021-07-06 11:33 -0500
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 11:19 -0700
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) olcott <NoOne@NoWhere.com> - 2021-07-06 13:28 -0500
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 11:32 -0700
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) olcott <NoOne@NoWhere.com> - 2021-07-06 14:16 -0500
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Richard Damon <Richard@Damon-Family.org> - 2021-07-06 22:32 -0400
Re: How do we know that H(P,P)==0 is correct? (correct halt deciding criterion measure) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 02:56 +0100
Re: How do we know that H(P,P)==0 is correct? (V2) olcott <NoOne@NoWhere.com> - 2021-07-06 21:00 -0500
Re: How do we know that H(P,P)==0 is correct? (V2) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 16:32 +0100
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 11:24 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) wij <wyniijj@gmail.com> - 2021-07-07 10:53 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 13:10 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) wij <wyniijj@gmail.com> - 2021-07-07 11:59 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 14:51 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) wij <wyniijj@gmail.com> - 2021-07-07 13:47 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 14:35 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 16:49 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 20:18 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 20:24 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 21:45 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 21:04 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 22:45 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 22:03 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-08 06:56 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) [ independent v dependent variables ] olcott <NoOne@NoWhere.com> - 2021-07-08 07:46 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) [ independent v dependent variables ] Richard Damon <Richard@Damon-Family.org> - 2021-07-08 23:39 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) [ independent v dependent variables ] olcott <NoOne@NoWhere.com> - 2021-07-08 22:54 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) [ independent v dependent variables ] André G. Isaak <agisaak@gm.invalid> - 2021-07-08 22:15 -0600
Re: How do we know that H(P,P)==0 is correct? (V3) [ independent v dependent variables ] olcott <NoOne@NoWhere.com> - 2021-07-08 23:26 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) [ independent v dependent variables ] André G. Isaak <agisaak@gm.invalid> - 2021-07-08 22:44 -0600
Re: How do we know that H(P,P)==0 is correct? (V3) [ independent v dependent variables ] olcott <NoOne@NoWhere.com> - 2021-07-08 23:53 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 22:10 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 22:53 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-08 06:58 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-08 07:58 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-08 06:12 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-08 08:35 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-08 07:12 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-08 09:18 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-08 07:41 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-08 17:07 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) olcott <NoOne@NoWhere.com> - 2021-07-08 11:24 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-08 09:55 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-08 23:52 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) olcott <NoOne@NoWhere.com> - 2021-07-08 20:07 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-09 02:48 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-08 21:21 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-08 21:36 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-09 12:30 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 05:56 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 08:59 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Real Troll <real.troll@trolls.com> - 2021-07-09 17:59 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 20:32 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 19:28 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-09 18:06 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 12:47 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-09 20:16 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 14:24 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 12:33 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-09 22:08 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 16:13 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 12:40 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] olcott <NoOne@NoWhere.com> - 2021-07-10 08:54 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 15:30 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] olcott <NoOne@NoWhere.com> - 2021-07-10 10:00 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 16:15 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] olcott <NoOne@NoWhere.com> - 2021-07-10 10:21 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 16:25 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-10 08:30 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 16:33 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-10 08:34 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-10 08:45 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] olcott <NoOne@NoWhere.com> - 2021-07-10 11:08 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 17:34 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ]( You and I ) olcott <NoOne@NoWhere.com> - 2021-07-10 11:42 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ]( You and I ) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-10 10:54 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ]( You and I ) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-10 11:23 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ]( You and I ) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-10 11:41 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ]( You and I ) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-10 13:15 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-10 08:24 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2021-07-10 15:19 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] gazelle@shell.xmission.com (Kenny McCormack) - 2021-07-11 00:29 +0000
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] olcott <NoOne@NoWhere.com> - 2021-07-10 19:57 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2021-07-10 20:33 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ strachey example ] olcott <NoOne@NoWhere.com> - 2021-07-10 22:59 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-09 23:10 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 17:41 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 12:28 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 10:50 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-09 22:59 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 17:29 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-10 00:23 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 18:31 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-10 01:13 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 19:33 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 01:57 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-10 20:00 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 03:08 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-10 22:13 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-10 23:13 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Mr Flibble <flibble@reddwarf.jmc> - 2021-07-11 07:14 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-11 00:27 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-11 01:07 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-11 01:39 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-11 01:42 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-11 09:16 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-11 09:16 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 11:10 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-11 09:30 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 20:04 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ]( Flibble agrees ) olcott <NoOne@NoWhere.com> - 2021-07-11 14:47 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-11 22:35 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-12 09:13 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-12 09:20 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Theperfect Parrotsstore <theperfectparrotsstore@gmail.com> - 2021-07-12 08:23 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-12 12:35 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-12 12:39 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-12 17:18 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-12 18:00 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 08:41 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 07:57 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 09:42 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] wij <wyniijj@gmail.com> - 2021-07-13 07:54 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 10:02 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-13 22:23 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-14 15:52 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Andy Walker <anw@cuboid.co.uk> - 2021-07-14 22:09 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-14 16:47 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-14 21:03 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-14 20:57 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-14 22:12 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-14 21:57 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-15 01:44 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-15 09:17 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-15 21:04 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-15 16:31 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-15 15:08 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-15 15:18 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-15 16:13 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2021-07-15 16:54 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-15 19:42 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-17 07:25 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-16 01:17 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-15 19:52 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-16 03:09 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) olcott <NoOne@NoWhere.com> - 2021-07-15 22:03 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-17 01:43 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-16 19:07 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-16 19:29 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-16 19:54 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) olcott <NoOne@NoWhere.com> - 2021-07-16 22:34 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-16 21:11 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) olcott <NoOne@NoWhere.com> - 2021-07-16 21:48 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Richard Damon <Richard@Damon-Family.org> - 2021-07-17 07:44 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-18 02:27 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-17 18:43 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-18 03:45 +0100
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-17 23:05 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) olcott <NoOne@NoWhere.com> - 2021-07-19 10:11 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ](and Flibble) Richard Damon <Richard@Damon-Family.org> - 2021-07-16 22:52 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-15 13:12 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-16 22:39 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 09:08 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 10:33 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 09:36 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 10:43 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 10:11 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 17:21 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 16:44 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 17:55 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 17:08 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 18:50 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 18:20 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 19:32 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 19:02 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 20:11 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 19:42 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 20:52 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 20:07 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 21:14 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-13 20:30 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-13 21:42 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-13 22:29 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-14 15:53 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-14 15:01 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-14 16:39 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-14 21:06 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-13 23:13 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-14 10:07 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-14 21:35 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-12 21:20 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-12 21:15 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Richard Damon <Richard@Damon-Family.org> - 2021-07-12 21:10 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-11 06:54 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ suspended not halted ] olcott <NoOne@NoWhere.com> - 2021-07-11 09:14 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-09 20:39 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 20:08 -0700
The (binary decision) tree of the knowledge of Good and Evil olcott <NoOne@NoWhere.com> - 2021-07-09 22:30 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 20:42 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 22:18 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-09 21:46 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 23:01 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-09 22:28 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 23:45 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-09 23:24 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 22:32 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 22:39 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 23:01 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-10 09:25 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] André G. Isaak <agisaak@gm.invalid> - 2021-07-10 09:12 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ type mismatch error ] olcott <NoOne@NoWhere.com> - 2021-07-10 10:32 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ type mismatch error ] André G. Isaak <agisaak@gm.invalid> - 2021-07-10 09:48 -0600
Re: How do we know that H(P,P)==0 is correct? (V4) [ type mismatch error ] olcott <NoOne@NoWhere.com> - 2021-07-10 11:19 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 21:51 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 21:59 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 21:01 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-09 21:17 -0700
Re: How do we know that H(P,P)==0 is correct? (V4) [ pathological self-reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-09 23:24 -0500
Re: How do we know that H(P,P)==0 is correct? (V4) Richard Damon <Richard@Damon-Family.org> - 2021-07-08 23:50 -0400
Re: How do we know that H(P,P)==0 is correct? (V4) Richard Damon <Richard@Damon-Family.org> - 2021-07-08 23:43 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-08 23:40 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 20:17 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 20:31 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 21:51 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 21:07 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 22:51 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 22:04 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-08 07:02 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) [ global halt decider ] olcott <NoOne@NoWhere.com> - 2021-07-08 08:29 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) [ global halt decider ] Richard Damon <Richard@Damon-Family.org> - 2021-07-09 00:05 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) [ global halt decider ] olcott <NoOne@NoWhere.com> - 2021-07-08 23:27 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) [ global halt decider ] Richard Damon <Richard@Damon-Family.org> - 2021-07-09 05:53 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) [ global halt decider ] olcott <NoOne@NoWhere.com> - 2021-07-09 09:02 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 20:59 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-05 23:15 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-06 13:07 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 08:27 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) wij <wyniijj@gmail.com> - 2021-07-06 07:42 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 10:26 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Richard Damon <Richard@Damon-Family.org> - 2021-07-06 22:02 -0400
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 02:56 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Richard Damon <Richard@Damon-Family.org> - 2021-07-06 21:59 -0400
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Mr Flibble <flibble@reddwarf.jmc> - 2021-07-06 21:18 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 15:41 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Mr Flibble <flibble@reddwarf.jmc> - 2021-07-06 23:18 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 16:13 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 18:38 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 18:44 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 16:53 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 18:56 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 17:46 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 19:50 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 17:56 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 20:18 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 18:37 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 20:43 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 18:55 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-06 19:06 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Richard Damon <Richard@Damon-Family.org> - 2021-07-06 22:19 -0400
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 08:01 -0400
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-06 20:47 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 03:23 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-06 22:19 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 00:55 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-07 09:35 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-07 09:29 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 16:31 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-07 10:53 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 17:33 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-07 12:06 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 20:28 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-07 14:54 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 10:19 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 12:21 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Andy Walker <anw@cuboid.co.uk> - 2021-07-07 19:05 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-07 13:30 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) André G. Isaak <agisaak@gm.invalid> - 2021-07-07 14:28 -0600
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-07 16:44 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-07 15:50 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) olcott <NoOne@NoWhere.com> - 2021-07-07 18:09 -0500
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 20:22 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Richard Damon <Richard@Damon-Family.org> - 2021-07-06 22:08 -0400
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-06 14:31 -0700
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Richard Damon <Richard@Damon-Family.org> - 2021-07-06 22:35 -0400
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-07 11:46 +0100
Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 04:50 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 09:47 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 20:26 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 17:34 -0700
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 20:15 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 22:00 -0400
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 21:08 -0500
Re: How do we know that H(P,P)==0 is correct? (V3) Richard Damon <Richard@Damon-Family.org> - 2021-07-07 22:51 -0400
Re: How do we know that H(P,P)==0 is correct? Bonita Montero <Bonita.Montero@gmail.com> - 2021-07-07 14:18 +0200
Re: How do we know that H(P,P)==0 is correct? (V3) olcott <NoOne@NoWhere.com> - 2021-07-07 14:39 -0500
Re: How do we know that H(P,P)==0 is correct? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-07 14:52 -0700
Re: How do we know that H(P,P)==0 is correct? olcott <NoOne@NoWhere.com> - 2021-07-07 17:05 -0500
Re: How do we know that H(P,P)==0 is correct? wij <wyniijj@gmail.com> - 2021-07-07 15:41 -0700
Re: How do we know that H(P,P)==0 is correct? [ proof ] olcott <NoOne@NoWhere.com> - 2021-07-07 18:04 -0500
Re: How do we know that H(P,P)==0 is correct? [ proof ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 16:19 -0700
Re: How do we know that H(P,P)==0 is correct? [ proof ] olcott <NoOne@NoWhere.com> - 2021-07-07 18:34 -0500
Re: How do we know that H(P,P)==0 is correct? [ proof ] "dklei...@gmail.com" <dkleinecke@gmail.com> - 2021-07-07 17:03 -0700
Re: How do we know that H(P,P)==0 is correct? [ proof ] olcott <NoOne@NoWhere.com> - 2021-07-07 19:14 -0500
Re: How do we know that H(P,P)==0 is correct? [ proof ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 17:19 -0700
Re: How do we know that H(P,P)==0 is correct? [ proof ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-07 17:26 -0700
Re: How do we know that H(P,P)==0 is correct? [ proof ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-08 02:41 -0700
Re: How do we know that H(P,P)==0 is correct? [ proof ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-08 02:50 -0700
Re: How do we know that H(P,P)==0 is correct? [ proof ] Jeff Barnett <jbb@notatt.com> - 2021-07-08 14:08 -0600
Re: How do we know that H(P,P)==0 is correct? [ proof ] Daniel Pehoushek <pehoushek1@gmail.com> - 2021-07-08 20:37 -0700
Page 15 of 17 — ← Prev page 1 … 13 14 [15] 16 17 Next page →
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-07-06 20:43 -0500 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <UcudnSLnurJVm3j9nZ2dnUU7-R_NnZ2d@giganews.com> |
| In reply to | #35830 |
On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: > > i can only prove that i tell the truth. > falsehood is incompatible with my mind. My purpose of refuting the halting problem proofs is to refute the Tarski undefinability theorem by analogy. This establishes the mathematical foundation of the notion of analytical truth. This anchors the notion of Davidson truth conditional semantics. > monotone reason is linearly decidable. > #P=#Q (1997 by me): > the number of satisfying assignments equals > the number of valid quantifications. > 1995 +vision is log base four of N pizels. > CPM98: skip search (string matching) is N/M, > on alphabet size two or more (cyber security). > almost all ninth degree graphs are four colorable. > strong color theorem: > most graphs of degree d squared are d+1 colorable. > P=NP for modest sizes. bob proves that. > > soap on the ocean implies snow on the mountains. > -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Daniel Pehoushek <pehoushek1@gmail.com> |
|---|---|
| Date | 2021-07-06 18:55 -0700 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <90fc465b-c64a-45da-8baf-7aa0c89c9f90n@googlegroups.com> |
| In reply to | #35831 |
On Tuesday, July 6, 2021 at 9:43:43 PM UTC-4, olcott wrote: > On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: > > > > i can only prove that i tell the truth. > > falsehood is incompatible with my mind. > My purpose of refuting the halting problem proofs is to refute the > Tarski undefinability theorem by analogy. > > This establishes the mathematical foundation of the notion of analytical > truth. This anchors the notion of Davidson truth conditional semantics. > > monotone reason is linearly decidable. > > #P=#Q (1997 by me): > > the number of satisfying assignments equals > > the number of valid quantifications. > > 1995 +vision is log base four of N pizels. > > CPM98: skip search (string matching) is N/M, > > on alphabet size two or more (cyber security). > > almost all ninth degree graphs are four colorable. > > strong color theorem: > > most graphs of degree d squared are d+1 colorable. > > P=NP for modest sizes. bob proves that. > > > > soap on the ocean implies snow on the mountains. > > > -- > Copyright 2021 Pete Olcott > > "Great spirits have always encountered violent opposition from mediocre > minds." Einstein i generally do not waste my valuable time trying to negate other peoples work. their falsity shall fall away over time. in your case i needed some bandwidth... Here is a summary of the benchmarks I submitted. I will keep you apprised of the competition. They do not really know about solving All Quantified Boolean Formulas this year, especially when #P is less than 4,000,000. my 2021 model counting benchmarks on boolean formulas With bob, general thought is encompassed by regular graph coloring (3,4,5 colors) on degrees 5 thru 13, and several monotone cnfs. The answer #P is given for each benchmark. Graph coloring is NP Complete. Below, an attempt to add ___ for clarity is made. bob does twenty seven trillion inferences per day, usually. bob does decomposition near the end of depth first search, so #assumptions < #P, by small factors. There are standard #infers per assumption, for each formula. From my 2002 paper, Introduction to QSPACE, #P=#Q, the number of satisfying assignments equals the number of valid quantifications, with any given variable ordering. So the #P numbers are also #Q numbers. #assumptions=#backtracks. |one infer|=7+13 cpu cycles. 500 Million LIPS on 5GHz clock. c3d5n240_6__c #P______524,469,054___#a_______44,575,463__#i___3,737,329,291,541 c4d6n42_1___c #P___44,940,880,680___#a____8,488,639,509__#i___8,636,206,822,267 c4d7n56_6___c #P____7,545,932,136___#a____1,481,823,453__#i___2,265,653,547,228 c4d8n88_1___c #P___23,940,729,024___#a____1,655,366,338__#i___4,728,513,192,123 c4d9n140_14_c #P________2,653,800___#a_______78,318,652__#i___3,498,868,589,020 c4d9n150_5__c #P______274,667,472___#a______549,512,308__#i__27,015,066,692,449 c4d9n160_0__c #P__________113,448___#a______701,352,451__#i__37,570,079,470,750 c4d9n160_1__c #P________7,131,816___#a______706,643,722__#i__38,306,908,698,704 c4d9n160_2__c #P___________74,208___#a______528,755,645__#i__28,241,835,111,857 c4d9n160_3__c #P________5,043,672___#a______833,598,233__#i__45,747,179,123,763 c4d9n160_4__c #P________3,698,928___#a______504,853,590__#i__27,690,755,884,264 c4d9n160_5__c #P________1,086,720___#a______615,252,970__#i__34,335,624,244,136 c4d9n160_6__c #P__________147,096___#a______338,397,837__#i__18,798,301,009,525 c4d9n160_7__c #P________3,487,296___#a______809,265,849__#i__43,898,276,598,457 c4d9n160_8__c #P_______17,250,360___#a______754,325,654__#i__42,114,266,169,793 c4d9n160_9__c #P__________232,800___#a______451,417,389__#i__24,837,284,173,149 c5d10n40_3__c #P___15,701,747,160___#a____4,033,676,044__#i_____371,706,159,314 c5d10n42_0__c #P___27,213,591,600___#a____6,141,175,840__#i_____570,449,311,305 c5d11n50_1__c #P___17,933,644,200___#a____4,984,945,010__#i_____611,128,534,763 c5d12n66_3__c #P____3,158,584,680___#a______846,393,213__#i_____262,765,640,871 c5d13n104_1_c #P______188,324,880___#a______862,184,216__#i___7,271,426,496,929 c5d13n104_2_c #P______772,116,480___#a____1,033,150,951__#i___8,220,823,255,193 c7d20n50_0__c #P___15,654,774,240___#a____8,740,055,650__#i_111,084,371,890,331 c8d24n30_0__c #P____2,566,085,760___#a____1,921,669,527__#i__11,360,289,021,982 m2cnfD3N80__c #P1,214,819,892,986___#a___25,526,732,062__#i_____277,480,469,168 m2cnfD3N90__c #P30,689,663,761,877___#a__534,804,955,816__#i_275,166,269,089,929 m3cnfD3N41__c #P ____2,744,070,950___#a______525,930,069__#i______39,566,237,981 m4cnfD3N37__c #P ____6,905,169,454___#a____1,658,652,886__#i_____120,401,948,223 For moderate sizes, P=NP=#P=PSPACE=QSPACE. sincerely daniel as for my test score that is real. i had to show it to get a top secret clearance. i got into stanford cs phd program without a legal bachelors degree. the above table summarizes my interest in Truth.
[toc] | [prev] | [next] | [standalone]
| From | Daniel Pehoushek <pehoushek1@gmail.com> |
|---|---|
| Date | 2021-07-06 19:06 -0700 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <37e45eab-8ae3-4e54-a24b-b1a808c2a20fn@googlegroups.com> |
| In reply to | #35833 |
On Tuesday, July 6, 2021 at 9:55:46 PM UTC-4, Daniel Pehoushek wrote: > On Tuesday, July 6, 2021 at 9:43:43 PM UTC-4, olcott wrote: > > On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: > > > > > > i can only prove that i tell the truth. > > > falsehood is incompatible with my mind. > > My purpose of refuting the halting problem proofs is to refute the > > Tarski undefinability theorem by analogy. > > > > This establishes the mathematical foundation of the notion of analytical > > truth. This anchors the notion of Davidson truth conditional semantics. > > > monotone reason is linearly decidable. > > > #P=#Q (1997 by me): > > > the number of satisfying assignments equals > > > the number of valid quantifications. > > > 1995 +vision is log base four of N pizels. > > > CPM98: skip search (string matching) is N/M, > > > on alphabet size two or more (cyber security). > > > almost all ninth degree graphs are four colorable. > > > strong color theorem: > > > most graphs of degree d squared are d+1 colorable. > > > P=NP for modest sizes. bob proves that. > > > > > > soap on the ocean implies snow on the mountains. > > > > > -- > > Copyright 2021 Pete Olcott > > > > "Great spirits have always encountered violent opposition from mediocre > > minds." Einstein > i generally do not waste my valuable time trying to negate other peoples work. > their falsity shall fall away over time. > > in your case i needed some bandwidth... > > Here is a summary of the benchmarks I submitted. > I will keep you apprised of the competition. > They do not really know about solving > All Quantified Boolean Formulas this year, > especially when #P is less than 4,000,000. > > my 2021 model counting benchmarks on boolean formulas > > With bob, general thought is encompassed by regular graph coloring (3,4,5 colors) > on degrees 5 thru 13, and several monotone cnfs. The answer #P is given for each benchmark. > Graph coloring is NP Complete. > > Below, an attempt to add ___ for clarity is made. bob does twenty seven trillion > inferences per day, usually. bob does decomposition near the end of depth first search, > so #assumptions < #P, by small factors. There are standard #infers per assumption, for > each formula. > > From my 2002 paper, Introduction to QSPACE, #P=#Q, the number of satisfying assignments > equals the number of valid quantifications, with any given variable ordering. So the #P > numbers are also #Q numbers. #assumptions=#backtracks. |one infer|=7+13 cpu cycles. > 500 Million LIPS on 5GHz clock. > > c3d5n240_6__c #P______524,469,054___#a_______44,575,463__#i___3,737,329,291,541 > c4d6n42_1___c #P___44,940,880,680___#a____8,488,639,509__#i___8,636,206,822,267 > c4d7n56_6___c #P____7,545,932,136___#a____1,481,823,453__#i___2,265,653,547,228 > c4d8n88_1___c #P___23,940,729,024___#a____1,655,366,338__#i___4,728,513,192,123 > c4d9n140_14_c #P________2,653,800___#a_______78,318,652__#i___3,498,868,589,020 > c4d9n150_5__c #P______274,667,472___#a______549,512,308__#i__27,015,066,692,449 > c4d9n160_0__c #P__________113,448___#a______701,352,451__#i__37,570,079,470,750 > c4d9n160_1__c #P________7,131,816___#a______706,643,722__#i__38,306,908,698,704 > c4d9n160_2__c #P___________74,208___#a______528,755,645__#i__28,241,835,111,857 > c4d9n160_3__c #P________5,043,672___#a______833,598,233__#i__45,747,179,123,763 > c4d9n160_4__c #P________3,698,928___#a______504,853,590__#i__27,690,755,884,264 > c4d9n160_5__c #P________1,086,720___#a______615,252,970__#i__34,335,624,244,136 > c4d9n160_6__c #P__________147,096___#a______338,397,837__#i__18,798,301,009,525 > c4d9n160_7__c #P________3,487,296___#a______809,265,849__#i__43,898,276,598,457 > c4d9n160_8__c #P_______17,250,360___#a______754,325,654__#i__42,114,266,169,793 > c4d9n160_9__c #P__________232,800___#a______451,417,389__#i__24,837,284,173,149 > c5d10n40_3__c #P___15,701,747,160___#a____4,033,676,044__#i_____371,706,159,314 > c5d10n42_0__c #P___27,213,591,600___#a____6,141,175,840__#i_____570,449,311,305 > c5d11n50_1__c #P___17,933,644,200___#a____4,984,945,010__#i_____611,128,534,763 > c5d12n66_3__c #P____3,158,584,680___#a______846,393,213__#i_____262,765,640,871 > c5d13n104_1_c #P______188,324,880___#a______862,184,216__#i___7,271,426,496,929 > c5d13n104_2_c #P______772,116,480___#a____1,033,150,951__#i___8,220,823,255,193 > c7d20n50_0__c #P___15,654,774,240___#a____8,740,055,650__#i_111,084,371,890,331 > c8d24n30_0__c #P____2,566,085,760___#a____1,921,669,527__#i__11,360,289,021,982 > m2cnfD3N80__c #P1,214,819,892,986___#a___25,526,732,062__#i_____277,480,469,168 > m2cnfD3N90__c #P30,689,663,761,877___#a__534,804,955,816__#i_275,166,269,089,929 > m3cnfD3N41__c #P ____2,744,070,950___#a______525,930,069__#i______39,566,237,981 > m4cnfD3N37__c #P ____6,905,169,454___#a____1,658,652,886__#i_____120,401,948,223 > > For moderate sizes, P=NP=#P=PSPACE=QSPACE. > sincerely daniel > > as for my test score that is real. > i had to show it to get a top secret clearance. > i got into stanford cs phd program without a legal bachelors degree. > > the above table summarizes my interest in Truth. the model counting competition 2021 is about computing #P on boolean formulas. my program bob is entered and i hope to do well. i would be happy to answer any questions about bob or about the truth table below. my 2021 model counting benchmarks on boolean formulas With bob, general thought is encompassed by regular graph coloring (3,4,5 colors) on degrees 5 thru 13, and several monotone cnfs. The answer #P is given for each benchmark. Graph coloring is NP Complete. Below, an attempt to add ___ for clarity is made. bob does twenty seven trillion inferences per day, usually. bob does decomposition near the end of depth first search, so #assumptions < #P, by small factors. There are standard #infers per assumption, for each formula. From my 2002 paper, Introduction to QSPACE, #P=#Q, the number of satisfying assignments equals the number of valid quantifications, with any given variable ordering. So the #P numbers are also #Q numbers. #assumptions=#backtracks. |one infer|=7+13 cpu cycles. 500 Million LIPS on 5GHz clock. c3d5n240_6__c #P______524,469,054___#a_______44,575,463__#i___3,737,329,291,541 c4d6n42_1___c #P___44,940,880,680___#a____8,488,639,509__#i___8,636,206,822,267 c4d7n56_6___c #P____7,545,932,136___#a____1,481,823,453__#i___2,265,653,547,228 c4d8n88_1___c #P___23,940,729,024___#a____1,655,366,338__#i___4,728,513,192,123 c4d9n140_14_c #P________2,653,800___#a_______78,318,652__#i___3,498,868,589,020 c4d9n150_5__c #P______274,667,472___#a______549,512,308__#i__27,015,066,692,449 c4d9n160_0__c #P__________113,448___#a______701,352,451__#i__37,570,079,470,750 c4d9n160_1__c #P________7,131,816___#a______706,643,722__#i__38,306,908,698,704 c4d9n160_2__c #P___________74,208___#a______528,755,645__#i__28,241,835,111,857 c4d9n160_3__c #P________5,043,672___#a______833,598,233__#i__45,747,179,123,763 c4d9n160_4__c #P________3,698,928___#a______504,853,590__#i__27,690,755,884,264 c4d9n160_5__c #P________1,086,720___#a______615,252,970__#i__34,335,624,244,136 c4d9n160_6__c #P__________147,096___#a______338,397,837__#i__18,798,301,009,525 c4d9n160_7__c #P________3,487,296___#a______809,265,849__#i__43,898,276,598,457 c4d9n160_8__c #P_______17,250,360___#a______754,325,654__#i__42,114,266,169,793 c4d9n160_9__c #P__________232,800___#a______451,417,389__#i__24,837,284,173,149 c5d10n40_3__c #P___15,701,747,160___#a____4,033,676,044__#i_____371,706,159,314 c5d10n42_0__c #P___27,213,591,600___#a____6,141,175,840__#i_____570,449,311,305 c5d11n50_1__c #P___17,933,644,200___#a____4,984,945,010__#i_____611,128,534,763 c5d12n66_3__c #P____3,158,584,680___#a______846,393,213__#i_____262,765,640,871 c5d13n104_1_c #P______188,324,880___#a______862,184,216__#i___7,271,426,496,929 c5d13n104_2_c #P______772,116,480___#a____1,033,150,951__#i___8,220,823,255,193 c7d20n50_0__c #P___15,654,774,240___#a____8,740,055,650__#i_111,084,371,890,331 c8d24n30_0__c #P____2,566,085,760___#a____1,921,669,527__#i__11,360,289,021,982 m2cnfD3N80__c #P1,214,819,892,986___#a___25,526,732,062__#i_____277,480,469,168 m2cnfD3N90__c #P30,689,663,761,877___#a__534,804,955,816__#i_275,166,269,089,929 m3cnfD3N41__c #P ____2,744,070,950___#a______525,930,069__#i______39,566,237,981 m4cnfD3N37__c #P ____6,905,169,454___#a____1,658,652,886__#i_____120,401,948,223 For moderate sizes, P=NP=#P=PSPACE=QSPACE. sincerely daniel as for my test score that is real. i had to show it to get a top secret clearance. i got into stanford cs phd program without a legal bachelors degree. the above table summarizes my interest in Truth.
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <Richard@Damon-Family.org> |
|---|---|
| Date | 2021-07-06 22:19 -0400 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <Ta8FI.9$wG6.1@fx18.iad> |
| In reply to | #35831 |
On 7/6/21 9:43 PM, olcott wrote: > On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: >> >> i can only prove that i tell the truth. >> falsehood is incompatible with my mind. > > My purpose of refuting the halting problem proofs is to refute the > Tarski undefinability theorem by analogy. > > This establishes the mathematical foundation of the notion of analytical > truth. This anchors the notion of Davidson truth conditional semantics. > And you fail miserably at it. I don't think you even have the faintest understanding of what you are trying to prove. You show ZERO knowledge of how to prepare an actual proof, so this goal is out of your league. I don't think you really understand anything about what you are trying to work on, and thus totally fail at trying to do anything with it. One big thing to note, The Realm of Philosophy like Davidson worked in is very different than the hard logic of Mathematics, and they mix much poorer than you are trying to do. Smart people realize that you need different classes of Logic to deal with these very different realms of thought.
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <Richard@Damon-Family.org> |
|---|---|
| Date | 2021-07-07 08:01 -0400 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <2IgFI.1048$bR5.823@fx44.iad> |
| In reply to | #35831 |
On 7/6/21 9:43 PM, olcott wrote: > On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: >> >> i can only prove that i tell the truth. >> falsehood is incompatible with my mind. > > My purpose of refuting the halting problem proofs is to refute the > Tarski undefinability theorem by analogy. > > This establishes the mathematical foundation of the notion of analytical > truth. This anchors the notion of Davidson truth conditional semantics. > Thinking about this a bit, I see your fundamental problem. I bet you think that a semantic argument is more powerful than an analytical. That is incorrect. Analytical proof is actually MUCH more powerful than semantic logic, as it has a firmer foundation. At BEST, a semantic argument could try to argue about the initial propositions. The problem you get if you do is that if you DO change the initial propositions, then you are no longer working in the same analytical framework. Thus you could perhaps try to argue that the definition is Computation Theory are incorrect, but to do that you really need to know the roots of computation theory, which you don't, and show that there is a different definition that better meets its needs in the mathematical base the created it. This is actually well established, and seems well beyond your understanding. It would seem that your best option is to try to argue that mathematics is irrelevant and can be ignore. This is actually one framework that Logical Philosophers take, that mathematics is a artificial field that is just a realm of thought that moves beyond what is really real, but REAL logic deals with the actual world, and argues about it. Maybe you would be more comfortable in that sort of framework, and just ignore mathematics. If you keep within the bounds that this form of logic works in, you will be fine.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-07-06 20:47 -0500 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <_KWdncwFyO0_mnj9nZ2dnUU7-Y3NnZ2d@giganews.com> |
| In reply to | #35830 |
On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: > > i can only prove that i tell the truth. > falsehood is incompatible with my mind. Less than one person in the whole world would have a six sigma IQ score. The Mega Test yields IQ standard scores obtained by multiplying the subject's normalized z-score, or the rarity of the raw test score, by a constant standard deviation and adding the product to 100, with Savant's raw score reported by Hoeflin to be 46 out of a possible 48, with a 5.4 z-score, and a standard deviation of 16, arriving at a 186 IQ. https://en.wikipedia.org/wiki/Marilyn_vos_Savant > monotone reason is linearly decidable. > #P=#Q (1997 by me): > the number of satisfying assignments equals > the number of valid quantifications. > 1995 +vision is log base four of N pizels. > CPM98: skip search (string matching) is N/M, > on alphabet size two or more (cyber security). > almost all ninth degree graphs are four colorable. > strong color theorem: > most graphs of degree d squared are d+1 colorable. > P=NP for modest sizes. bob proves that. > > soap on the ocean implies snow on the mountains. > -- 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-07-07 03:23 +0100 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <87tul67tfy.fsf@bsb.me.uk> |
| In reply to | #35832 |
olcott <NoOne@NoWhere.com> writes: > On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: >> i can only prove that i tell the truth. >> falsehood is incompatible with my mind. > > Less than one person in the whole world would have a six sigma IQ > score. Did you mean seven sigma (as DP claimed)? I estimate that about 8 people in the world could be expected to be six sigma above the mean (for any normally distributed measure). -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | Malcolm McLean <malcolm.arthur.mclean@gmail.com> |
|---|---|
| Date | 2021-07-06 22:19 -0700 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <5f5b5530-235d-4587-a73c-ff73cc588590n@googlegroups.com> |
| In reply to | #35845 |
On Wednesday, 7 July 2021 at 03:24:04 UTC+1, Ben Bacarisse wrote: > olcott <No...@NoWhere.com> writes: > > > On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: > >> i can only prove that i tell the truth. > >> falsehood is incompatible with my mind. > > > > Less than one person in the whole world would have a six sigma IQ > > score. > Did you mean seven sigma (as DP claimed)? I estimate that about 8 > people in the world could be expected to be six sigma above the mean > (for any normally distributed measure). > However you tend to find that real distributions don't follow mathematical models at the extremes. Intelligence tests are designed to produce a normal distribution, but at one big recruiter (my sister's work) they have a phenomenon of "runaway scores" where a handful of applicants score extremely highly. From experience, they don't attach too much weight to this, whilst they will probably recruit them, these candidates are unlikely to be geniuses.
[toc] | [prev] | [next] | [standalone]
| From | Daniel Pehoushek <pehoushek1@gmail.com> |
|---|---|
| Date | 2021-07-07 00:55 -0700 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <ef593b70-b00f-4eca-8d9f-71fe2812de86n@googlegroups.com> |
| In reply to | #35850 |
On Wednesday, July 7, 2021 at 1:19:36 AM UTC-4, malcolm.ar...@gmail.com wrote: > On Wednesday, 7 July 2021 at 03:24:04 UTC+1, Ben Bacarisse wrote: > > olcott <No...@NoWhere.com> writes: > > > > > On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: > > >> i can only prove that i tell the truth. > > >> falsehood is incompatible with my mind. > > > > > > Less than one person in the whole world would have a six sigma IQ > > > score. > > Did you mean seven sigma (as DP claimed)? I estimate that about 8 > > people in the world could be expected to be six sigma above the mean > > (for any normally distributed measure). > > > However you tend to find that real distributions don't follow mathematical > models at the extremes. Intelligence tests are designed to produce a normal > distribution, but at one big recruiter (my sister's work) they have a > phenomenon of "runaway scores" where a handful of applicants score > extremely highly. From experience, they don't attach too much weight to > this, whilst they will probably recruit them, these candidates are unlikely to be > geniuses. monotone reason is linearly decidable. my main result is monotone reason is linearly decidable. formulas and sentences without negation are easy. they rule over other sentences in profound ways. the area is called qspace by me. (2002, satisfiability conference) bob, when given a p formula, produces monotone cnfs that may be large but they rule over 2^n quantified boolean forms
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-07-07 09:35 -0500 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <-OCdnS9ey9YFJnj9nZ2dnUU7-QPNnZ2d@giganews.com> |
| In reply to | #35850 |
On 7/7/2021 12:19 AM, Malcolm McLean wrote: > On Wednesday, 7 July 2021 at 03:24:04 UTC+1, Ben Bacarisse wrote: >> olcott <No...@NoWhere.com> writes: >> >>> On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: >>>> i can only prove that i tell the truth. >>>> falsehood is incompatible with my mind. >>> >>> Less than one person in the whole world would have a six sigma IQ >>> score. >> Did you mean seven sigma (as DP claimed)? I estimate that about 8 >> people in the world could be expected to be six sigma above the mean >> (for any normally distributed measure). >> > However you tend to find that real distributions don't follow mathematical > models at the extremes. Since Daniel had no idea about any of these things that proves that he is not much much smarter than Marilyn Vos Savant Savant's raw score reported by Hoeflin to be 46 out of a possible 48, with a 5.4 z-score, and a standard deviation of 16, arriving at a 186 IQ https://en.wikipedia.org/wiki/Marilyn_vos_Savant > Intelligence tests are designed to produce a normal > distribution, but at one big recruiter (my sister's work) they have a > phenomenon of "runaway scores" where a handful of applicants score > extremely highly. From experience, they don't attach too much weight to > this, whilst they will probably recruit them, these candidates are unlikely to be > geniuses. > The Mega Society is a high IQ society open to people who have scored at the one-in-a-million level on a test of general intelligence claimed to be able to discriminate at that level.[1] It was founded in 1982 by Ronald K. Hoeflin to facilitate psychometric research. https://en.wikipedia.org/wiki/Mega_Society -- 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-07-07 09:29 -0500 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <x-2dnVySbsvEJ3j9nZ2dnUU7-eGdnZ2d@giganews.com> |
| In reply to | #35845 |
On 7/6/2021 9:23 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 7/6/2021 8:37 PM, Daniel Pehoushek wrote: >>> i can only prove that i tell the truth. >>> falsehood is incompatible with my mind. >> >> Less than one person in the whole world would have a six sigma IQ >> score. > > Did you mean seven sigma (as DP claimed)? I estimate that about 8 > people in the world could be expected to be six sigma above the mean > (for any normally distributed measure). > The person with the world's highest IQ is measured at 5.4 sigma, thus refuting any seven sigma claims. Only one in 10 billion people would have a six sigma IQ. -- 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-07-07 16:31 +0100 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <87v95m5eem.fsf@bsb.me.uk> |
| In reply to | #35859 |
olcott <NoOne@NoWhere.com> writes: > Only one in 10 billion people would have a six sigma IQ. I make is just under 10. How do you get 1 in 10^10? -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-07-07 10:53 -0500 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <i-GdnQzVQtmLU3j9nZ2dnUU7-e2dnZ2d@giganews.com> |
| In reply to | #35862 |
On 7/7/2021 10:31 AM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> Only one in 10 billion people would have a six sigma IQ. > > I make is just under 10. How do you get 1 in 10^10? > That is the P value for the one-tailed Z-score of 6 If the person with the world's highest IQ is at 5.4 sigma we can know that anyone claiming 7 sigma is a liar. Savant's raw score reported by Hoeflin to be 46 out of a possible 48, with a 5.4 z-score, and a standard deviation of 16, arriving at a 186 IQ https://en.wikipedia.org/wiki/Marilyn_vos_Savant -- 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-07-07 17:33 +0100 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <87fswq5bjk.fsf@bsb.me.uk> |
| In reply to | #35864 |
olcott <NoOne@NoWhere.com> writes: > On 7/7/2021 10:31 AM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> Only one in 10 billion people would have a six sigma IQ. >> I make is just under 10. How do you get 1 in 10^10? > > That is the P value for the one-tailed Z-score of 6 How do you get 1 in 10^10. My calculation gives a different P value. I just wanted to know how you came by the result. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-07-07 12:06 -0500 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <Iu6dnV6I1Z-vQnj9nZ2dnUU7-N3NnZ2d@giganews.com> |
| In reply to | #35867 |
On 7/7/2021 11:33 AM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 7/7/2021 10:31 AM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> Only one in 10 billion people would have a six sigma IQ. >>> I make is just under 10. How do you get 1 in 10^10? >> >> That is the P value for the one-tailed Z-score of 6 > > How do you get 1 in 10^10. My calculation gives a different P value. I > just wanted to know how you came by the result. > https://www.omnicalculator.com/statistics/p-value What do you want? Right-tailed p-value What do you have? Z-score Your Z-score: 6 Significance level: 0.05 Precision: 40 p-value ≈ 9.855000149272541e-10 9.85 / (1000,000,000,000) = 9.855000149272541e-12 * 100 = 9.85 / (10,000,000,000) = 9.855000149272541e-10 I was off by a factor of ten. There are 7.6 people in the world with a six sigma IQ. 7.674 billion people in the world * 9.855000149272541e-10 = 7.56 people. There are no people in the world having a seven sigma IQ. If Daniel/DV had a very very high IQ he would know this. -- 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-07-07 20:28 +0100 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <87y2ah53f3.fsf@bsb.me.uk> |
| In reply to | #35868 |
olcott <NoOne@NoWhere.com> writes: > On 7/7/2021 11:33 AM, Ben Bacarisse wrote: >> olcott <NoOne@NoWhere.com> writes: >> >>> On 7/7/2021 10:31 AM, Ben Bacarisse wrote: >>>> olcott <NoOne@NoWhere.com> writes: >>>> >>>>> Only one in 10 billion people would have a six sigma IQ. >>>> I make is just under 10. How do you get 1 in 10^10? >>> >>> That is the P value for the one-tailed Z-score of 6 >> How do you get 1 in 10^10. My calculation gives a different P value. I >> just wanted to know how you came by the result. > I was off by a factor of ten. We agree. Thanks. -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | olcott <NoOne@NoWhere.com> |
|---|---|
| Date | 2021-07-07 14:54 -0500 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <jaqdnTKW6f0Wm3v9nZ2dnUU7-dGdnZ2d@giganews.com> |
| In reply to | #35878 |
On 7/7/2021 2:28 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >> On 7/7/2021 11:33 AM, Ben Bacarisse wrote: >>> olcott <NoOne@NoWhere.com> writes: >>> >>>> On 7/7/2021 10:31 AM, Ben Bacarisse wrote: >>>>> olcott <NoOne@NoWhere.com> writes: >>>>> >>>>>> Only one in 10 billion people would have a six sigma IQ. >>>>> I make is just under 10. How do you get 1 in 10^10? >>>> >>>> That is the P value for the one-tailed Z-score of 6 >>> How do you get 1 in 10^10. My calculation gives a different P value. I >>> just wanted to know how you came by the result. > >> I was off by a factor of ten. > > We agree. Thanks. > Being off by a factor of 10 still puts it at 1 in one billion. It puts Daniel/DV's claim for 7 sigma as mere bullshit. -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein
[toc] | [prev] | [next] | [standalone]
| From | Daniel Pehoushek <pehoushek1@gmail.com> |
|---|---|
| Date | 2021-07-07 10:19 -0700 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <79209912-9084-4c51-ae79-a24d5222b900n@googlegroups.com> |
| In reply to | #35864 |
On Wednesday, July 7, 2021 at 11:54:04 AM UTC-4, olcott wrote: > On 7/7/2021 10:31 AM, Ben Bacarisse wrote: > > olcott <No...@NoWhere.com> writes: > > > >> Only one in 10 billion people would have a six sigma IQ. > > > > I make is just under 10. How do you get 1 in 10^10? > > > That is the P value for the one-tailed Z-score of 6 > > If the person with the world's highest IQ is at 5.4 sigma we can know > that anyone claiming 7 sigma is a liar. > Savant's raw score reported by Hoeflin to be 46 out of a possible 48, > with a 5.4 z-score, and a standard deviation of 16, arriving at a 186 IQ > https://en.wikipedia.org/wiki/Marilyn_vos_Savant > -- > Copyright 2021 Pete Olcott > > "Great spirits have always encountered violent opposition from mediocre > minds." Einstein i prefer writing without punctuation or capital letters and i definitely avoid using minusses as those are the most primitive form of negation i honestly feel uncomfortable processing olcotts writings but shall continue trying have ye anything to say about the bob decider? my test score was real i studied vocab for one month prior to score well monotone reason is linearly decidable is the greatest of my discoveries and i shall try to teach the group how to avoid negation in writing and in speech
[toc] | [prev] | [next] | [standalone]
| From | Daniel Pehoushek <pehoushek1@gmail.com> |
|---|---|
| Date | 2021-07-07 12:21 -0700 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <a5eb7328-1850-432a-8cda-63a0bf186521n@googlegroups.com> |
| In reply to | #35869 |
i prefer writing without punctuation or capital letters and i definitely avoid using minuses as those are the most primitive form of negation about capitalization of letters the issue is similar to the bad sign bit in computer systems i doan use that bit in nums nor do i use anything similar to it on letters pure monotone lettering is all lowercase i honestly feel uncomfortable processing olcotts writings but shall continue trying he is on about seven sigma how many sigma him doan know have ye anything to say about the bob decider? clever location with pretty patterns of calls from within bobs pspace solving system my test score was real i studied vocab for one month prior to score well monotone reason is linearly decidable is the greatest of my discoveries and i shall try to teach the group how to avoid negation in writing and in speech my writing tries to be pure monotone short clauses in q formula form only where the q is never ever ever queer is pete queer? amen
[toc] | [prev] | [next] | [standalone]
| From | Andy Walker <anw@cuboid.co.uk> |
|---|---|
| Date | 2021-07-07 19:05 +0100 |
| Subject | Re: How do we know that H(P,P)==0 is correct? (Ben's double-talk does not work) |
| Message-ID | <sc4qds$1ddr$1@gioia.aioe.org> |
| In reply to | #35862 |
On 07/07/2021 16:31, Ben Bacarisse wrote:
> olcott <NoOne@NoWhere.com> writes:
>> Only one in 10 billion people would have a six sigma IQ.
> I make is just under 10. How do you get 1 in 10^10?
Asymptotically the proportion with > n sigma is
exp (- 0.5 n^2) / n sqrt (pi/2)
with a correction factor
1 - 1/n^2 + 3/n^4 - 15/n^6 + ...
[which diverges, but the error is less than the last term kept so
gives good enough accuracy for (say) n > 5]. Go figure. But it's
all irrelevant, exc as an exercise in pure probability theory. As
Malcolm implies, the actual distribution of IQs is very far from
normal except close to 100 -- there are many more high measured IQ
people than might be expected, and also many more very low people.
Separately, performance on IQ tests is only loosely correlated with
anything you might think of as intelligence, and, separately again,
a large majority of the world's population has never taken a proper
IQ test, even less an IQ test that properly allows for cultural
differences. It's a minefield, which is one of the reasons why
Guinness [apparently] no longer has a category for highest IQ.
--
Andy Walker, Nottingham.
Andy's music pages: www.cuboid.me.uk/andy/Music
Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Liszt
[toc] | [prev] | [next] | [standalone]
Page 15 of 17 — ← Prev page 1 … 13 14 [15] 16 17 Next page →
Back to top | Article view | comp.theory
csiph-web