We introduce an approach to certain geometric variational problems based on the use of the algorithmic unrecognizability of the n-dimensional sphere for n 2 5 . Sometimes this approach allows one to prove the existence of infinitely many solutions of a considered variational problem. This recursion-theoretic approach is applied in this paper to a class of functionals on the space of C1,'-smooth hypersurfaces diffeomorphic to S" in R"", where n is any fixed number 2 5. The simplest of these functionals K?) is defined by the formula K&") = (vol(Z"))l/"/r(Y'). where r ( P ) denotes the radius of injectivity of the normal exponential map for Z" C R"". We prove the existence of an infinite set of distinct locally minimal values of K~ on the space of C'.'-smooth topological hyperspheres in Rn+l for any n 2 5.The functional K?, naturally arises when one attempts to generalize knot theory in order to deal with embeddings and isotopies of "thick' circles and, more generally, "thick" spheres into Euclidean spaces. We introduce the notion of knot "with thick rope" types. The theory of knot "with thick rope" types turns out to be quite different from the classical knot theory because of the following result: There exists an infinite set of non-trivial knot "with thick rope" types in codimension one for every dimension greater than or equal to five. In this paper we start an investigation of (generalized) knots "with thick ropes." Let k C R3 be a knot. If x 5 r(k) (i.e., there exists a non-selfintersecting tube of radius x around k), then we can regard k as an axis of a knot with the rope of thickness x . Since rescalings do not change the shape of knots from any intuitive point of view, we consider length(k)/r(k) (i.e., K & ) ) as an invariant of the knot. We say that two knots kl and kZ have the same knot "with thick rope" x-type if there exists an isotopy between kl and k2 passing only through knots k such that K&) 5 x .These definitions can be straightforwardly generalized for the case of greater dimensions/codimensions.One of the main results of this paper is that the theory of (generalized) knot "with thick rope" types differs drastically from the usual theory of multidimensional knots. Namely, for any n L 5 there exists an infinite increasing sequence x; such that I ) lim;++x x; = +GO; 2) For any x; there exists a non-trivial knot "with