[Someone]

You can see that computer science is an applied science. A mathematics professor would have given a proof that such an algorithm exists or, more likely, that algorithms exist for solving several more general problems, and left it at that.

[shoo]

And unless you were especially lucky, the existence proof would be non-constructive.

[eru]

I still hope, that somebody finds a non-constructive proof for P=NP.