top | item 19724335 (no title) sidusknight | 6 years ago What do you image a constructive proof looking like? discuss order hn newest lisper|6 years ago It would look like an algorithm that solves an NP-complete problem in polynomial time. (Isn't that obvious?) sidusknight|6 years ago Sure. And why does that seem any more feasible than a non-constructive proof? load replies (1)
lisper|6 years ago It would look like an algorithm that solves an NP-complete problem in polynomial time. (Isn't that obvious?) sidusknight|6 years ago Sure. And why does that seem any more feasible than a non-constructive proof? load replies (1)
sidusknight|6 years ago Sure. And why does that seem any more feasible than a non-constructive proof? load replies (1)
lisper|6 years ago
sidusknight|6 years ago