Claude AI found a key ambiguity in the words that professor Sipser agreed to

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory, comp.lang.c++, comp.lang.c, comp.ai.philosophy
Subject	Claude AI found a key ambiguity in the words that professor Sipser agreed to
Followup-To	comp.theory
Date	2025-10-10 12:39 -0500
Organization	A noiseless patient Spider
Message-ID	<10cbgd7$7ips$1@dont-email.me> (permalink)

Cross-posted to 4 groups.

Followups directed to: comp.theory

Show all headers | View raw

This may finally justify Ben's Objection

<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its
     input D until H correctly determines that its simulated D
     would never stop running unless aborted then

     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

I certainly will not quote professor Sipser on this change
unless and until he agrees to it.

     H can abort its simulation of D and correctly report
     that [its simulated] D specifies a non-halting sequence
     of configurations.

Because the whole paragraph is within the context of
simulating halt decider H and its simulated input D it
seems unreasonable yet possible to interpret the last
D as a directly executed D.



-- 
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.lang.c++ | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-10 12:39 -0500
  Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 14:20 -0500

csiph-web