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

Groups > comp.theory > #124791

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

From dbush <dbush.mobile@gmail.com>
Newsgroups comp.theory
Subject Re: Claude AI sums up my work in one page --- True(L,x) predicate
Date 2025-08-11 14:04 -0400
Organization A noiseless patient Spider
Message-ID <107dbbb$2lehv$15@dont-email.me> (permalink)
References (17 earlier) <107d7vn$2lg0a$23@dont-email.me> <d6208049fd18d672389e8ef5b0002d90ebe19ccb.camel@gmail.com> <107da5e$2lg0a$30@dont-email.me> <dc4fac99bb1560b40772efb28fe8aface9b3f011.camel@gmail.com> <107db84$2lg0a$34@dont-email.me>

Show all headers | View raw

On 8/11/2025 2:02 PM, olcott wrote:
> On 8/11/2025 12:55 PM, wij wrote:
>> 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%).
>>
> 
> Great.
>> So, do you suggest POOH cannot answer the question, 
> 
> The original halting problem is anchored in a false assumption


Specifically, that an H exists that meets these requirements:


Given any algorithm (i.e. a fixed immutable sequence of instructions) X 
described as <X> with input Y:

A solution to the halting problem is an algorithm H that computes the 
following mapping:

(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly

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