Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #124786

Re: Claude AI sums up my work in one page --- True(L,x) predicate

From wij <wyniijj5@gmail.com>
Newsgroups comp.theory
Subject Re: Claude AI sums up my work in one page --- True(L,x) predicate
Date 2025-08-12 01:55 +0800
Organization A noiseless patient Spider
Message-ID <dc4fac99bb1560b40772efb28fe8aface9b3f011.camel@gmail.com> (permalink)
References (18 earlier) <107d5fh$2lg0a$19@dont-email.me> <63d0d78cc09e28ef8fdc8377b79bc522f732207c.camel@gmail.com> <107d7vn$2lg0a$23@dont-email.me> <d6208049fd18d672389e8ef5b0002d90ebe19ccb.camel@gmail.com> <107da5e$2lg0a$30@dont-email.me>

Show all headers | View raw

On Mon, 2025-08-11 at 12:44 -0500, olcott wrote:
> On 8/11/2025 12:29 PM, wij wrote:
> > On Mon, 2025-08-11 at 12:07 -0500, olcott wrote:
> > > On 8/11/2025 11:51 AM, wij wrote:
> > > > On Mon, 2025-08-11 at 11:24 -0500, olcott wrote:
> > > > > On 8/11/2025 11:22 AM, wij wrote:
> > > > > > 
> > > > > > You need to.  "not true" is invented by you to answer a yes/no question.
> > > > > > you need to explain what "not true" means to a yes/no question.
> > > > > > 
> > > > > > 
> > > > > 
> > > > > It means the same thing as Prolog.
> > > > 
> > > > Does POOH relies on Prolog? Then, why you hide the fact and talk about C?
> > > > 
> > > > > You won't believe me so go look it up.
> > > > 
> > > > Don't mistake. I believe you. The problem is I cannot use it to save human.
> > > 
> > > When a system based on my idea is fully
> > > populated with every basic fact of the
> > > world then it is as complete as any formal
> > > system can possibly be and the pathological
> > > self-reference trick will not fool it.
> > > 
> > > LP = "This sentence is not true"
> > > True(English, LP) == false.
> > > True(English, ~LP) == false.
> > > 
> > > Prolog does this same thing with its
> > > https://www.swi-prolog.org/pldoc/man?predicate=unify_with_occurs_check/2
> > > 
> > > ?- LP = not(true(LP)).
> > > LP = not(true(LP)).
> > > ?- unify_with_occurs_check(LP, not(true(LP))).
> > > false.
> > > 
> > > True(English, "Trump lied about election fraud") == TRUE
> > > True(English, "Climate change is caused by humans") == TRUE
> > > True(English, "Climate change is severe and must be mitigated") == TRUE
> > 
> > Again you turn to Prolog to explain POOH which is in C !!!
> > I am an expert in C but not Prolog.
> 
> Prolog has a fully developed True(L,x) predicate.
> 
> Tarski anchors his whole proof in the foundation
> of the Liar Paradox.
> https://liarparadox.org/Tarski_247_248.pdf
> 
> ?- LP = not(true(LP)).
> LP = not(true(LP)).
> ?- unify_with_occurs_check(LP, not(true(LP))).
> false.
> 
> Four lines of Prolog proves that Tarski is wrong.
> 
> > When I ask question about H5 (or POOH), you say I should go to refer Prolog
> > predicate. I talk about Prolog, you would talk Tarski theorem or TM,...,etc.
> > 
> > All looked to me is quite simple:  H5(Q1) simply cannot decide to return 0 or 1.
> > Is it true or false "H5(Q1) cannot decide to return 0 or 1".
> > 
> 
> True(English, "What time is it yes or no?")
> exception thrown invalid input.
> 
> Qx = "What time is it"
> ~True(English, Qx)
> ~True(English, ~Qx)

I am an expert in C. My IQ is is among the 5% of mankind (I know you are an
C expert,too. And IQ is the top 3%). 

So, do you suggest POOH cannot answer the question, or is wrong, it should be 
specified in Prolog? But I am asking Q1,Q2:

Q1: What time is it? Yes or no.

Q2: Jack is a bachelor. Does Jack hit his wife?

What should H5(Q1) return? Can H5(Q1) be decided to return 0,1?

