The abstract classification of high-dimensional manifolds is ineffective: given two manifolds (presented as CW complexes, for instance), there is no algorithm to determine if they are isomorphic.
Formally, classifying manifolds is classifying objects up to isomorphism.