Before revision:  These results provide basic foundations for Smale's 18th problem and imply a potentially vast, and crucial, classification theory describing conditions under which (stable) NNs with a given accuracy can be computed by an algorithm.
After revision:  These results imply a classification theory describing conditions under which (stable) NNs with a given accuracy can be computed by an algorithm.