数学家

footnotes

注脚

而且也是后来所谓的唯心主义或一直到20世纪的实证主义的基础.Whitehead是一个数学家和神秘主义者的奇怪混合型人物(也许应当称之为毕达哥拉斯学派人物),他曾经说过:"对欧洲哲学传统最保碱的一般描述是,它存在于对柏拉图的一连串注脚(footnotes)之中".毫无疑问,这话如果是真的,

forcing

力迫法

1963年美国数学家保罗.柯恩以力迫法(forcing)证明连续统假设不能由ZFC推导. 也就是说,连续统假设成立与否无法由ZFC确定. 第二题 算术公理之兼容性(Consistency) 已解决. 库尔特.哥德尔在1930年证明了哥德尔不完备定理.

four color problem

四色问题

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

Gallio

加利奥

数学家不必因将来会对其不公而煞有介事地忧心仲忡.不朽通常很荒唐,也很残酷:我们中很少有人愿意选 择做奥格 (Og)③,安厄尼厄斯(Ananias)④,加利奥(Gallio)⑤.甚至于在数学界,

garret

加勒特

1908年,伯克霍夫和M.格拉费(Grafius)小姐结婚,她是一位有名的贤妻良母.伯克霍夫一生的成就在很大程度上依赖于夫人对他事业的理解和鼓励,他们的儿子加勒特(Garret)后来也成为著名的数学家.芝加哥的E.H.穆尔(Moore)教授和哈佛的M.博歇教授都是伯克霍夫的良师.但是,

googolplex

古戈尔普勒克斯

随后,另一个数学家发明了古戈尔普勒克斯(googolplex),这个词指的是10的古戈尔(googol)次方,即1后面有10的100次方个0. Frank Pilhofer坚定的认为,根据摩尔定律,试图在接下来的524年里打印出1个googolplex是没有意义的,

Algebraic Graph Theory

代数图论

数学家们几十年前开始就看到了这一点,并且开创了数学上一个重要的分支--代数图论(Algebraic Graph Theory). 代数图论通过图的矩阵表达来研究图. 熟悉线性代数的朋友知道,代数中一个很重要的概念叫做"谱"(Spectrum).

graph

图

这个表达,很直接,但是非常重要,因为它把数学上两个非常根本的概念联系在一起:"图"(Graph)和"矩阵"(Matrix). 矩阵是代数学中最重要的概念,给了图一个矩阵表达,就建立了用代数方法研究图的途径. 数学家们几十年前开始就看到了这一点,

graphotype

白垩版

cowheel 炖蹄筋 | graphotype 白垩版 | Euclidian (古希腊数学家)欧几里得的, 欧几里得几何学的

Grimm Brothers

格林兄弟

"因此,"康德认为最早的数学家的发现似乎是"(同上):因为'revolution'是一个从法文来的(最早是从拉丁文产生)词,所以格林兄弟(Grimm brothers)著名的>未曾收入(R卷出版于1893年),这使得学者们追溯德国著作家们从中世纪一直到最近使用几乎所有主要语词的方式.

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

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

glycol monoacetate：乙二醇一乙酸酯

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