Se estudiará el reconocimiento algorítmico de variedades, tanto en su aspecto teórico como práctico. Específicamente, analizaremos detenidamente el resultado de P.S. Novikov sobre la imposibilidad de reconocer las n-esferas, para n > 4, junto con el algoritmo de J.H. Rubistein y A. Thompson, para el reconocimiento de la 3-esfera.