符号主义 1977年吴文俊(1919-)院士给出了一类 平面几何问题的机械化证明理论,在计 算机上证明了一大批平面几何定理 ·1984年科学出版社出版了他的《几何定 理机器证明的基本原理》一书,被称为 吴方法。8 符号主义 • 1977年吴文俊(1919- )院士给出了一类 平面几何问题的机械化证明理论，在计 算机上证明了一大批平面几何定理。 • 1984年科学出版社出版了他的《几何定 理机器证明的基本原理》一书，被称为 吴方法