On Saturday, 3 December 2022 at 16:14:27 UTC+2,
richar...@gmail.com wrote:
> No, I have a "PARTIAL Correctness-Decider", that can handle THIS
> particular case.
Where is it?
> Remember, the definition of a "Decider" is a machine that handles ALL
> cases. We don't need such a machine for this, just one that can handle
> THIS case.
Lucky you - I wasn't asking for a general-decider. I'm asking you for a particular-decider.
One for THIS particular case.
Where is it?
> And the problem is that one case can possible take infinite time, which
> isn't allowe.
This is so weird. Why are you talking in the abstract? I am asking you about THIS particular case so...
Can or does take infinite time?
> That has been explaied to you several times, but you seem to dense to
> understand that.
You are too dense to understand that I never asked you to explain it.
I am only asking you for the source code of your decider which has determined that Olcott's H is "incorrect".
> > Show me your correctness decider.
> I don't think you would understand the math needed for that sort of proof.
So is that an actual admission that you don't know whether "4" is the correct answer to "2+2"?
> Note also, that isn't the question that I was talking about, so my
> partial decider doesn't need to work on it
Sure. But your partial decider does need to work on the question "Is Olcott's H correct or incorrect?"
And since you've been asserting its "incorrectness"... where is the source code?
> > But I am not asking you to PROVE the answer ?!?! I am asking you to VERIFY whether a given answer is correct!
> And what is the difference between PROVING something and VERIFYING it?
Tremendous. A verification checks THAT X is the correct answer. ; A proof shows WHY X is the answer.
> Both are showing steps that demonstrate that the statement must be true.
So you don't actually understand the difference between claiming THAT 2+2 is 4 and claiming WHY 2+2 is 4. Wow!
> > HOW have you verified this?
> Because I have a valid proof of it.
Rinse repeat. You may or not have a proof of it, but how exactly have you verified the "validity" of your proof?
> If you don't believe in proofs, then you can't actually know anything.
I'll believe it when I see it.
Where is the proof?
> > HOW do YOU know whether a proof halts or not ? Given that you don't have a working halt-decider - HOW do you keep acquiring this knowledge?
> Because I reached the end of it and it became final.
In which runtime did you execute your proof?
> >
> >> You seem to be having a comprehension issue.
> > Not me... It's definitely you.
> Nope. Its you. You are even showing that you don't understand the
> difference between proving one case and solving the general.
See! It's **definitely** you. I am only talking about a single case here - the case at hand.
> > OK. HOW do you show that?
> As I said, run it and see that it reaches a final state.
OK. So where is the proof that you ran? Show it to us.
> For someone who claims that proofs are programs, no understanding that
> the can actually be run to see they reach a final state seems utterly
> stupid.
Of course I understand that. I also understand that since you are the one who claims "incorrectness" you must have already run the proof which told you that Olcott's H is incorrect.
Where is the proof?
> > HOW do you know that the final state is reached?
> Because it DID when I ran it.
Great! Show us the proof that you ran.
> Reality IS a proof.
That's a religious claim.
> I gave you a proof that wasn't a program (but perhaps could be converted into a program)
You didn't "give me a proof that wasn't a program", you didn't give me any proof.
> have demonstated that you statement is FALSE, and you are ignorant.
You've done no such thing. Maybe in your head... A space nobody gives a shit about.
> > And far more importantly - I am asking you to explain HOW you've come to know that you knowledge is "correct"
> I've done it, but it seems to be beyound your understanding.
No, you haven't .You keep talking but you've provided no proof.
> > What if you have "proven" that a program halts, but your proof is wrong?
> I used only demonstartably correct steps, so the proof is valid.
How do you know that you steps are "correct"? Maybe you are mistaken.
> IF you want to challange my proof, show the incorrect step I used.
Sure! Where is the proof you want me to examine?
> You seem to have a fundamental problem with knowing what Truth is.
Ooooh. You think you know what Truth is?
> This is one of the problems of thinking of Proofs as Programs when you
> start to try to reason about Programs. Proofs, when built by the rules,
> are necessarily correct, just like a program will always produce the
> answer that that program produces.
I have no idea why you are using the word "correct" here.
Yes. A program produces the output that it produces.
Yes. A program follows rules.
Yes. A program can apply any rule at any time.
Yes. A program will produce the answer the programmer made it produce.
What I am still not clear about is why you think that answer is "correct".
> > I asked you whether the "correctness" of a halt-decider is decidable.
> And, as I have explianed, often yes, but there are cases where it can't
> be, thus, in it is not decidable in general.
I didn't ask you about the general case? I am asking you about **this** particular case.
Given the source code for Olcott's H, and the source code for P; and the output of H(P,P).
Produce the decider C (for correctness) such that C(H, P, result_of_H) determines whether the result of H is "correct".
> You seem to have a problem understanding that undecidable in general
> still allows the proposition to be able to be decided for many specific
> cases.
You really seem to have a problem with particulars.
> That is a funny thing about unknowability. We know that some things are
> unknowable, but in many cases we can't prove that a particual something
> is unknowable, becuase by its nature, if we knew we couldn't prove its
> answer, we would know the answer.
There you go again about generalities. In the particular case of this particular context given Olcott's particular decider and particular result - you've called a bunch of things "knowable" and "unknowable".
> Halting is a property like that. If we KNEW that the halting status of a
> given machine/input combination was proved to be "Unknowable", then we
> would know that it must be non-halting
🤣🤣🤣🤣🤣🤣🤣 maybe you want to read that again.
If you proved halting to be unknowable then you would know that the unknowable halting status is non-halting.
🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣
I don't know how to say it more plainly. You are not smart.
> Thus if we could somehow proof that we can't do that, it means by
> definition, the machine must never stop, so ALL unknowable Halting
> problems must be non-halting
🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣
I don't know how to say it more plainly. You are not smart.
> >> If the program WILL Halt, then by running it, we will see that and PROVE
> >> that it halts.
> > But that's exactly what Olcott's simulating halt-decider does!!!!
> Nope, and that is his flaw. He runs it for a while, until it meets a
> condition that he THINKS (incorrectly) shows non-halting behavior, then
> he stops.
The condition Olcott's decider uses is **precisely* YOUR condition for an inductive proof.
He sees it doesn't halt in N steps.
He sees it doesn't halt in N+1 steps.
By detecting the recursive call he inductively concludes that it doesn't halt. Ever.
You are so stupid you don't even understand that by disagreeing with Olcott's H you are disagreeing with yourself.
> > How is it that when he does it his answer is "incorrect".
> > But when you do it your answer will be "correct".
> because his program, by its structure, gives up and gets the wrong answer.
Obviously it "gives up"! Your inductive proof also "gives up"! ALL inductive proofs "give up"!
Literally, you are only proving N and N+1.
You are NOT proving N+2, and N+3, and N+4.... ad infinitum.
Are you now saying that you use an inductive proof to prove that P doesn't halt?
It's pretty weird - because you are disagreeing with yourself.
> If he wrote is program diferently, to not give up, then that program
> fails by not answering at all, becuase it then gets a DIFFERENT input
> based on this new machine.
Translation: If he DIDN'T use an inductive proof.
This is really weird. You said you are using an inductive proof. And you said it's "correct".
> This new input actually needs a decider that recognize the infinite
> behavior pattern that now exists in the program.
This is really weird! You said you are using an inductive proof to prove properties of infinite sets in finite time.
But you also said it's "incorrect" to "give up" ?!?!?
You really are disagreeing with yourself!
> > What are you using as a correctness-decider ?!?
> I show that the program halts by just running it.
But you said the assertion "P halts" was incorrect ?!?!
> >> Note, there are patterns that are provably non-halting, for instance,
> >> any Turing Machine that returns to an exact state (including the
> >> contents and placement of the tape) MUST continue on the same path it
> >> did last time, and thus we can prove by induction that it will never halt.
> > But that's PRECISELY what Olcott's halt-decider does?!?!?!
> >
> > It observes the stack trace. Sees that the state machine calls the same function with the same parameters TWICE and aborts because it has detected an infinite loop.
> Which isn't an actual non-halting pattern. it ignores the behavior of
> the copy of itself, and thus gets the wrong answer.
So you agree that YOUR strategy (which is EXACTLY THE SAME as Olcott's strategy) doesn't work?!?!?
> > YOU are the one who keeps calling that "incorrect" but here you are now advocating for it ?!?!?
> Because I an not using that same patttern. You are just showing your
> ignorance in thinking I am.
The way you described you are using EXACTLY THE SAME pattern!
You are using proof by induction. Which means you are going to extrapolate an infinite conclusion from finite observations!
So why are you disagreeing with Olcott if you are doing exactly the same thing as him?
> Then READ the proof I quoted.
You haven't quoted any proofs. Certainly nothing I can run on my own computer.
> > Which decider did you use?
> VALID LOGIC.
Which decider did you use to decide that your logic is "valid" ?!?!
> > Without a correctness-decider we could be dealing with the case where "H answers Halting, and that's correct" OR the case where "H answers Halting, and that's incorrect"
> >
> > HOW DO YOU KNOW which case you are in ?!?!?
> You might not. But you do SOMETIMES, which is often good enough.
Why are you speaking in general terms when we are dealing with a concrete case ?!?!
In particular: either you know or you don't know. There is not "might" ?!?!
> You seem to have a failure to understand the difference between a case
> and in general.
No, I don't! The failure in understanding all yours.
> >> So, you don't understand how induction can be used to prove something in
> >> a finite number of steps about an infinite set?
> > Oh, I think I understand just fine!
> >
> > Inductive/recursive proofs don't halt.
> > Co-inductive/co-recursive proofs halt.
> >
> No, at least the definitions I work with, and "Inductive Proof" has two
> steps.
>
> 1) Prove that the thing is true for a starting case N.
>
> 2) Prove that if it is true for case n, for every n >= N, that it is
> true for case n+1.
> Then, but the induction proof, it has been proved true for ALL n >= N
So you are going to "give up" after only one step ?!?!? Didn't you just say that's "incorrect"?
🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣🤣
Olcott's proof is inductive.
He shows a function call at Time t=0 (N)
He shows a duplicate function call at Time t=1 (N+1)
This proves that the function loops/recurses for ALL n >= N
You said that's "incorrect". But now that's "correct".
Why are you disagreeing with yourself?
> >> I am not writing "Programs", I am talking about PROOF,
> > PROOFS ARE PROGRAMS. Two different words for the exact same Mathematical object.
> Nope, you misusing the terms, showing your ignorance.
Accusation in a mirror.
I think it's become pretty clear who the ignorant idiot in this conversation is.
> > So you are talking about the same thing using two different names.
> >
> >> Because D isn't built to contradict me.
> > D is built to contradict its appointed halt-decider.
> >
> > If YOU are the appointed halt decider (and not H) then D is built to contradict YOU (and not H).
> Right, but it wasn't.
> > If D doesn't contradict you - then you are not the halt-decider for D.
> I am not the APPOINTED Halt Decider that it is proving incorrect.
Then obviously you will ALWAYS get the wrong answer!!!
If D only contradicts H, but it doesn't contradict YOU then D is non-deterministic!!!
Nobody gives a shit what D does from your perspective.
We want to know what D does from H's perspective.
> I can still be able to decide on D. D has no magical power that keeps
> otehr deciders from being able to decide it, it specificaly makes it so
> that its appointed decider will be wrong about it.
So you are openly admitting that you are wrong about D ?
> You seem to have your definitions mixed up.
You seem to have your "you" mixed up. You should have said "I seem to have my definitions mixed up".
You really are incompetent at identity. Equality. Same thing.
> > Proofs. Programs. Logic. Same thing.
> Nope, as proven by logic.
See! You are even confused when to say 'Nope' and when to say 'I agree'.
> > If you have any broader and more comprehensive notion/conceptions of "proof" - by all means. Share it with us.
> A proof is just a sequence of know true statements, combined by known
> true operations, that result in showing that desired statement is true.
You are describing a program....
> >> I didn't say I was using a program, I used a PROOF, using the knowledge
> >> of the construction of D.
> > Proofs ARE programs. Different words for the same construct!
> Nope, shows you don't understand the meaning of the words.
Then why did you just describe a proof as "sequence of know true statements, combined by known true operations"
That's a program, you know.
> Thats YOU, who doesn't know the DIFFERENCE between a program and a proof.
Of course I know the difference. I know that there is no difference.
> That just shows that programs are not proofs. BY DEFINITION, since a
> program can say that 2+2=5 is True, and we know that it is not, then
> programs are not proofs.
You are contradicting yourself. You said that applying the rules to the inputs produces the result that it produces!
If we apply the rules of +(p,q) to the inputs p=2; q=2 and those rules produce the answer 5 then what are you disagreeing with ?!?!
> Yep, that is your problem, you are working in a logic system that has no
> knowledge, and thus can't actually determine anything.
See! You are mixing up your "you" again! YOUR logic system has no knowledge either.
Logic contains no knowledge. Knowledge is an input to logic.
> >> When I can actually prove them. Everything actually Proven is True.
> > What nonsense. Everything that's Proven is Proven. Be it proven true; or proven false; or proven a Boolean. Or proven a Number. Or proven Halting.
> No, that which is proven is proven true.
That's a conceptual error. Why are conflating provability and truth?
>The statement proven might be a statement that some other statement is false, in which case that other statement is shown to be false, or DISPROVEN.
I don't know how else to say it to you... You are not smart. And I am starting to suspect that you may actually be quite stupid.
We prove that 2+2 is 4.
We don't prove that 2+2 is true.
> > Which is exactly what Olcott's H does. Yet you disagreed with it.
> No, Olcott's program aborts its simulation of the program before it gets
> to the end before it gets to the end, because that is how it has been
> programmed.
Obviously! Because it does a proof by induction! You abort after N and N+1!
Are you disagreeing with yourself again? Are you now saying that we have to do N+2, and N+3, and N+4... ad infinitum?
> Run his program and see what it does.
I did. It does a proof by induction.
It proves that the function gets called with some parameters at time N
It proves that the function gets called with the same parameters at time N+1
This inductively proves a loop.
The only possible reason you could be disagreeing with Olcott if you believed that his inductive proof is insufficient. But you are peddling an inductive proof yourself.
So why are you disagreeing?
> > I am NOT taking the answers out of context. So it must be you who's being deceptive.
> Then why is the statement I was answerering, the CONTEXT of the
> statement, no longer there.
Because I deleted the instance of it in this particular reply. But the CONTEXT is still there because the entire history of the conversation is still there.
> That shows you have taken it out of context, and thus proves you are a
> liar (or just totally stupid).
Q.E.D You are confusing your "you" again.
> > Oh, so you didn't abort the program after N steps? You ran it for infinitely-many steps?
> No, it reaches it final state in a finite number of steps.
Obviously! ALL proofs by induction do that! Because proofs by induction only perform TWO steps.
Proof for N.
Proof for N+1
Your intellectual dishonesty and double standards are really starting to shine.
You want your inductive proofs to be finite, but you want Olcott's inductive proofs to be infinite.
> Since his H DOES abort its simulation, because it INCORRECTLY thinks
> that the program will run forever
Why is the thinking "incorrect"?!?! It's proven by induction that the program will run forever.
>and returns that answer, it makes the actual program halting and halts in a finite number of steps.
Yes. Because it's proof by induction.
> It Halts BECAUSE H makes that mistake.
It Halts BECAUSE H completed its proof by induction.
Why is the proof by induction "mistaken"?!?
> > What sort of "inspection" are YOU performing that you can't give us programmatically - in source code ?!?!
> Can YOU provide the source code of the program you are using to make you
> statements?
Of course I can. But they would be useless to you - you don't have access to my runtime.
> This just proves the error in your concept that all proofs are just programs.
Looks like your "proof" is wrong.
> > What is it that you think you can "see" that H cannot "see" !?!?!
> The problem is that "Programs" can't actually think, but just process.
Thinking. Processing information.
Potato/potatoh.
> There process is defined when the program is created. P is defined to
> use that processing of H to make sure that H's processing can't give the
> correct answer.
It seems you have yourself a conflict of definitions.
P is defined to prevent H from getting the correct answer.
H is defined to always get the correct answer.
Which definition is "right"? Hint: Whichever definition you choose as authoritative.
> The concept of giving "will" to programs is incorrect.
That sure seems like a double standard..
Why is the concept of giving "will" to minds correct; but the concept of giving "will" to programs incorrect.
Sure seems to me you think your mind is special.
> > EXACTLY like Olcott is doing?!?
> Except that since the input is based to confound me, I can get the right
> answer.
Hahahahaha. So you do think you are special! You can get the right answer but H can't.
Why is it then that you can't explain to your computer how to get the right answer also?
If you know how - program your computer to do exactly the same thing you are doing.
> Note, we are "step tracing" the INPUT to H(P,P) which is P(P), and
> noting that the H that P calls makes a decision based on incorrect
> rules, and we the see that it reaches the end.
So correct the rule. You know how, right?
> > HOW DO YOU KNOW that H gave you an "incorrect" answer?
> > HOW did you obtain the "correct" one
> I have told you but you are obviously too stupid to understand.
Yeah. I must be "too stupid" to understand how you keep making decisions that you can't explain to a computer.
> I ran P(P) and it halted, this it is proven to be a Halting Computation.
> Since H says P(P) is non-halting, it is wrong,
This is not valid critique. You simply waited longer.
Why did you keep waiting for P to halt when an inductive proof told you that P won't halt?!?
> And you are proven STUPID.
Yes, you are. Your inductive proof told you that P won't halt, but you kept waiting anyway.
Seems to me you don't believe your own proofs.
> > Without the a priori knowledge of WHICH answer is "correct"; and WHICH answer is "incorrect" you can't possibly decide that H is correct; or incorrect.
> Why do I need a priori knowledge? I can determine it after the fact, and in fact, that is part of the logic of the proof.
What do you mean by "after the fact" when you speak of a non-terminating program?!?!?
It sure sounds like you are looking past the end of infinity somehow.
> > So WHERE did you get the knowledge from if not H?
> By looking at the program that it is deciding on, which depends on what H does.
I don't understand. Both you and H have access to EXACTLY THE SAME information!
You have access to P and H's source code.
H has access to P and its own source code.
What is it that you can "see" in the source code that H cannot ?!?
> >> LOGIC.
> > WHICH ONE?
> >
> The CORRECT ONE.
So you've been committing the petitio principii fallacy all along?
Because you still haven't produced a method/process for deciding what makes a logic "correct".
> >> LOGIC.
> > WHICH ONE?
> Obviously not yours.
It's weird how you can't give a particular answer. Isn't it?