La science et l'hypothèse
《La science et l'hypothèse》 · 第 149 页 · Section 5.1，Exercise 5.1.10(c)（索引唯一指向；该小问完整给出定理陈述）
Prove Markov’s theorem that there exists no algorithm that can be applied to arbitrary pairs of closed, orientable 4-manifolds to determine whether or not they are diffeomorphic.