Liste des Groupes | Revenir à s logic |
On 3/7/24 3:02 PM, olcott wrote:As I completely explained yet you persistently ignore theOn 3/7/2024 4:32 PM, Richard Damon wrote:Which isn't the halting question, so you are LYING.On 3/7/24 1:05 PM, olcott wrote:>H1(D,D) maps its input + its own machine address 00001422 to its output.>
H(D,D) maps its input + its own machine address 00001522 to its output.
Thus both H1 and H are computable functions of their input.
And thus you are admitting that Neither H or H1 are actually correct Halt Deciders, as Halt Deciders must be only a function of the description of the Compuation to be decided.
>
It turns out that both H(D,D) and H1(D,D) do correctly determine
whether or not they must abort the simulation of their input.
Already fully explained many many times (including above)>Which isn't the Halting Question, which you claim you are working on, so you are just LYING.
That you or others consider this somehow improper does not change
the verified fact that they both correctly determine whether or
not they must abort their simulation.
Already fully explained many many times (including above)>Which means they are not computing the Halting Function, which isn't a function of the decider, so again, you are LYING.
It is also the case that both H1(D,D) and H(D,D) are a pure function
of their inputs when we construe their own machine address to be an
element of these inputs.
Not at all. Not in the least little bit.>And breaks much of the background of Turing Machines,>>>
Turing machines don't even have the idea of their own machine
address so this exact same thing cannot be Turing computable.
And it isn't a Halt Decider even in Olcott machines as the algorithm is shown to vary by a parameter that it isn't allowed to vary to be a Halt Decider.
>>>
Olcott machines entirely anchored in Turing machine notions
can compute the equivalent of H1(D,D) and H(D,D).
>
Because Olcott machines are essentially nothing more than
conventional UTM's combined with Conventional Turing machine
descriptions their essence is already fully understood.
>
The input to Olcott machines can simply be the conventional
space delimited Turing Machine input followed by four spaces.
>
This is followed by the machine description of the machine
that the UTM is simulating followed by four more spaces.
>
When this input is ignored Olcott machines compute the
exact same set as Turing machines.
>
Unlike Turing machines, Olcott machines have the basis to
determine that they have been called with copies of their
own TMD.
>
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
>
With Olcott machines Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> and H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> do
not have the same inputs thus can compute different outputs
when they do not ignore their own TMD.
>
>
THen you build H^ wrong. Of course with your change in mechanics, the H^ that needs to be generated will be a bit different.
>
That Olcott machines always know their own TMD is unconventional.
so if you what to use ANY establish property of Turing Machine, you must include that now extra data EXPLICITLY.It is already explicitly included in the definition of an Olcott machine.
Not the same computation that conventional wisdom expects.>But not the RIGHT computation.
That their own TMD is correctly construed as an additional input
to their computation (whenever they don't ignore it) does provide
the reason why Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> and H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> can compute different
results and still be computations.
Right answer to the wrong question is still a WRONG ANSWER.The right answer to a different question that can always
So, you are just shown again to be a LIAR.You are not saying that Ĥ does not have its own TMD
>Yep, and H^ can give its H^.H the same TMD of the machine that will decide it to its copy of H's algorithm,H^ needs to have a copy of the algorithm of the decider at that point, and give it exactly the same input as the decider will get.>
>
Both Ĥ and H have a copy of their own non-identical TMD's.
so it gets the same answer as that H wil produce, and thus that H will give the WRONG answer to the Halting Question,It will not get this, where the Hell did you get this from?
>Since H will get on its tape the string (H^) (H^) (H), that is exactly what H^ (H^) must put on its tape,
Ĥ ⟨Ĥ⟩ cannot possibly put a separate <H> anywhere on its tape>WHAT WAS WRONG WITH WHAT I SAID.
Not at all. Olcott machines are exactly the same as Turing machines
yet always have a copy of their own machine description appended to
the end of their own tape. That you assert that H must have a copy of
some other TMD at the end of its tape is quite nutty.
Where did I say that a machine when started had anything else.
The SUB-MACHINE H^.H can have on its tape whatever H^ wants to put there, if that puts in the "Your TMD" slot the description of some other verison of it, that is fine and you can't stop it.
So H^.H (H^) (H^) (H) will give exactly the same answer as the top levelNot all all. not even once. Ĥ only ever does the opposite of whatever
H (H^) (H^) (H) will give. And thus H^ will make H give the wrong answer for the Halting Problem.
>H^ IN GENERAL, can have the description of ANY machine on its tape.so since H^ starts its tape with the values (M) (H^),>
Not at all. The only Ĥ that I am talking about only has
its own TMD for its input.
The one case we look at, M = H^, which is its own.
so H^ (H^) (H^) {last one added by the Master UTM, or H}
goes to H^.Hq0 (H^) (H^) (H) by duplicating its input data, removing its own description and adding the description of the H it is tragetig.
>But what it does is ALWAYS the opposite of what H will say.it must duplicate the (M), and replace the (H^) with the description of the version of H it is going to confound. (even though that isn't the description of the copy at H^.H).>
>
Note, while your master UTM may make sure that no Top level machine is given the wrong description, there is nothing stopping a machine from faking the data to a submachine of it.
>
No matter how Ĥ screws things up it will either halt or fail
to halt. No matter how much Ĥ screws itself up none of these
things have any effect what-so-ever on H.
H^ gets to know this, as it has a copy of that H, and it knows what the tape to H will look like when it is asked about itself.It has no idea that it has a copy of any external <H>.
You can't (successfully) argue with facts.Not to someone that doesn't care about facts and only
*Like I said and you have not fully integrated into your thinking*>So, why doesn't H^ get the same answer as H will give when it gives its exact copy and exact copy of the input that H will get?You are just not thinking the problem out far enough.>
>
You are apparently not smart enough to figure out what this change needed to be to handle you new definition of Olcott machines, but I was able to do that in just a few minutes of thinking.
I thought this through more deeply than you have and you cannot
show otherwise by providing correct reasoning why my ideas will
not work.
>
*Like most people you conflate unconventional with impossible*
>
YOU are the one that assumes the impossible, so your logic trues out to be just the mystical product of Fairy dust powered Unicorns, and not anything that actually works.--
Your FAILURE to answer the questions just proves your guilt.
Les messages affichés proviennent d'usenet.