tag:blogger.com,1999:blog-264226589944705290.post2166468610662993721..comments2022-08-07T01:05:01.413-07:00Comments on God Plays Dice: Universality theory for cranksMichael Lugohttp://www.blogger.com/profile/15671307315028242949noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-264226589944705290.post-69547392677845220972010-03-22T17:24:34.048-07:002010-03-22T17:24:34.048-07:00Approvingly your article helped me terribly much i...Approvingly your article helped me terribly much in my college assignment. Hats off to you post, choice look progressive in behalf of more interrelated articles soon as its one of my pick subject-matter to read.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-62438723622484714392009-01-30T08:35:00.000-08:002009-01-30T08:35:00.000-08:00I can't wait for my first opportunity to inform on...I can't wait for my first opportunity to inform one of the smug CS grad students here that their algorithm has a glemish.Mark Dominushttps://www.blogger.com/profile/17698641253266210249noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-48162498932659887612009-01-27T23:31:00.000-08:002009-01-27T23:31:00.000-08:00The "meta-" part of the meta-proof is this: while ...The "meta-" part of the meta-proof is this: while it is evidently extremely difficult to obtain a proof of P != NP (or for that matter, of P = NP), it is in practice easy to check whether or not an alleged proof is correct. This is in reference to the formulation of P as the set of "easily" solvable decision problems, and NP as the set of decision problems which have easily *verifiable* solutions.<BR/><BR/>The labels of the interlocutors also reveal this subtext. The labels P, P' refer to "prover", and V, V', V'', etc to "verifier", which are the idiomatic participants in "interactive proof systems" --- a common setting for describing protocols for verifying solutions to problems in NP. In complexity, a "prover" is considered to be computationally unbounded but, despite the positive sounding name, untrustworthy. It is the job of the the polynomial-time bounded "verifier" to keep the "prover" honest. <BR/><BR/>The "meta-proof" reads like the script from a play from a skit meant to illustrate, if not *why* P != NP, at least some ironic anecdotal evidence for it.AgainstWordshttps://www.blogger.com/profile/14682868442299622498noreply@blogger.com