书名：大宇之形（第一推动丛书·宇宙系列）
作者：丘成桐 史蒂夫·纳迪斯
译者：翁秉仁,赵学信
出版社：湖南科学技术出版社
出版时间：2018-09-01
ISBN：9787535794482
每当我以为终于把证明搞定时，
论证总会在最后一刻崩溃，
一次又一次重演，
令人愈发沮丧。
两周的煎熬下来，
我判断必定是我的推理出了差错。
唯一的办法是改弦易辙，
改从反方向进攻。
————丘成桐
一、攀登
数学证明有点像登山。第一步当然是需要找到值得攀登的山岳。试想象走到一片犹待探索的遥远蛮荒之地。单单要找到这样的所在就需要一点智慧，更不用说探知当地是否真有值得追寻之物。然后，登山者要设计攻顶的策略，他的计划至少在纸面上看来必须是完美的。等到筹集好必需的工具和装备，并且娴熟应有的技巧之后，登山者开始向上攀登了，但却可能因种种意外的困难而受阻。然而后来者踵继前人的足迹，运用更成功的策略，同时也试探不同的路径，因此又达到了新的高度。最后，总会有人不仅拟出了避开过去种种缺陷的完善计划，同时还具备决心和毅力，而终能登上山顶，或许还插上一面旗子作为标记。
做数学不必冒那么大的生命和肢体风险，探险历程在旁人看来也没那么明显。而且在一个漫长的证明终于完成时，数学家也不会插上旗子，而是打上句点，顶多是加上注释，或是补充技术性的附录。然而在数学的领域里，追寻的过程同样也有悲喜苦乐；那些能对大自然深藏之奥秘提供新视野的人，仍会被飨以功勋。
