In this short expository note, we give a detailed proof of Markov's theorem on the unsolvability of the homeomorphism problem and of the existence of unrecognizable manifolds in all dimensions larger than 3.

翻译：在这篇简短的说明性笔记中，我们给出了关于同胚问题不可解性的马尔可夫定理的详细证明，并证明了在所有大于3的维度中存在不可识别的流形。