Comment Re:That won't work (Score 1) 44
I'm serious: I am interested in what leads you (and many others) to that conclusion, when, at least on the surface, it appears obviously partisan.
Our system goes a little further and we've had pretty good success with it: send them a link beforehand where they can enter the bug. Make the important fields required and don't accept bug reports any other way. Some of the users then just stop sending in bug reports and some fill things in with meaningless information, but generally the quality of the reports went way up.
The theorems suggest that Tautology is a good candidate for an interesting set not in [P] and I feel it is worth spending considerable effort trying to prove this conjecture. Such a proof would be a major breakthrough in complexity theory.
And thus Cook formulated what was soon to be called the P versus NP problem. The rest is history.
Here's the 1971 STOC Program (there were 143 attendees)and what that sacred ground looks like today.
Locks? What are those? Do you mean password protected? Yeah, I have that.
Torque is cheap.