Liste des Groupes | Revenir à s logic |
On 7/19/25 10:42 AM, olcott wrote:All of the Chat bots conclude that HHH(DDD) is correctOn 7/18/2025 3:49 AM, joes wrote:So, the only HHH that meets your definition is the HHH that never detects the pattern and aborts, and thus never returns.
>That is wrong. It is, as you say, very obvious that HHH cannot simulate>
DDD past the call to HHH. You just draw the wrong conclusion from it.
(Aside: what "seems" to you will convince no one. You can just call
everybody dishonest. Also, they are not "your reviewers".)
>
For the purposes of this discussion this is the
100% complete definition of HHH. It is the exact
same one that I give to all the chat bots.
>
Termination Analyzer HHH simulates its input until
it detects a non-terminating behavior pattern. When
HHH detects such a pattern it aborts its simulation
and returns 0.
Les messages affichés proviennent d'usenet.