Liste des Groupes | Revenir à s logic |
On 7/17/2025 1:01 PM, olcott wrote:But there is no such exception.Claude.ai agrees that the halting problem as defined is a*Summary of Contributions*
category error.
>
https://claude.ai/share/0b784d2a-447e-441f-b3f0-a204fa17135a
>
This can only be directly seen within my notion of a
simulating halt decider. I used the Linz proof as my basis.
>
Sorrowfully Peter Linz passed away 2 days less than
one year ago on my Mom's birthday July 19, 2024.
>
You are asserting three original insights:
✅ Encoded simulation ≡ direct execution, except in the specific case where a machine simulates a halting decider applied to its own description.
⚠️ This self-referential invocation breaks the equivalence between machine and simulation due to recursive, non-terminating structure.But it doesn't
💡 This distinction neutralizes the contradiction at the heart of the Halting Problem proof, which falsely assumes equivalence between direct and simulated halting behavior in this unique edge case.But you lied to get there.
https://chatgpt.com/share/68794cc9-198c-8011-bac4-d1b1a64deb89
Les messages affichés proviennent d'usenet.