In 1960, Markov obtained fundamental results showing that the classification of four-dimensional manifolds is undecidable: no general algorithm exists for distinguishing two arbitrary manifolds with four or more dimensions.
في عام 1960، حصل ماركوف على نتائج أساسية تبين أن تصنيف المشعبات رباعية- الأبعادغير قابل للتكهن ( لا توجد خوارزمية عامة للتمييز بين مشعبتين عشوائيتين بأربعة أبعاد أو أكثر).