可证明的

Albert

阿尔贝特

在证明中他们使用了类域论方面的重要定理--格伦瓦尔德定理. 这个猜想的证明,在当时的数学界是一件大事. 美国著名代数学家A.A.阿尔贝特(Albert)说:线性结合代数的理论,当决定所有有理可除代数的问题找到了解答的时候,也

bounded universal quantifier

有界全称量词

不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,

certification fee

核证费

certification 核证 | certification fee 核证费 | certified cheque 经银行证明可兑现的支票

determinism

决定论

"决定论"(determinism)是一个哲学概念,"一般而论,决定论主要是植基于因果律,但决定论心目中的因果律,不仅指每一结果必须有充分的原因(只以这层意义我仍可证明因果原理为普遍有效而必然),

Scatter diagram

点图

设计变革 时间第 1 件产品 采用 QFD 未采用 QFD QFD 可散点图(Scatter Diagram) 散点图用来研究两个变量之间可能的因果关系. 散点图并不能证明一个变量是另一个变量产生的原因,但它可以证明两个变量是否相关联以及相关的强弱.

disproportionate

不成比例

disproportionally 不相称地 | disproportionate 不成比例 | disprovable 可证明为误的

hydrangea

绣球

第二次,去年情人节送我一盆绣球(hydrangea)花,总忘记浇水,炎热夏天差不多被枯死,倒是被他妈精心培育后救活了. 所以昨天一堆花买回来,都是他在摆弄. 早上天气还好,下午就开始刮风下雨. 等天晴后,拍些照留念,之后也可证明之前和之后的差别.

matroid

拟阵

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

prolongation

延拓

用延拓(Prolongation)方法分析耦合色散方程的隐对称结构,给出了它的无限维李代数表示. 并从理论上导出了该系统的线性谱一般形式,从而证明了它是严格可解的. (共4页)

disproval

反证

disprovable 可证明为误的 | disproval 反证 | disprove 反驳

Jaycee：房祖名

房祖名(Jaycee)投资六位数字代理薄荷糖,前晚於中环某酒吧举行庆祝派对,成龙大哥现身撑爱子场,引起一阵混乱,可惜成龙大哥一到场即急步进场,之后又走后门离去,整晚显得十分低调.

basement complex：基盘岩群;基盘杂岩

"基盘","basement" | "基盘岩群;基盘杂岩","basement complex" | "基盘岩石","basement rock"