I am an expert in C. My IQ is is among the 5% of mankind, I also want to save 
human. Preferably by using POOH.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 01:06 -0500
  Re: Claude AI sums up my work in one page "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-08-10 08:37 +0200
    Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 09:08 -0500
      Re: Claude AI sums up my work in one page "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-08-11 10:20 +0200
        Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 09:54 -0500
          Re: Claude AI sums up my work in one page "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-08-12 12:19 +0200
  Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 07:58 +0100
    Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 09:11 -0500
      Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-10 22:54 +0800
        Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 10:19 -0500
          Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-11 00:21 +0800
            Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:29 -0500
              Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 14:35 -0400
            Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 00:25 -0500
              Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-11 22:07 +0800
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 09:20 -0500
                Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-11 22:49 +0800
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 10:02 -0500
                Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-11 23:08 +0800
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 10:29 -0500
                Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-11 23:40 +0800
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 10:43 -0500
                Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-11 23:57 +0800
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 11:09 -0500
                Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-12 00:22 +0800
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 11:24 -0500
                Re: Claude AI sums up my work in one page wij <wyniijj5@gmail.com> - 2025-08-12 00:51 +0800
                Re: Claude AI sums up my work in one page --- True(L,x) predicate olcott <polcott333@gmail.com> - 2025-08-11 12:07 -0500
                Re: Claude AI sums up my work in one page --- True(L,x) predicate wij <wyniijj5@gmail.com> - 2025-08-12 01:29 +0800
                Re: Claude AI sums up my work in one page --- True(L,x) predicate olcott <polcott333@gmail.com> - 2025-08-11 12:44 -0500
                Re: Claude AI sums up my work in one page --- True(L,x) predicate wij <wyniijj5@gmail.com> - 2025-08-12 01:55 +0800
                Re: Claude AI sums up my work in one page --- True(L,x) predicate olcott <polcott333@gmail.com> - 2025-08-11 13:02 -0500
                Re: Claude AI sums up my work in one page --- True(L,x) predicate dbush <dbush.mobile@gmail.com> - 2025-08-11 14:04 -0400
                Re: Claude AI sums up my work in one page --- Halting problem definition is corrected olcott <polcott333@gmail.com> - 2025-08-11 13:28 -0500
                Re: Claude AI sums up my work in one page --- Halting problem definition is corrected dbush <dbush.mobile@gmail.com> - 2025-08-11 14:31 -0400
                Re: Claude AI sums up my work in one page --- Halting problem definition is corrected olcott <polcott333@gmail.com> - 2025-08-11 13:46 -0500
                Re: Claude AI sums up my work in one page --- Halting problem definition is corrected dbush <dbush.mobile@gmail.com> - 2025-08-11 14:50 -0400
                Re: Claude AI sums up my work in one page --- True(L,x) predicate wij <wyniijj5@gmail.com> - 2025-08-12 02:18 +0800
                Re: Claude AI sums up my work in one page --- True(L,x) predicate olcott <polcott333@gmail.com> - 2025-08-11 13:36 -0500
                Re: Claude AI sums up my work in one page --- True(L,x) predicate Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 19:57 +0100
                Re: Claude AI sums up my work in one page --- True(L,x) predicate olcott <polcott333@gmail.com> - 2025-08-11 14:05 -0500
                Re: Claude AI sums up my work in one page --- True(L,x) predicate Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 20:23 +0100
                Re: Claude AI sums up my work in one page --- True(L,x) predicate wij <wyniijj5@gmail.com> - 2025-08-12 03:02 +0800
                Re: Claude AI sums up my work in one page --- True(L,x) predicate olcott <polcott333@gmail.com> - 2025-08-11 14:11 -0500
                Re: Claude AI sums up my work in one page joes <noreply@example.org> - 2025-08-11 16:51 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 12:11 -0500
                Re: Claude AI sums up my work in one page "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-08-12 12:24 +0200
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-12 07:37 -0400
                Re: Claude AI sums up my work in one page joes <noreply@example.org> - 2025-08-11 15:47 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 10:58 -0500
                Re: Claude AI sums up my work in one page joes <noreply@example.org> - 2025-08-11 16:37 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 12:27 -0500
      Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 17:08 +0100
  Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 07:21 -0400
  Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 12:24 +0000
    Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 09:06 -0500
      Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 17:06 +0100
      Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 13:34 -0400
      Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 14:02 -0400
  Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 12:30 +0000
    Re: Claude AI sums up my work in one page Andy Walker <anw@cuboid.co.uk> - 2025-08-10 17:00 +0100
      Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 17:22 +0100
        Re: Claude AI sums up my work in one page Andy Walker <anw@cuboid.co.uk> - 2025-08-10 17:31 +0100
          Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 17:52 +0100
            Christmas cards [was: Re: Claude AI sums up my work in one page] Andy Walker <anw@cuboid.co.uk> - 2025-08-10 20:32 +0100
              Re: Christmas cards [was: Re: Claude AI sums up my work in one page] Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 22:26 +0100
                Re: Christmas cards Andy Walker <anw@cuboid.co.uk> - 2025-08-11 00:24 +0100
                Re: Christmas cards Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 02:50 +0100
                Re: Christmas cards Andy Walker <anw@cuboid.co.uk> - 2025-08-12 00:45 +0100
                Re: Christmas cards Richard Heathfield <rjh@cpax.org.uk> - 2025-08-12 04:48 +0100
                Re: Christmas cards "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-08-12 01:17 -0700
                Re: Christmas cards Andy Walker <anw@cuboid.co.uk> - 2025-08-12 14:42 +0100
                Re: Christmas cards Richard Heathfield <rjh@cpax.org.uk> - 2025-08-12 18:57 +0100
                Re: Christmas cards Andy Walker <anw@cuboid.co.uk> - 2025-08-13 00:42 +0100
          Re: Claude AI sums up my work in one page Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-08-10 18:23 +0100
            Re: Claude AI sums up my work in one page Andy Walker <anw@cuboid.co.uk> - 2025-08-10 20:04 +0100
              Re: Claude AI sums up my work in one page Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-08-10 21:36 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 15:46 -0500
                Re: Claude AI sums up my work in one page Andy Walker <anw@cuboid.co.uk> - 2025-08-10 23:07 +0100
      Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 11:26 -0500
        Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 16:32 +0000
          Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 11:43 -0500
            Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 16:51 +0000
              Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:26 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 19:34 +0100
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 14:36 -0400
            Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 17:55 +0100
              Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 16:59 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:21 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 19:24 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:30 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 14:37 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:44 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 19:51 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 14:09 -0500
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 19:17 +0000
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 15:24 -0400
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 22:00 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 16:04 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 22:32 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 16:35 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 22:40 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 16:42 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 17:50 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 16:53 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 17:56 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:07 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 18:10 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:17 -0500
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 22:24 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:34 -0500
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 22:50 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:53 -0500
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 22:54 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:59 -0500
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 20:54 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:58 -0500
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 23:03 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 18:05 -0500
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 23:08 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 18:16 -0500
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 23:21 +0000
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 21:01 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 21:00 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 20:49 -0400
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 18:28 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:37 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 18:41 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:44 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 18:47 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 21:04 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 21:03 -0400
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 00:24 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 20:51 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 03:27 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 21:35 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 04:00 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 22:06 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 04:22 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 22:34 -0500
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 22:49 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 20:46 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 20:43 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 17:59 -0400
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 22:53 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 16:54 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 23:12 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:24 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 18:30 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:38 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 18:44 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:48 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 18:50 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 17:51 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 18:56 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 18:01 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 19:04 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 18:10 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 19:12 -0400
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 23:14 +0000
                Re: Claude AI sums up my work in one page -- Halting Problem False Assumption olcott <polcott333@gmail.com> - 2025-08-10 19:14 -0500
                Re: Claude AI sums up my work in one page -- Halting Problem False Assumption Richard Damon <Richard@Damon-Family.org> - 2025-08-10 21:24 -0400
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 00:55 +0100
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 00:35 +0100
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 23:37 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 19:24 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 02:59 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 21:13 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 03:48 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 21:59 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 04:09 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 22:16 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-11 04:25 +0100
                Re: Claude AI sums up my work in one page --- Fatal Mistake of all the HP proofs. olcott <polcott333@gmail.com> - 2025-08-10 22:41 -0500
                Re: Claude AI sums up my work in one page Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-08-11 12:52 -0700
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 17:28 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-11 18:32 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 17:37 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-11 18:45 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 17:52 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-11 18:55 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 18:43 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-11 19:45 -0400
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-11 23:47 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 19:03 -0500
                Re: Claude AI sums up my work in one page Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-12 00:23 +0000
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 19:30 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-11 20:54 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-11 21:31 -0400
                Re: Claude AI sums up my work in one page "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-08-12 01:20 -0700
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-11 21:29 -0400
                Re: Claude AI sums up my work in one page "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-08-12 01:26 -0700
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 21:12 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 17:58 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 17:57 -0400
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 14:52 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:58 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 15:01 -0400
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 15:04 -0400
                Re: Claude AI sums up my work in one page "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-08-11 10:25 +0200
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-11 09:58 -0500
                Re: Claude AI sums up my work in one page "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-08-12 12:54 +0200
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-12 12:01 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-12 13:01 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-12 12:08 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-12 13:14 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-12 12:18 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-12 13:31 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-12 12:36 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-12 13:37 -0400
                Re: Claude AI sums up my work in one page "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-08-12 18:59 -0700
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-12 21:16 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-12 22:19 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-12 21:28 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-12 22:34 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-12 21:39 -0500
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-12 22:48 -0400
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-12 22:57 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-12 23:16 -0400
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-12 22:52 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-12 22:03 -0500
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-12 23:25 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-12 18:50 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-12 18:48 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-12 18:45 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-12 21:51 -0400
                Re: Claude AI sums up my work in one page "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-08-13 10:40 +0200
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-13 10:46 -0500
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-13 22:10 -0400
                Re: Claude AI sums up my work in one page "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-08-14 10:42 +0200
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 15:22 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 14:38 -0400
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 19:47 +0100
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 19:44 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:55 -0500
                Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 20:14 +0100
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 14:23 -0500
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 15:16 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 14:26 -0400
              Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:24 -0500
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 14:27 -0400
        Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 12:46 -0400
          Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:23 -0500
            Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 14:29 -0400
            Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 14:34 -0400
              Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 13:46 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 14:57 -0400
                Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 14:02 -0500
                Re: Claude AI sums up my work in one page dbush <dbush.mobile@gmail.com> - 2025-08-10 15:06 -0400
                Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 15:17 -0400
        Re: Claude AI sums up my work in one page Richard Heathfield <rjh@cpax.org.uk> - 2025-08-10 17:47 +0100
        Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 13:39 -0400
  Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 21:01 -0500
    Re: Claude AI sums up my work in one page Richard Damon <Richard@Damon-Family.org> - 2025-08-10 22:50 -0400

csiph-web