Liste des Groupes | Revenir à s logic |
On 3/26/24 11:13 AM, olcott wrote:Not shaving your sideburns is not derived from this.On 3/26/2024 6:39 AM, Richard Damon wrote:H must do what H does.On 3/25/24 11:34 PM, olcott wrote:>On 3/25/2024 10:06 PM, Richard Damon wrote:On 3/25/24 10:57 PM, olcott wrote:
<snip>
>>>>I am saying that H/D pairs where H simulates D that this D right here>
not some other D somewhere else never reaches its own line 06.
Right. But that doesn't prove that the D is non-halting of H gives up on its simulation.
>
You always use the strawman deception on this.
WE ARE TALKING ABOUT ABORT DECIDERS
WE ARE TALKING ABOUT ABORT DECIDERS
WE ARE TALKING ABOUT ABORT DECIDERS
WE ARE TALKING ABOUT ABORT DECIDERS
WE ARE TALKING ABOUT ABORT DECIDERS
And you have agreed that an "Abort Deciders" will decide based on if THIS DECIDER needs to abort THIS INPUT,
01 int D(ptr x) // ptr is pointer to int function
02 {
03 int Halt_Status = H(x, x);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 void main()
10 {
11 H(D,D);
12 }
>
This decider must abort this input when-so-ever this H/D pair is in
the set of H/D pairs where H simulates its input and D is defined as
specified above.
First note, you have strayed from the actual definiton of the problem, (andthus are LYING about following it) because the specific D was DEFINED to use a specific COPY of the one decider it was designed to refute.
Your D ends up failing to even be a Computation, (when you limit the desciption of D to NOT include H) because its behavior is NOT fully defined.
Yes, any H that doesn't happen to abort its simulation is not a correct decider because it will fail to decide.
That DOESN'T mean that an H that does abort is correct, as every different H that is called by D creates a different behavior for D, and in effect, creates a "new" D, even though its description (by your stipulation) is the same, but that is because you have created a non-computation input, and for those, to determine there behavior, we need to include the appropriate extra "hidden" information, which in this case is the code of H.
Now, if H does abort and return 0, then it is clear that that makes a D(D) that will halt, as can be proved by having main call UTM(D,D) with that D still refering to that original H (which you keep on trying to lie about not being able to do).
Sincd that simulation will reach an end, then it is shown that these Hs don't actually NEED to abort, even though (or because of the fact) they do.
You can claim this make this an invalid question, and I would agree, because your D was built wrong. Build D the RIGHT way, with its own copy of H (that is fixed to be the H you finally decide on, and doesn't change during your argument) then the question is valid, and the H that D was built on is clearly wrong, and any other decider could have its own "pathelogical" input defined that makes IT wrong.
>Not *NO* common attributes, but have some differences, so if you thing being looked at varies, then not all cat are the same.based on if an actual CORRECT SIMULATION of THIS INPUT will run forever or Halt.>
>
You are stuck with that definition if you want your "abort deciders" to be at all related to "Halt Deciders", which since you continue to refer to the Halting problem proofs, you do, you need to use THAT definition.
>
Any definition based on looking at the behavior of some other machine and input, is just illogical, but then, you have shown that you thinking goes to illogical ideas.
>
By that same reasoning cats have no common attributes and some cats
might bark and some cats might fly because not all cats are exactly
the same.
For instance, not all cats are black.
You just don't seem to understand the nature of "Categories"
>It must abort to be a decider.>>>If that was all that was needed, ALL inputs could be correctly decided as non-halting.>
>
WE ARE TALKING ABOUT ABORT DECIDERS
WE ARE TALKING ABOUT ABORT DECIDERS
WE ARE TALKING ABOUT ABORT DECIDERS
WE ARE TALKING ABOUT ABORT DECIDERS
WE ARE TALKING ABOUT ABORT DECIDERS
Right, based on the actual NEED for THIS decider to abort for this exact input.
>
This decider must abort this input when-so-ever this H/D pair is in
the set of H/D pairs where H simulates its input and D is defined as
specified above.
Thst doesn't mean that if it does abort, it knows the right answer to the question about the input halting (or needing to be aborted).
They are NOT the same criteria,
>So, are you talking about the ones that do abort, or the ones that don't.Since, for our H(D,D) that is programmed to abort and return 0, the D(D)>
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
I never said that, about abort deciders I only said that H simulates D.
You DO understand that these are DIFFERENT programs, and each must be looked at individually.
The question is NOT about "classes of Deciders" pair with a "Class of Inputs".
The quesiton is about ONE SPECIFIC INPUT, and the answer that ONE SPECIFIC decider gives.
You are just proving you just don't know what you are talking about.
>No, and that isn't what a "Liar" is, the word means someone whose life is characterized by falsehoods. (like yours)built on it will halt, then this H(D,D) did not NEED to abort it, but did.I don't believe that because a woman lied about her weight
>
>>>>>>Since H is supposed to be a "Halt Decider", the HALTING PROPERTY of the input is a very important and relevent fact.>
>
I guess you think TRUTH isn't relevent, only whether you can make a convincing lie.
>Milk and Cheese and not the same yet both are dairy products.>
And Milk is a liquid and Cheese is a solid.
>
Try to make a glass og "Chocolate Cheese"
>
Or make a Pizza with "Milk" as a topping.
>>>There is no reason to assume that ANY X are correct, that is your INCORRECT assumption,>
>
All H that never halt have incorrect halting behavior for a decider.
All H that halt have correct halting behavior for a decider.
That may make them DECIDERS, but not a HALT DECIDER if they say non-halting for an input you have admitted is Halting.
>
You are just PROVING that you are just a pathetic hypocritical ignorant pathological lying idiot.
>
Are you willing to bet your soul on that?
Sure, are YOU?
I know that my soul is the one thing that I cannot afford
to lose, and what the Hell would I do with two souls when I win?
I would not bet my soul that 2 + 3 = 5.
Seems you have already lost it.
>
And you or I will not be the one to collect.
>
by one pound one time that she will
>Right, but you need to look at the context, HIS PEOPLE are not in that group, and I know that my name is in the
*Revelation 21:8 NRSV*
...and all liars, their place will be in the lake that burns with
fire and sulphur, which is the second death.’
>And that just shows that you do not know him.
I also know that God <is> Love and God <has> Wrath is impossibly
true. It is the same as H2O <is> water and H2O <has> Carbon.
*I go by what makes the most sense*
So, you WILL find that you will end in that lake of fire.
>And all the other DERIVE from this, so they are not "abolished", but expalined.
What seems to make the most sense is that we concatenate
"with as much empathy as possible" to the commandment to
"love one another" and abolish the distraction of all of the
other commandments so that we can unite in a single-minded
focus on loving others.
You also forget that this is the SECOND most important commandment, the first is to Love the LORD with all your Heart, Mind, Strength, and Body.If the only sin is not loving others as myself then I am covered.
Since you deny who he is, by considering youself somewhat of his equal, you have failed at that, which puts you STRAIGHT into Rev 21:8
>Which just shows that you don't understand the words of the Lord himself, when he said that if you HOLD to his teachings, then you will know the truth and the truth will set you free.
*Galatians 5:14 NRSV*
For the whole law is summed up in a single commandment,
‘You shall love your neighbour as yourself.’
>
The reason that I persist in my proofs is that righteousness
must be anchored in truth and humans have totally screwed up
the notion of truth with incompleteness and undecidability.
Note, you still have time, while you live, to repent of your sins and
turn to God. But that means REALLY repenting and giving up your "life" and letting God take control and direct you. Which first means you need to learn who he is and what he asks of you.None of the things that I have said here in the last two years
Something, I am not sure you are capable of handling now.
>Maybe not Half, but a lot (and a vocal lot).
Half the population believes that the 2020 presidential
election was stolen because liars told them so.
>
The fact that you logic style is also based on LYING doesn't help your position on this.
Les messages affichés proviennent d'usenet.