1977年北京深冬,中國科學院數學所的孤燈亮至深夜,58歲的他伏案疾書,鋼筆沙沙作響,忽然呢喃:“這個證明該讓機器完成” 。此前研究《九章算術》時,他被古代智慧震撼,從三國趙爽失傳、僅留只言片語的“日高圖”碎片中,硬是復原出古老證明。1975年他提出“數學機械化”理論,卻有人質疑“為何不用外國數理邏輯”,他堅定回應“外國人不搞的我偏做”。1979年赴美后,他用國家特批的2 萬美元買先進計算機,千度近視仍艱難學編程。如今,他的理論助力無人機算法,0.1秒就能完成舊時數小時的證明。
由中國科學家博物館推出的系列短視頻《科學家相冊》,生動呈現中國科學家的感人故事,本期讓我們一同聆聽這位活到老學到老的數學家的故事。
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.