| Liste des Groupes | Revenir à theory |
Am Sun, 19 Oct 2025 11:08:34 -0500 schrieb olcott:The is not the HHH that the simulated DD() calls.On 10/19/2025 3:42 AM, Mikko wrote:The encoding of DD specifies a call to the terminating HHH.On 2025-10-17 15:15:02 +0000, olcott said:Although finite strings do encode that not all finite string *INPUTS*
>Before you can understand any of this you must first understand the>
semantic halting property of the finite string input to HHH(DD).
The only semantic property relevant to the halting problem is that DD
halts.
>
encode that.
Les messages affichés proviennent d'usenet.