%0 Journal Article
%T 初等微分几何的机械化证明
%A 吴文俊
%J 科学通报
%D 1978
%I 
%X 定理证明是数学逻辑推理表现形式的主要环节。它依赖于人脑的主观活动,由于它的规律性没有被充分认识而变得十分困难,以致数学家们的绝大部份精力时间往往都消耗在这上面。现代数学中数理逻辑的发展,已经指出逻辑推理可成为犹如数值计算那样有确切规律可
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=3B39E1F2D41E6EB6&yid=EA437CDB73D9759D&vid=EA389574707BDED3&iid=9CF7A0430CBB2DFD&sid=C81D738643975BB0&eid=C81D738643975BB0&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0