Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #122507 > unrolled thread
| Started by | olcott <polcott333@gmail.com> |
|---|---|
| First post | 2025-08-10 01:06 -0500 |
| Last post | 2025-08-10 21:01 -0500 |
| Articles | 3 — 2 participants |
Back to article view | Back to comp.lang.c++
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 Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-08-10 12:30 +0000
Re: Claude AI sums up my work in one page olcott <polcott333@gmail.com> - 2025-08-10 21:01 -0500
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-08-10 01:06 -0500 |
| Subject | Claude AI sums up my work in one page |
| Message-ID | <1079csv$1mllm$1@dont-email.me> |
Claude AI proved why HHH(DD)==0 is correct in terms that any expert C programmer can understand. https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c Also https://philpapers.org/archive/OLCHPS.pdf -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [next] | [standalone]
| From | Mr Flibble <flibble@red-dwarf.jmc.corp> |
|---|---|
| Date | 2025-08-10 12:30 +0000 |
| Message-ID | <Xh0mQ.5620$sHH5.232@fx16.ams4> |
| In reply to | #122507 |
On Sun, 10 Aug 2025 01:06:23 -0500, olcott wrote: > Claude AI proved why HHH(DD)==0 is correct in terms that any expert C > programmer can understand. > https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c > > Also https://philpapers.org/archive/OLCHPS.pdf If DD() halts and HHH(DD) returns a result of non-halting then HHH is not a halt decider for DD: this just confirms that the extant Halting Problem proofs are correct and that you have wasted the last 22 years. /Flibble
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-08-10 21:01 -0500 |
| Message-ID | <107bit0$28fle$5@dont-email.me> |
| In reply to | #122508 |
On 8/10/2025 7:30 AM, Mr Flibble wrote:
> On Sun, 10 Aug 2025 01:06:23 -0500, olcott wrote:
>
>> Claude AI proved why HHH(DD)==0 is correct in terms that any expert C
>> programmer can understand.
>> https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c
>>
>> Also https://philpapers.org/archive/OLCHPS.pdf
>
> If DD() halts and HHH(DD) returns a result of non-halting then HHH is not
> a halt decider for DD: this just confirms that the extant Halting Problem
> proofs are correct and that you have wasted the last 22 years.
>
> /Flibble
<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern: abort simulation and
return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.
typedef int (*ptr)();
int HHH(ptr P);
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
What value should HHH(DD) correctly return?
</Input to LLM systems>
https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c
https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c
https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-eedd0f09e141
All three LLM's agree that when HHH(DD) reports on the basis
of DD correctly simulated by HHH then HHH(DD)==0 is correct.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [standalone]
Back to top | Article view | comp.lang.c++
csiph-web