反证法

apanage

属地

apagogical 反证法的 | apanage 属地 | aparejo 皮制荷鞍

reduction formula

归约公式

reductio ad absurdum 反证法; 归谬法 | reduction formula 归约公式 | reduction of forces 力的约化

inferential statistics

推断统计学

假设检验(hypothesis test)是推断统计学(inferential statistics)的基本方法之一,其基本思想是建立在"小概率事件原理"之上的概率性质的反证法. 依据该原理,小概率事件在一次实验中几乎是不可能发生的. 由此,可以先假定一个论断是正确的,

irrational

无理数

毕达哥拉斯学派证明了那个对角线长度确实"不可公度"(rational由 ratio派生而来,意为"可比". "不可公度"即不能表示成两个整数的比),这也就是"无理数"(irrational)这个名称的来源. 用反证法证明 √2(根号2)不可表示为两整数之比,你可以试一试.

reducible variety

可约簇

reducible topological space 可缩拓扑空间 | reducible variety 可约簇 | reductio ad absurdum 反证法

reducible

可约的;可化简的

reducibility 可约性; 可化简性 | reducible 可约的;可化简的 | reductio ad absurdum 反证法; 归谬法

reductio ad absurdum

歸謬法

这一由柏拉图所推崇的论证模式显然来源于苏格拉底的辩论方法以及芝诺热爱的"归于不可能"论证( reductio ad impossibile) , 也大概属于后来所谓的"归谬法" ( reductio ad absurdum) ①, 也往往称为反证法.

prolate trochoid

长 次摆线

prolate spheroid 长球面 | prolate trochoid 长 次摆线 | proof by contradiction 反证法

government issue

公债券发行, 国家证券发行

apagogical [逻]反证法的 | government issue 公债券发行, 国家证券发行 | ductility limit 流限

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;