吴文俊论数学机械化

本书是一本比较通俗的写作的汇集，这些写作围绕着数学机械化这一主题，结合有关的史实研讨，反映了作者对整个数学的认识，作者思想的实质，以及作者对发展数学的主张与意图。