3) Euclidean geometry system
欧几里德几何体系
1.
In the Hilbert axiom system it is just an axiom (contract Axiom),whereas in Euclidean geometry systems it is proved by sports intuitive,which was later proved to be a lot of criticism for being not strict.
本文讨论“边、角、边”定理,在希尔伯特公理体系中这是作为一条公理的(即合同公理),而在欧几里德几何体系中是用运动的直观来证明的,这样的证明后来受到很多非议,主要是说它不严格。
4) Europead
欧几里德
1.
Examination of the possible world in Europead s geometrical system based on pure deduction;
对欧几里德几何体系之可能世界的考察——以纯粹演绎的观点为基础
5) Euclid geometry
欧几里得几何
1.
Euclid geometry is the first system of Axiomatizing and non-Euclid geometry causes the strict examination to Euclid geometry.
欧几里得几何是第一个公理化体系,非欧几何的出现促使人们对它的基础作了严格审视,其中希尔伯特公理化方法最为成功;但它的相容性问题一直没有解决,集合论悖论使得这个问题更加尖锐。
补充资料：里德，H.H.
英国地质学家。1889年12月17日生于肯特郡惠特斯特布尔，卒于1970年 3月29日美国科罗拉多州的博尔德。1911年毕业于伦敦帝国理工学院地质学系，1924年获该院科学博士学位。早年在不列颠地质调查所工作。30年代后曾任利物浦大学地质学系主任，帝国理工学院地质系主任及代理院长，第18届国际地质大会主席等职。里德曾在苏格兰格兰扁高地、西北高地、设德兰群岛进行地质填图和调查研究。主要编制了7幅1:63360地质图。并在有关论文中提出了布羌式低压变质作用，阐述了奥长花岗质岩石与区域变质作用的关系，为了解释苏长质岩石成因而创立了混染作用一词。他研究了西北高地各类变质岩的系统岩类，发现了昂斯特岛三期变质作用的叠加，提供了多期变质作用的范例。1957年出版的《花岗岩的争辩》一书论述了花岗岩类形成的时间、空间问题,及其同变质作用的关系;提出了不同成因花岗岩的花岗岩系列的理论，引起了地质界的普遍重视。他退休后参加了北爱尔兰花岗岩的研究，促成了以W.S.毕彻尔为代表的新花岗岩学派的建立。他编有《矿物学》和《普通地质学》(1949)等教科书。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条