寻数学之道——吴文俊 科学家相册
|
1977年深冬,中国科学院数学所的孤灯亮至深夜,58岁的他伏案疾书,钢笔沙沙做响,突然呢喃:“这个证明该让机械完成” 。此前研究《九章算术》时,他被古代聪慧震动,从三国赵爽失传、仅留只言片语的“日高图”碎片中,硬是回复复兴出陈旧证明。1975年他提出“数学机械化”理论,却有人质疑“为何不消外国数理逻辑”,他果断回应“外国人不搞的我偏做”。他用国度特批的2 万美元买先辈计较机,千度近视仍学编程。现在,0。1秒就能完成旧时数小时的证明。由中国科学家博物馆推出的系列短视频《科学家相册》,活泼呈现中国科学家的动人故事! |
