三思薦書丨《文逾九章：吳文俊》

書名：《文逾九章：吳文俊》

作者：紀志剛、李文林

出版社：上海交通大學出版社

出版時間：2024年12月

本書簡介

本書為中國編輯學會組編“中國科技之魂”叢書之一，是2024年中宣部主題出版重點出版物，并入選2024年度上海交通大學出版社人文社科類“十佳好書”。

本書按照吳文俊成長的時間節點，描述吳文俊的幼年成長、交大求學、負笈法國、回國報效、自主創新的生命歷程，重點敘述吳文俊一生的卓越追求與輝煌成就，特別突出吳文俊在拓撲學上的驚人成就、對中國古代數學研究的貢獻以及開創數學機械化之路的精彩歷程，力圖以故事細節還原吳文俊豐富的人生經歷、思想變化、科學態度和奉獻精神，同時輔以歷史圖片檔案和珍貴影像視頻，再現吳文俊的業余愛好、趣聞趣事和生命軌跡，勉力刻畫一位鮮活而又謙和的數學家形象。

序 言

人工智能是近年來的熱點話題，也正在顛覆我們的生活方式：大模型技術開始迅速應用于各個行業，并深度進入普通人的生活；機器人與人工智能的結合使得機器人的應用領域大幅拓展；多樣的生成式人工智能開始為越來越多人所知所用，所引發的相關爭議也說明了其極具沖擊性的影響力。人工智能的背后是數學機械化的廣泛應用，而吳文俊先生正是數學機械化的開創者。中國人工智能學會發起主辦的“吳文俊人工智能科學技術獎”被譽為中國智能科學技術最高獎，由此可見他的重要地位。

吳文俊先生是我們上海交通大學1940屆數學系的杰出校友。他和交大的緣分很深，開始得也很早。他的父親就畢業于南洋公學（交大前身），所以他從小就對交大有了比較深刻的認識。1936年，吳文俊以理學院第二名的成績考入交大，老師點燃了他的數學熱情，引領他走上了數學道路。畢業后，上海被日軍占領，找工作很難，交大的鄭太樸教授專程趕到他的家里，勸他去報考教育部的“中法交換生”，希望他繼續深造，最后他成功被錄取；他在交大結識的好友趙孟養把自己在交大上海臨時大學的助教職位讓給了他，自己賦閑在家，還把他介紹給了著名數學大師陳省身，他于是得以進入中央研究院數學所工作，從此開啟了人生的新篇章。吳文俊后來說：“如果沒有交大鄭太樸教授和大學同學趙孟養的指引和熱心推薦，如果沒有交大樸實無華的學風為我打下良好的數理基礎，我不會有今天的成績。每每回想起這一切我就會想到母校，想到我的恩師和我的同學。”

吳文俊先生對我校的感情非常深厚。在上海交大百年校慶的時候，他專程回到母校看望了老師，與同學們舉行了“科學觀與人生觀”座談會；2000年，他回來參加了數學系1940屆畢業60周年聯誼會；2001年，他又從百忙中回母校作學術報告。吳文俊說：“我很少回上海，但是，一旦回了上海我必須要做的一件事情"那就是回母校看看，然后去看望在我的事業中給我帶來極大幫助的趙孟養同學。我們之間的友情是非常深厚的。我們在一起常回想起大學時的情景，并可以從他那里了解一些母校的情況。”

能擁有吳文俊先生這樣的校友，交大感到非常榮幸，多年來也一直以吳文俊為豪，希望同學們以他為榜樣，學習他的精神，為學界、為國家做出自己的貢獻。我們從2019年開始實施“吳文俊人工智能榮譽博士班計劃”，該計劃以探索人工智能拔尖博士生培養模式，打造頂級博士生人才培養體系，培養具有寬闊視野、創新能力與社會責任感的人工智能領域領軍人才為目標，學生大部分來自985高校，包括中國科學技術大學少年班、上海交通大學計算機科學班等精英班級。我們閔行校區還有以吳文俊命名的文俊路，希望他的精神能一屆一屆地傳承下去。吳文俊先生身上有強烈的愛國情懷、嚴謹治學的探究精神、獎掖后學的育人精神，更有一種勇攀高峰、敢為人先的創新精神。他曾說：“外國人搞的我就不搞，外國人不搞的我就搞，這是我的基本原則。”受計算機與古代傳統數學的啟發，20世紀70年代后期，他開創了嶄新的數學機械化領域，提出了用計算機證明幾何定理的“吳方法”被認為是自動推理領域的先驅性工作。此后，他將這一理論應用于多個高技術領域，解決了曲面拼接、機構設計、計算機視覺、機器人等高技術領域核心問題，走出了完全是中國人自己開拓的新的數學道路，產生了巨大的國際影響，可以說是達到了一個科學家所能達到的最高境界。

