4 ms·

What do you image a constructive proof looking like?

• lisper 7y ago
  It would look like an algorithm that solves an NP-complete problem in polynomial time. (Isn't that obvious?)
  • sidusknight 7y ago
    Sure. And why does that seem any more feasible than a non-constructive proof?
    • lisper 7y ago
      I don't know. Why is the moon plaid?