| Liste des Groupes | Revenir à theory |
On 10/27/2025 4:39 AM, Mikko wrote:More importantly, an attempt of a straw man deception dishonest.On 2025-10-26 14:46:33 +0000, olcott said:Saying that the halting problem proof counter-example
Summary of the key point:The halting problem's self-referential construction creates two distinct computational entities:The halting problem does refer itself nor requires that any entity
should refer to itself. At most the descriptions of the program and
can be seen as references to the program and input asked about, and
some formulations of the problem don't mention even that. The program
asked about does not refer to anything outside itself and the input
asked about. No semantics of the input asked about is relevant fo the
halting problem so in that context nothing in the input refers to
anything.
Input (DD-as-simulated-by-HHH): Shows non-halting behavior - recursive pattern that HHH correctly identifiesNot relevant to the halting problem,
Non-input (DD-as-directly-executed): Halts because HHH returns 0
input is not relevant to the halting problem is dishonest.
Les messages affichés proviennent d'usenet.