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

Groups > comp.theory > #124782

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

From olcott <polcott333@gmail.com>
Newsgroups comp.theory
Subject Re: Claude AI sums up my work in one page --- True(L,x) predicate
Date 2025-08-11 12:44 -0500
Organization A noiseless patient Spider
Message-ID <107da5e$2lg0a$30@dont-email.me> (permalink)
References (17 earlier) <40c7821e8f6c344a494c727c453868a2f78771b6.camel@gmail.com> <107d5fh$2lg0a$19@dont-email.me> <63d0d78cc09e28ef8fdc8377b79bc522f732207c.camel@gmail.com> <107d7vn$2lg0a$23@dont-email.me> <d6208049fd18d672389e8ef5b0002d90ebe19ccb.camel@gmail.com>

Show all headers | View raw

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)


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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