1
$\begingroup$

I have found what I believe is a proof of related to an open problem in computer science. I've written it up in LaTeX, and I am looking for a way to get it evaluated. I know that cs.se/cstheory.se are not the appropriate forums to post this proof; what is the appropriate place to share my proof?

$\endgroup$

closed as off-topic by dkaeae, Evil, xskxzr, vonbrand, David Richerby Aug 9 at 14:54

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about computer science, within the scope defined in the help center." – Evil, xskxzr, vonbrand, David Richerby
If this question can be reworded to fit the rules in the help center, please edit the question.

  • $\begingroup$ That is what journals, conferences, and such are for. Find some way to put it before knowledgeable eyes. Perhaps summarize it here... $\endgroup$ – vonbrand Aug 7 at 14:44
  • $\begingroup$ Here's a link to the paper: philip-white-website.000webhostapp.com/proof.pdf $\endgroup$ – Philip White Aug 8 at 11:40
  • $\begingroup$ A three-page proof of independence of P=NP from ZFC is extremely unlikely to be correct. I'm not a set theorist, so I can't give more specific advice. I would suggest removing all claims that things are clear, can be proved in a similar way to something else, etc., and replace them with explicit proofs. That may reveal errors. Beyond that, this thread on Academia SE is a good place to start. $\endgroup$ – David Richerby Aug 9 at 14:54

Browse other questions tagged or ask your own question.