Let R be a left and right Noetherian ring. We introduce the notion of the torsionfree dimension of finitely generated R-modules. For any n 0, we prove that R is a Gorenstein ring with self-injective dimension at most n if and only if every finitely generated left R-module and every finitely generated right R-module have torsionfree dimension at most n, if and only if every finitely generated le...