Thurston区分了‘形式证明’和‘数学理解’：前者是写在纸上的逻辑链条，后者是数学家头脑中可迁移、可解释、可继续发展的知识结构。