Andrey Markov Jr. showed in 1960 that no algorithm exists for classifying four-dimensional manifolds.
Ο Andrey Markov Jr. έδειξε το 1960 ότι δεν υπάρχει αλγόριθμος για την κατάταξη των τετραδιάστατων πολλαπλοτήτων.