机械化数学的典范——评吴文俊的专著《几何定理机器证明的基本原理》

被引：1

作者：

王东明

高小山

机构：

[1] 中国科学院系统科学研究所

来源：

关键词：

几何定理机器证明; 基本原理; 吴文俊; 公理体系; 数学; 专著;

D O I：

10.16418/j.issn.1000-3045.1987.04.016

中图分类号：

学科分类号：

摘要：

<正>1899年希尔伯特(Hilbert)出版了他的经典名著《几何基础》,从此奠定了几何公理化体系的基础。1984年科学出版社出版的吴文俊的专著《几何定理机器证明的基本原理》(以下简称《原理》)一书,可以说是奠定了几何机械化体系的基础。它可以与《几何基础》媲美,成为机械化数学的典范著作。

引用

页码：376 / 378

页数：3