創新精神是推動科學進步和技術發展的靈魂和核心動力，也是我們曾經最缺少、現在仍需高度重視的一種精神。現在，我國在科研方面雖然取得了許多世界矚目的成就，完成了眾多從前不敢想象的創舉，但在許多方面與世界領先水平仍有差距，獨創性成果還不夠多，需要更多像吳文俊院士一樣的國之棟梁。這本圖文并茂的書可以讓讀者跟隨吳文俊先生一生的軌跡，學習他的科學精神和奉獻精神，激發學生乃至教育者、研究者的愛國之情，從而為加快建設教育強國、科技強國、人才強國、文化強國等貢獻出自己的力量，推薦大家都讀一讀。

丁奎嶺

2024年12月12日

前 言

一位初中生因缺課，期末數學考試成績是“零分”，一位剛走上講臺的年輕老師，第一次講“負負得正”，講得一塌糊涂。他寫了一篇小論文請名家指點，得到的答復是“殺雞焉用牛刀”！

就是這位初中生，自創“三三制”學習方法，數學成績突飛猛進；也是這位中學老師，得到“高人指點”,負笈法國，在巴黎掀起了“拓撲地震”;在法國獲得博士學位后，他毅然回國，成為共和國第一代著名數學家；日后，他開拓了數學機械化的嶄新領域，獲得了共和國首屆國家科技進步獎，從國家主席手中接過紅燦燦的證書；后來，還被授予“人民科學家”的崇高稱號。

他，就是吳文俊！

吳文俊的成才之路，曲折坎坷，充滿了智慧的啟迪。在中學讀書的時候，他自悟了一套學習方法，到了大學升華成“三三制”學習方法，即“讀一學一懂”，特別強調“自學”，要“讀原著”“讀經典原著”“讀大師們的經典原著”！

吳文俊的成功之路，披荊斬棘，充滿了創新的啟示。20世紀70年代初，吳文俊從中國傳統數學中，領悟出中國傳統數學的“機械化、算法化、構造性”特點。正是在這個時代，他迷上了計算機，親自編寫程序，上機實習，他敏銳地意識到，“中國傳統數學+計算機”不正是可以開拓出“數學機械化”的嶄新領域嗎！

本書按照吳文俊成長的時間節點，描述吳文俊的幼年成長、交大求學、負笈法國、回國報效、自主創新的生命歷程，重點敘述吳文俊一生的卓越貢獻與輝煌成就，特別突出吳文俊在拓撲學上的驚人成就、對中國古代數學研究的貢獻以及開創數學機械化之路的精彩歷程，旨在以故事細節還原吳文俊豐富的人生經歷、思想變化、科學態度和奉獻精神，同時輔以歷史圖片，再現吳文俊的業余愛好、趣聞趣事和生命軌跡，勉力刻畫一位鮮活而又謙和的數學家的形象。

吳文俊的故事，是勵志的故事，催人振奮。

吳文俊的故事，是智者的故事，令人深省。

讀懂吳文俊，一定會幫助我們探討“賡續中華智慧、譜寫教育新篇、開創數學未來”的新道路。

紀志剛 李文林

2024年12月12日

目 錄

序幕 水鄉尋夢

第一篇 走在數學的大道上

第一章“正始”之始

第二章 交大情緣

第三章 大師引路

第二篇 巴黎的“拓撲地震”

第一章 斯特拉斯堡

第二章 塞納河畔

第三章 “拓撲地震”

第三篇 歸去來兮

第一章 從北大到數學所

第二章 拓撲學的新突破

第三章 敢問路在何方

第四篇 讓世界重新認識中國古代數學

第一章 誰是“顧今用”?

第二章 新方法·新認識·新思想

第三章 數學史的新時代

第五篇 邁向數學機械化

第一章 機器證明：美夢如何變成現實?

第二章“解方程”:為有源頭活水來

第三章 數學機械化：無盡的前沿

第六篇 在“絲路精神”的指引下

第一章 吳文俊的“狂想曲”

第二章 數學與天文絲路基金

第三章 絲路精神，光耀千秋

第七篇 吳心歸處是祖國

第一章 心中裝著中國數學

第二章“我們的隊伍向太陽”

尾聲 未曾遠去的背影

作者簡介

紀志剛

國際科學史研究院通訊院士，前中國數學史學會理事長，上海交通大學科學史與科學文化研究院教授。從事數學史、數學與文化、中外數學知識的交流與傳播等領域的研究。

李文林

中國科學院數學與系統科學研究院研究員、博士生導師，長期從事數學史研究與教育工作。曾任中國科學院數學研究所副所長、中國數學會秘書長及全國數學史學會理事長。

文章觀點不代表主辦機構立場。

◆ ◆ ◆

編輯郵箱：sciencepie@126.com