http://bhudson.livejournal.com/ ([identity profile] bhudson.livejournal.com) wrote in [personal profile] gusl 2009-10-14 05:00 am (UTC)

Actually, it's not; it and factoring are the usual examples of problems in NP, not known to be in P, but not NP-complete. So you can solve isomorphism but you still won't be able to fire your theorem-proving mathematicians.
(34 comments)

Post a comment in response:

(will be screened)
(will be screened if not validated)
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.