证明是

disprove

反证

此处提及 Popper 主要指涉的是他素朴的否证主义 (falsificationist) 立场(作为证明主义 (justificationist)的对立立场):理论是臆测的产物,科学无法证明 (prove) 理论,但却能反证 (disprove),即能基於经验事实以充分的逻辑确定

shipping documents

运输单据

运输单据(SHIPPING DOCUMENTS) 是指证明货物已装上运输工具,或已发运,或已由承运人接受监管的单据,是承运人与监管人之间运输契约的证明.如以可转让形式开立,它还具有物权凭证的效用,

aggregate excess demand function

总超额需求函数

生产函数是Cobb-Douglas.(1) 证明存在唯一的全局稳定的(globally stable)均衡.8.假设 个消费者,每个消费者 的消费集 ,偏好关系 是连续的,严格凸的、严格单调增加的(strongly monotone).假设 .证明总超额需求函数(aggregate excess demand function) 具有下列性质:10.假设在一个国家中有 个城市,

fallacy

谬论

逻辑学上,谬论(fallacy)是指可知的错误(demonstrably false)论证,亦即说不通的道理,或是会导致错误的想法. 通常要证明一件事情的对与错,除了做实验去证实或证明之外,亦可以用逻辑推理方式去推论而定对与错,而推理结果是错误的话,

implied

默示

首先,依据第9条的诉讼是法律直接规定的诉讼,而10b-5诉讼则是默示(Implied)诉讼,原告须满足美国普通法中关于默示(implied)诉讼的要求法院才会受理;其次,构成要件有所不同,9(a)要求证明被告有操纵目的,而10(b)要求证明被告有主观恶意,

incompleteness theorem

不完整定理

当代最著名之逻辑学家哥德尔(Godel)却以"不完整定理"(Incompleteness Theorem)(14,17)证明这根本是不可能的. 一切逻辑系统,不论多么复杂,都不可能导出所有定理,其本身必是"不完整". 此亦证明佛家所言,思惟辩证、言语文字,均无法描述实相.

mathematical induction

数学归纳法

数学归纳法(Mathematical Induction) 虽然是一个强有力的证明工具, 在使用上稍 ... 例题二: 某人想要用数学归纳法证明「平面上任意n 条直线, 若其中没有任何两条线互相 ...... 根据数学归纳法,当n为任意自然数时都成立,n可以到无限大,所以人力是无限大!

matroid

拟阵

证明图G可嵌入平面的充分必要条件是G具有对偶图G',从而给著名的K.库拉托夫斯基(Ku-ratowski)不可嵌入平面图的定理一个直接的组合证明.惠特尼在组合论方面的最大成就是他引进拟阵(matroid)理论,这是一种抽象的线性相关性理论,

naturalize

(歸化)

请回看British Nationality Act 1948关於CUKC at birth的定义,这不用登记(register)或归化(naturalize),正由於如此,马英九在香港出生,甫出娘胎便是英国国民,那何来登记或归化,他的出生证明文件便是国籍证明文件,我说的漏洞仍然客观存在.

Malo

马洛

1903年,马洛(Malo)证明:若n为伪素数,则<math>m=2^n-1</math>也是一个伪素数,从而肯定了伪素数的个数是无穷的. 1951年,皮格(Beeger)证明了存在无限多个偶伪素数.

antiquated law：兩- 過時的法例

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

permutable：可排列

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