“我国在体力劳动机械化革命中曾掉了队，因此造成了现在的落后局面，在当前新的一场脑力劳动机械化的革命中，我们不能重蹈覆辙”。著名数学家吴文俊在他的题为《脑力劳动机械化与科学技术现代化》的演讲中，向科技工作者发出了这样的号召。
按照吴文俊的定义，用机器代替体力劳动作为人手的延伸可以称之为体力劳动的机械化，用某种设备代替脑力劳动作为人脑的延伸可以称为脑力劳动的机械化。他追溯了人类的科技史，指出，体力劳动的机械化起始于18世纪蒸汽机等的发明，而脑力劳动的机械化则由于20世纪40年代计算机的产生而逐渐为人们所认识。20世纪50年代以来，这方面的探索形成了人工智能这一新的学科。
吴文俊认为，最有资格实现机械化的，应推数学这种典型的脑力劳动，首先，数学是各种科学技术的基础，因之在需要机械化的各种脑力劳动中，数学有它的优先权与迫切性。其次，数学具有其他脑力劳动所不具有的严密、精确与简明等特点，因之从道理上说，数学的机械化比之其他种种脑力劳动的机械化，应该更为容易，更易于取得突破。
事实也确是如此，早在2000多年以前，中国的古代数学就已在数学领域实现了一定程度的机械化，直到现在，中小学教科书中的加减乘除，以至开方的计算，甚至是线性联立方程组的各种解法，都是可以依据确定步骤循序进行即可得到答案的，依据这种所谓算法编成程序，即可在计算机甚至是计算器上付诸实施，他认为，有着几千年历史的中国古代数学，可以说是一种算法的科学，也就是一种计算机科学。
吴文俊认为，几何定理证明机械化的真正含义是，它使这一类美妙定理的证明甚至发现都已成为简单不足道之事。因而它使人们可以从这种虽美妙诱人但已无足轻重的脑力劳动中脱卸出来，而把他们的聪明才智致力于更重要更有意义但还没有解决办法或还没有找到机械化途径的脑力劳动上去。
吴文俊阐述了数学与现实世界的关系。他说，数学研究现实世界中的数与形，由于数与形无处不在，因而数学研究所得的各种理论与方法，通过数与形而与现实世界相联系，并自然而然地被渗透被应用于各种类别的科学技术中去。
他强调，科学技术的现代化，离不开数学的现代化，而数学的现代化，在某种意义上也可以说是数学的机械化，数学机械化程度的提高，将促进科学技术现代化的程度，并由此促进生产力的提高。他认为，数学是一种典型的脑力劳动，它的机械化有着许多其他类型脑力劳动所不及的有利条件，我国古代数学的辉煌，鼓舞着我们为实现数学的机械化，在某种意义上也可以说是真正的现代化而勇往直前。
 |
