证明是

authentication

权限

其实就是证明你对这个系统(你家)有信息访问的权限(Authentication),证明了你是一个合法身份的人,换句话说,这把钥匙就是象征着你的身份是资料的Owner,所以你家这个系统才授权(Authorization)你访问这个系统,所以Authentication是针对的是Identity,

Believe

信任

与BAN逻辑不同的是,它不是研究协议中的"信任"(Believe)关系,而是研究"可证明"(CanProve)的关系. "证明"又分两种"强证明"(A CanProve x,即A可以证明x)和"弱证明" (A CanProve x to B,即A可以向B证明x,这里B为某个特定的对象或主机).

Done

完成了

柯朗之说数学归纳法是以一种特别的方式证明关于无穷的命题,是否因为这里不是直接地、一步到位地完成了(done)对无穷命题的证明,只是潜在地证明无穷的结论呢?

four color problem

四色问题

Kepler's Conjecture的证明概念跟组合问题中的名题:四色问题(four color problem)些许雷同,都是使用到电脑来证明,而非传统的古典分析方式(如:威尔斯证明费法最后定理的方式);这类的证明方式常被分析学派的数学家批评,因为实在...不怎麼漂亮!

generating

产生

认证是产生(generating)、传 递(transmitting)和核实(verifying)这些证明的过程,这样(它们)断言了身份标识. 认证身份标识是存在于证明中的名字(name). 存在许多认证证明的形式--使用的形式依赖于通过双方协商的特定认证机制.

gravitational force

吸引力

但是爱因斯坦发现相对论以后,却说因为有地心吸引力(Gravitational Force)等的影响,光线会弯曲,而不一定是直的. 爱因斯坦发表了这个理论后,有些人不能接受,因为他是用数学证明出来的. 但是后来通过观察星辰的运转证明了他的理论是对的.

marine insurance policy

单

海上运输保险单(Marine Insurance Policy)简称保险单,它是保险人已接受保险的正式凭证,也是保险人和被保险人之间订立契约的证明. 保险单是国际贸易中必不可少的货运单据之一. 双方保险契约的证明,被保险人索赔和保险公司理赔的依据之一.

Background Investigation

背景调查

背景调查(Background Investigation) 什么是背景调查 背景调查是指通过从外部求职者提供的证明人或以前工作的单位那里搜集资料,来核实求职者的个人资料的行为,是一种能直接证明求职者情况的有效方法.

transcendental number

超越数

如果有的话就叫这种数为超越数(Transcendental number). 在康托同时的数学家曾花许多气力证明超越数的存在. 如法国数学家柳维尔(Li-ouville)证明下面这个数:是超越数,厄米特(Hermite)证明圆周率π也是超越数. 一般判断一个数是否是超越数是非常困难的问题.

Federal Communications Commission

联邦通信委员会

美国司法部负责监管IBM,联邦通信委员会(Federal Communications Commission)负责监管AT&T. 实际上,华盛顿官员每年都在召开听证会,决定哪个部门监管哪个行业:电脑业还是通信业. 不过这种僵硬死板的划分,最后被证明是愚蠢可笑的:互联网很快就把电脑与通信融合,

antiquated law：兩- 過時的法例

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

permutable：可排列

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