On 10/20/2025 5:33 PM, olcott wrote:You should be hired on how to make a LLM dumb as shit?On 10/20/2025 5:15 PM, joes wrote:Grok, Gemini and ChatGPT 5.0 all agree.Am Mon, 20 Oct 2025 14:30:16 -0500 schrieb olcott:>On 10/20/2025 2:21 PM, joes wrote:That’s not the input.Am Mon, 20 Oct 2025 13:42:56 -0500 schrieb olcott:Whether the directly executed DD() halts or not *does depend on whatOn 10/20/2025 1:09 PM, joes wrote:>Am Mon, 20 Oct 2025 12:47:36 -0500 schrieb olcott:On 10/20/2025 12:41 PM, joes wrote:It is not met. Whether an input halts does not depend on what HHH says.If (a) is met (and it is met) then the input specifies non haltingThe input contains an encoding of the abort.What details? Every DD calls HHH, and every HHH aborts.The semantic halting property of the input finite string overrules
everything else because Turing machines only compute their mapping
from input finite strings.
behavior. Non-halting is not and never has been the same thing as
stopping running or yanking the power cord would prove that all
programs halt.
HHH(DD) says* if HHH(DD) says 1, then DD() gets stuck in a loop.
>
<Input to LLM systems>
>
Perform the complete simulation specified in main() and provide a
full execution trace before doing anything else.
>
Simulating Termination Analyzer HHH correctly simulates its input until:
>
(a) It correctly detects that its simulated input cannot
possibly reach its own simulated final halt state then:
abort simulation and return 0 rejecting its input as non-halting.
>
(b) Simulated input reaches its simulated "return" statement: return 1.
>
(c) Neither (a) nor (b) is correct 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;
}
>
int main()
{
HHH(DD);
}
>
What value should HHH(DD) correctly return?
</Input to LLM systems>
>
I adapted the above to conform to what Kaz said
to give it an escape hatch.
>
Just the updated three-way halts does_not_halt neither.
https://claude.ai/share/8c4a4fdc-5faf-4525-8c08-e133d258da88
>
Les messages affichés proviennent d'usenet.