吴文俊
吴文俊(Wentsun WU)，男，1919年5月12日生于上海，1940年毕业于交通大学，1949年获法国国家博士学位。世界著名数学家， 中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一，现任中国科学院系统科学研究所名誉所长、研究员，中国科学院院士，第三世界科学院院士;曾任中国数学会理事长(1985-1987)，中国科学院数理学部主任(1992-1994)，全国政协委员、常委(1979-1998)。
他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响，有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。
曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科学技术奖(2000)、第三届邵逸夫数学奖(2006)。
吴文俊在数学上作出了许多重大的贡献。
◆ 拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。
◆ 数学机械化或机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。
◆ 中国数学史方面，吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法，最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解。
欧拉
欧拉是数学史上著名的数学家，他在数论、几何学、天文数学、微积分等好几个数学的分支领域中都取得了出色的成就。不过，这个大数学家在孩提时代却一点也不讨老师的喜欢，他是一个被学校除了名的小学生。
事情是因为星星而引起的。 当时，小欧拉在一个教会学校里读书。有一次，他向老师提问，天上有多少颗星星。老师是个神学的信徒，他不知道天上究竟有多少颗星，圣经上也没有回答过。其实，天上的星星数不清，是无限的。我们的肉眼可见的星星也有几千颗。这个老师不懂装懂，回答欧拉说：“天上有多少颗星星，这无关紧要，只要知道天上的星星是上帝镶嵌上去的就够了。” 欧拉感到很奇怪：“天那么大，那么高，地上没有扶梯，上帝是怎么把星星一颗一颗镶嵌到一在幕上的呢?上帝亲自把它们一颗一颗地放在天幕，他为什么忘记了星星的数目呢?上帝会不会太粗心了呢?” 他向老师提出了心中的疑问，老师又一次被问住了，涨红了脸，不知如何回答才好。老师的心中顿时升起一股怒气，这不仅是因为一个才上学的孩子向老师问出了这样的问题，使老师下不了台，更主要的是，老师把上帝看得高于一切。小欧拉居然责怪上帝为什么没有记住星星的数目，言外之意是对万能的上帝提出了怀疑。在老师的心目中，这可是个严重的问题。在欧拉的年代，对上帝是绝对不能怀疑的，人们只能做思想的奴隶，绝对不允许自由思考。小欧拉没有与教会、与上帝"保持一致"，老师就让他离开学校回家。但是，在小欧拉心中，上帝神圣的光环消失了。他想，上帝是个窝囊废，他怎么连天上的星星也记不住?他又想，上帝是个独裁者，连提出问题都成了罪。他又想，上帝也许是个别人编造出来的家伙，根本就不存在。
回家后无事，他就帮助爸爸放羊，成了一个牧童。他一面放羊，一面读书。他读的书中，有不少数学书。爸爸的羊群渐渐增多了，达到了100只。原来的羊圈有点小了，爸爸决定建造一个新的羊圈。他用尺量出了一块长方形的土地，长40米，宽15米，他一算，面积正好是600平方米，平均每一头羊占地6平方米。正打算动工的时候，他发现他的材料只够围100米的篱笆，不够用。若要围成长40米，宽15米的羊圈，其周长将是110米(15+15+40+40=110)，父亲感到很为难，若要按原计划建造，就要再添10米长的材料;要是缩小面积，每头羊的面积就会小于6平方米。小欧拉却向父亲说，不用缩小羊圈，也不用担心每头羊的领地会小于原来的计划。他有办法。父亲不相信小欧拉会有办法，听了没有理他。小欧拉急了，大声说，只有稍稍移动一下羊圈的桩子就行了。父亲听了直摇头，心想：“世界上哪有这样便宜的事情?”但是，小欧拉却坚持说，他一定能两全齐美。父亲终于同意让儿子试试看。小欧拉见父亲同意了，站起身来，跑到准备动工的羊圈旁。他以一个木桩为中心，将原来的40米边长截短，缩短到25米。父亲着急了，说：“那怎么成呢?那怎么成呢?这个羊圈太小了，太小了。”小欧拉也不回答，跑到另一条边上，将原来15米的边长延长，又增加了10米，变成了25米。经这样一改，原来计划中的羊圈变成了一个25米边长的正方形(25+25+25+25=100)。然后，小欧拉很自信地对爸爸说：“现在，篱笆也够了，面积也够了。”
父亲照着小欧拉设计的羊圈扎上了篱笆，100米长的篱笆真的够了，不多不少，全部用光。面积也足够了，而且还稍稍大了一些。父亲心里感到非常高兴。孩子比自己聪明，真会动脑筋，将来一定大有出息。
父亲感到，让这么聪明的孩子放羊实在是可惜了。后来，他想办法让小欧拉认识了一个大数学家伯努利。通过这位数学家的推荐，1720年，小欧拉成了巴塞尔大学的大学生。这一年，小欧拉13岁，是这所大学最年轻的大学生。
数学奇才——耐普尔
记得四大发明吗?它们是印度-阿拉伯记号，十进制小数，对数和计算机。其中的对数是十七世纪由耐普尔发明的。他1550年出生在苏格兰首府爱丁堡，从小喜欢数学和科学，以其天才的四个成果被载入数学史。其中的对数的发明使整个欧洲沸腾了。拉普拉斯认为“对数的发现以其节省劳力而延长了天文学家的寿命。”可以说对数的发现使现代化提前了至少二百年。下面我要给大家讲两个他的小故事：
一次，他宣称他的黑毛公鸡能为他证实：他的哪一个仆人偷了他的东西。仆人们被一个接一个地派进暗室，要他们拍公鸡的背，仆人们不知道耐普尔用烟黑涂了公鸡的背，自觉有罪的那个仆人，怕挨着那个公鸡，回来时手是净的。
还有一次耐普尔因他的邻居的鸽子吃他的粮食而感到烦脑。他恫吓道：如果他邻居不限制鸽子，让它们乱飞，他就要没收些鸽子。邻居认为他的鸽子是根本不可能被捉住的，就告诉耐普尔，如果他能捉住他们，尽管捉好了。第二天，邻居看到他的那些鸽子在耐普尔的草坪上蹒跚地走着，十分惊讶，耐普尔镇静自若地把它们装进一只大口袋。原来，耐普尔在他的草坪上各处撒了些用白兰地酒泡过的豌豆，使这些鸽子醉了。