Many theorems let you know that something exists but don't tell you how to compute it efficiently (an orthogonal basis, eigenvalues, inverses, etc.) Also, some

Many theorems let you know that something exists but don't tell you how to compute it efficiently (an orthogonal basis, eigenvalues, inverses, etc.) Also, sometimes algorithms can be invented and empirically shown to have good complexity properties before there are proofs.