Liste des Groupes | Revenir à s logic |
On 3/13/24 1:52 PM, olcott wrote:I invented it so I get to stipulate its meaning.On 3/13/2024 12:52 PM, Richard Damon wrote:Why, because it is NOT a LIE.On 3/13/24 10:08 AM, olcott wrote:>On 3/13/2024 11:44 AM, immibis wrote:>On 13/03/24 04:55, olcott wrote:>On 3/12/2024 10:49 PM, Richard Damon wrote:>>>
Not quite. It always gets the wrong answer, but only one of them for each quesiton.
>
They all gets the wrong answer on a whole class of questions
Wrong. You said. yourself. that H1 gets the right answer for D.
>
Since it is a logical impossibility to determine the truth
value of a self-contradictory expression the requirement
for H to do this is bogus.
Shows you are just a LIAR, as there IS a truth value to the expression that is the requirment for ANY SPECIFIC H.
>
*Lying about me being a liar may possibly cost your soul*
*Lying about me being a liar may possibly cost your soul*
*Lying about me being a liar may possibly cost your soul*
>
There is no mapping from H(D,D) to Halts(D,D) that exists.
This proves that H(D,D) is being asked an incorrect question.
>
You don't even know the definiton of an incorrect question.
The fact that there DOES exist a mapping Halt(M,d) that maps all Turing Machines and there input to a result of Halting / Non-Halting for EVERY member of that input set, means tha Halts is a valid mapping to ask a decider to try to decider.That part is true.
The fact that no machine that exist that computes that mapping, means the mapping is uncomputable.Likewise the square-root of an actual banana is also uncomputable
Perhaps you should actually learn the technical meaning of the terms before you state LIES about them.Revelations 21:8 NRSV
Yes, I guess it would be an incorrect question to ask what a correct halt decider computes for a given input, the best I can interprete your statement, since no H that does that can exist, but that isn't what the question asks.*You know that I am not saying anything that I do not believe*
You are just stuck in the LIES you have created with your strawmen and ignorance of the subject you are talking about.
Les messages affichés proviennent d'usenet.