证明是

quadratic form

二次型

他证明了二任何形如4k+1的素数均可表为两个整数的平方和.二元二次型的理论是由J'L肠脚列罗及C.F.Ga让粥完成的.二元二次型理论是n个变量的二次型理论的特殊情形;它的算术理论等价于二次域的理想论,是代数数论的渊源之一(见二次型(quadratic form);二次域(quad

tabula rasa

白板

洛克(John Locke, -70年)说:"由我们获得知识的方式看来,足以证明知识不是天赋的".洛克的这种针对"天赋观念"论的"白板"(tabula rasa)论学说表明,人类的知识都是以经验为基础的,而且归根到底都是从经验中来的.

Seven sages

七贤

古希腊的七贤(seven sages)之一,就提出过把正义归结各得其所(give to each his own)为这种著名的表述. 该定义为许多卓越的哲学家尤其是法哲学家所接受. 不难证明,这也是一种空洞的合式,因为关键问题在于,各得其所究竟是什么,

sauce

酱油

"就跟>(CavalleriaRusticana)的第一个词一样①?"我母亲问道,大概是要证明她虽然没有大学毕业资格,可还是有相当文化修养的. ①本句中"豆子"(beans)还有个意思是"申斥";"辣酱油"(sauce)还有个意思是"顶撞".

self-evident

自明的

在这里,"自明的(Self evident)"一词,是基督教文化中的惯用语,其意义,就如加里?阿莫斯(Gary Aamos)说:它是指"无需证明,借着上帝的直接启示,通过直觉来认识的真理. 该词设定,人是按照上帝的形象造的,并对人的理性设定某些信念.

tissue

组织

他虽未曾借助于显微镜,但是能够证明,每一器官是由不同类型的"组织"所构成的("组织"(tissue)一词是他创用的,因为它们一般是扁而纤细的薄层). 而且,不同的器官可具有一些共同的组织. 他证实了总共二十一种类型的组织,

tractrix

曳物线

伪球面是由曳物线(tractrix)绕其渐近线旋转而形成的回转曲面. 这种曲面的全曲率在每一点都是常数且是负的. 位於此曲面上的直线与平行公设不一致,因而构造这种曲面的可能性为非欧几何学提供了相对相容性的证明.

Alcippe variegaticeps

金额雀鹛

在这样的一群中,我们看到了3只金额雀鹛(Alcippe variegaticeps) , 它们是与四川山鹧鸪共栖的雀鹛类中高度渐危种. 这是一个重要的冬季记录,它证明这些鸟类都是这片阔叶林的居民,并且像四川山鹧鸪一样,全部依靠这一区域的阔叶森林生存.

amban

大臣

证明西藏的历史自始自终都是与中国紧密的联系在一起的,西藏的历史很多都是由中国的历史文献记载下来的,尽管关系有过分离聚合,但中国长期以来都是西藏的宗主国(suzerain),并且清朝时已经在西藏设立了驻藏大臣(amban),西藏的噶厦政府(

liveness

活性

在计算机系统,特别是分布式系统的各类问题中,活性(Liveness)与安全性(Safety)往往是评价某种解决方案的关键因素,这类似于数值计算问题中的正确性,通常是不能含糊的,有必要做形式化证明.

antiquated law：兩- 過時的法例

anti-fraud 兩- 打擊欺詐 港- 打擊詐騙 台- 制止背信 | antiquated law 兩- 過時的法例 | anti-trust 兩- 反托拉斯;反壟斷 台- 反托拉斯;反獨佔;反壟斷

permutable：可排列

permutability 转置性 可置换性 换排性 | permutable 可排列 | permutate 重排列