Liste des Groupes | Revenir à theory |
On 7/4/2025 1:23 PM, joes wrote:Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:On 7/4/2025 8:37 AM, joes wrote:Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:On 7/4/2025 3:55 AM, joes wrote:
Lol, you could have responded immediately. You know how to look up posts.The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with a call
to HHH are the same.
Don't complain later.Are you seriously suggesting that you can't compute what the code ofYes it is, HHH should compute whether the code of DD halts when run.Likewise we should also compute the area of a square circle with a
You can't be thinking that is uncomputable.
radius of 2.
DDD does when executed?
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVE THE SAMEPartial halt deciders have never been allowed to report on theAnd you think that DDD's direct execution is not specified by its
behavior of any directly executed Turing machine. Instead of this they
have used the behavior that their input machine description specifies
as a proxy.
description?
BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARS
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by HHH *ISIndeed, HHH does not simulate it correctly. (You can't mean that DDD is
NOT A PROXY* for the behavior of the directly executed DDD().
*executed* incorrectly.)
Les messages affichés proviennent d'usenet.