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.theory | 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: Claude AI found a key ambiguity in the words that professor Sipser agreed to Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-11 06:50 +0000
    Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-11 07:52 -0500
  Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-11 11:24 +0300
    Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-11 07:57 -0500
      Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-12 11:40 +0300
        Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-12 09:37 -0500
          Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-13 11:01 +0300
            Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-13 09:15 -0500
              Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to dbush <dbush.mobile@gmail.com> - 2025-10-13 10:24 -0400
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-13 11:14 -0500
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to dbush <dbush.mobile@gmail.com> - 2025-10-13 12:18 -0400
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-13 11:30 -0500
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to dbush <dbush.mobile@gmail.com> - 2025-10-13 12:43 -0400
                ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 12:22 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 13:36 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 12:51 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 13:59 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 13:08 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 14:18 -0400
                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
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 15:31 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 14:53 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 15:56 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 15:04 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 16:09 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 15:21 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 16:36 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 17:13 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 18:26 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 17:35 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 19:03 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 18:14 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dbush <dbush.mobile@gmail.com> - 2025-10-13 19:59 -0400
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 19:21 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 13:12 -0700
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 15:20 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 13:25 -0700
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 15:29 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 14:34 -0700
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 17:11 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 19:30 -0700
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() olcott <polcott333@gmail.com> - 2025-10-13 21:55 -0500
                Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 20:07 -0700
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to dbush <dbush.mobile@gmail.com> - 2025-10-13 13:48 -0400
              Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-14 12:39 +0300
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-14 11:21 -0500
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-15 10:36 +0300
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-15 18:52 -0500
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-16 11:55 +0300
    Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-11 08:07 -0500
      Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-12 11:44 +0300
        Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-12 09:43 -0500
          Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-13 11:11 +0300
            Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-13 10:19 -0500
              Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-14 12:42 +0300
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-14 11:22 -0500
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 02:34 +0000
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-14 21:43 -0500
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 02:52 +0000
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-14 23:24 -0700
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-14 23:26 -0700
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-15 10:43 +0300
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to olcott <polcott333@gmail.com> - 2025-10-15 18:54 -0500
                Re: Claude AI found a key ambiguity in the words that professor Sipser agreed to Mikko <mikko.levanto@iki.fi> - 2025-10-16 11:59 +0300
                The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-16 09:18 -0500
                Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-17 11:15 +0300
                Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-17 06:45 -0500
                Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-18 11:35 +0300
                Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-18 05:39 -0500
                Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-19 11:27 +0300
                Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-19 09:10 -0500
                Re: The Halting Problem is Incoherent "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-19 12:55 -0700
                Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-20 11:51 +0300
                Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-20 11:21 -0500
                Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-21 12:29 +0300
                Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-21 10:08 -0500
                Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-22 11:16 +0300
                Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-22 07:12 -0500
                Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-23 13:07 +0300
                Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-23 10:38 -0500
                Re: The Halting Problem is Incoherent "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-23 11:59 -0700
                Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-24 10:50 +0300
                Re: The Halting Problem is Incoherent --- election fraud olcott <polcott333@gmail.com> - 2025-10-24 13:26 -0500
                Re: The Halting Problem is Incoherent --- election fraud dbush <dbush.mobile@gmail.com> - 2025-10-24 15:01 -0400
                Re: The Halting Problem is Incoherent --- election fraud olcott <polcott333@gmail.com> - 2025-10-24 14:07 -0500
                Re: The Halting Problem is Incoherent --- election fraud dbush <dbush.mobile@gmail.com> - 2025-10-24 15:25 -0400
                Re: The Halting Problem is Incoherent --- election fraud olcott <polcott333@gmail.com> - 2025-10-24 14:32 -0500
                Re: The Halting Problem is Incoherent --- election fraud dbush <dbush.mobile@gmail.com> - 2025-10-24 15:35 -0400
                Re: The Halting Problem is Incoherent --- election fraud olcott <polcott333@gmail.com> - 2025-10-24 14:55 -0500
                Re: The Halting Problem is Incoherent --- election fraud dbush <dbush.mobile@gmail.com> - 2025-10-24 15:58 -0400
                Re: The Halting Problem is Incoherent --- election fraud "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-24 14:36 -0700
                Re: The Halting Problem is Incoherent --- election fraud Mikko <mikko.levanto@iki.fi> - 2025-10-25 14:38 +0300
                Re: The Halting Problem is Incoherent --- election fraud "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-25 11:20 -0700

csiph-web