Comment on There’s more to mathematics than rigour and proofs (2007)parentComments−l33t23284yThe results aren’t often nearly as useful as the techniques used to find them. For example, a completely opaque proof resolving P vs NP is completely useless to theoretical CS.
Comments
The results aren’t often nearly as useful as the techniques used to find them. For example, a completely opaque proof resolving P vs NP is completely useless to theoretical CS.