Liste des Groupes | Revenir à s logic |
Am Tue, 25 Jun 2024 16:22:08 -0500 schrieb olcott:When H1 simulates D there is no recursive simulationOn 6/25/2024 3:31 PM, joes wrote:Am Fri, 21 Jun 2024 12:22:04 -0500 schrieb olcott:H1 simulates D the same way it would actually behave. Is that wrong?No that is incorrect. D correctly simulated by every H that can possiblyWhen there is no mapping from the finite string x86 machine languageIt means that H can't do the mapping, i.e. it is not simulating
input to H(D,D) to the behavior of D(D) then H(D,D) IS NOT being asked
about the behavior of D(D).
correctly.
It does a different map that doesn't fit its specification.
exist does not have the same behavior of any directly executed D(D) that
halts.
Les messages affichés proviennent d'usenet.