1.Previous
3.Next

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. This is because four-dimensional manifolds have sufficient flexibility to allow us to embed any algorithm within their structure. Hence, classifying all four-manifolds would imply a solution to Turing's halting problem.

1.Previous
3.Next