定理的

awry

扭曲的,走样的

awl [钻皮革的]尖钻 | awry 扭曲的,走样的. | axiom 公理,定理

bumper

防撞器

后端的防撞器(bumper)以下的部分剪掉,在后轮的后面留下一个大缺口,这会产生某种形式的地面效应. 当然,后防撞器的形状必须保持完整,这也是定理的一部分. 对于房车(touring car)来说,办法就是剪掉车壳的后防撞器以下的整个部分.

forcing

强迫

简介: 出版於1966年,这些从史丹福大学的一个教程中取出的讲义使得Cohen的证明连续统假设的独立性的突破性工作得以为一般的数学工作者所知. 在证明这个定理的时候,Cohen引入了强迫(forcing)的概念,它导致了公理化集合论中的很多其他重要结果.

four color problem

四色问题

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

Frey

弗雷

Sarrland)弗雷(Frey)的想法为起点,就是利用椭圆曲线可能是解决费玛最后定理的契机. 椭圆曲线可以是对一个变数是二次多项式,另一变数是三次多项式的解集合. 譬如y2=x3+1,塔尼雅玛-威尔猜想(Taniyama-Wiel conjecture)每一个椭圆曲线都有一组对应的特定解析函数.

Godel incompleteness theorem

哥德尔不完全性定理

这就决定了"实无限"观总是用"有限性"的"方法"去处理、对待一个"无限性"的客体,从而带来一个又一个更大、更坏的"矛盾",比如说下文将阐述的"Cantor(康托)对角线法"、无限交换悖论,还有"最大基数悖论"、"最大序数悖论"和"哥德尔不完全性

inconsistent

矛盾的

在一个制式系统里,若由公理经推理规则之推导,可以导出互为矛盾的定理时,此系统称为矛盾的(inconsistent). 反之,若无以上之情形,则此系统称为一致的或是和谐的. 此条件是制式系统具有物理意义的基础. 制式系统的发勒甚早,可溯至欧氏几何.

Ramsey

拉姆塞

(Pateler)在总结事物祝辞时提出:正方形内切圆面积与正方形除去其内切圆后剩下的部分(四个角)面积比为78:22称为宇宙大法则.著名的"六人相识问题"(拉姆塞(Ramsey)定理的特征):物理、化学、工程乃至许多科学技术领域中的基本原理,

theorem

定理

阿里 史密斯的小说>则以保罗 帕索里尼1968年的电影>(Theorem)为基架,讲了一个60年代式的,大胆,离奇的后现代故事. 本届候选人中最高姿态的当属混血儿才女扎迪 史密斯了. 这位亚马家血统的女作家以24岁的年龄,

zero point theorem

零点定理

public accountant 会计师, 公众会计师 | zero point theorem 零点定理 | subsistence wage 维持最低生活水平的工资

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