我要用数学机械化来征服世界。工业革命解放了生产力，因为机械化解放了体力劳动。数学是一种脑力劳动，，我希望数学机械化能让重复性的脑力劳动得到解放，让人们去做更多创造性的工作。

　　人物百科

　　吴文俊（1919-），男，是中国著名的数学家。毕业于交通大学（今上海交通大学、西安交通大学），1949年在法国斯特拉斯堡大学取得博士学位。在拓扑学的示性类和示嵌类、数学机械化等领域中作出了重要贡献，后者得益于他对中国数学史的研究。这是近代数学史上的第一个中国原创的领域，被国际上称为“吴方法”。