流水日记

一个月写了两篇,好像上完课之后生活变的更单调, 吃饭睡觉TA research, blog都没啥好写的

关注了好久的大选,来8g下这个好了

 

争取共和党提名的人里,有个经常语出惊人的Ron Paul, 尤其是他的反战主张

在这方面, 可以和他一比的有民主党的Dennis Kucinich, 左派的Kucinich几乎对所有和战争资助授权的提案投了反对票

虽然他已经退出了竞争,但是还是有几件事情值得八卦一下

 

某次辩论中,主持人问他为什么当年投票反对了Patriot Act, 他说"because I read it"

这句话被很多人认为是辩论里面最经典的回答

我觉得我们一些投过反对票的人大代表应该也可以理直气壮的这么说..

 

 

他的妻子比她小31岁,高很多,是个硕士毕业后在非洲和印度做了很久志愿者的英国人

2005年,他们第一次见面用了8分钟,第二次见面就决定结婚,三个月后举行了婚礼,两个人都说是一见钟情

有人在采访中问她如果成了第一夫人,会不会去掉舌钉, 她说我有这个已经十年了, 这是我的一部分

可惜Kicinich没啥戏,不然这个第一夫人还是挺拉风的

 

这是一个没有新意的故事, 不过即将高考的小朋友们可以拿来做参考事例…..

老八卦外国科学家, 今天写一下我们自己的牛人

 

进入正题之前先来个引子

万有引力常数是非常难测的, 实际上牛顿当时根本不知道这常数是多少

第一个测出这个数据的就是那位巨牛无比的实验宅男卡文迪许

他在18世纪末测出来的结果, 虽然在几乎一百年后才第一次被使用, 但是一直到20世纪, 还是公认数据

他用这个数据来估计地球的重量,和现在的估计值误差只有大约1%

 

这个著名的扭秤实验, 其实是一个没来得及在有生之年实现它的地质学家提出的

现在,这还是测G的主流方法, 而且, 据某学过物理的同学说, 他们学生实验作这个也不一定能搞到卡文迪许的精度.

(这个人不是at3p,虽然他知道的关于G的故事非常多…他本行)

引子长了点, 毕竟卡文迪许也是俺无比崇拜的牛人, 想当年申请的时候,就看Goettingen和Cavendish Lab的历史最有圣地的感觉…

 

正文短了点, 不过祖冲之的故事大家肯定都再熟悉不过了, 下面这个事实, 或许也有人记得

如果你和我一样忘掉了, 并且如果你看了卡文迪许的故事觉得牛逼的话, 现在可以和我一样拜神了:

祖冲之之后900多年, 才有别人能得到和他一样精确的圆周率近似!

 

可惜他的《缀术》失传了, 因为实在太难, 国子监的学生都学不懂, 所以没有得到流传..

导致的结果就是,现在没人知道他怎么得出3.1415926-3.1415927这个范围的.

最可能的方法是多边形近似, 可是, 如果多边形近似, 那需要上万边形, 考虑到古代有限的测量工具(其实不考虑也行), 小数点后七位听着简直就是个神话..

另一个谜就是355/113这个分数近似, 有人认为他可能是用数学的方法从小数推算的, 其他一些人更愿意相信, 这只有可能是通过运气达到…

 

祖冲之也是全才式的人物, 天文历法机械无不精通. 去世的时候终年72岁, 儿子很好的继承了父业,

在魏晋南北朝那个动荡不堪牛人朝不保夕的年代, 比起最终悲剧收场的名士们, 上天对这家天才还是不薄的.

 

参考:

 

起因是这样的, 明尼苏达的桥塌了

说来这个桥是去年开车走过的,加上坐车,我估计来回了不止一次, 也算是有了点历史记忆, 虽然和世贸中心或者新奥尔良不能比吧…

 

桥塌了之后,自然是铺天盖地的谴责,而所有的矛头几乎都对准了不得人心的伊拉克战争

其实我以前一直觉得美国人抱怨伊拉克战争多少有点得了便宜卖乖, 现在看来, 大家交的税钱, 拿去打了一仗, 军火商发了, 石油公司也赚得盆钵满盈

但是油价又没降,所以普通人的确是没得到啥好处, 不好好接受教育的弄不好还要去伊拉克送死, 所以自然愤懑了

 

提到伊拉克战争,那天cnn有个人是这么声讨的, 说美国最后的大规模基础建设已经是林登约翰逊时代的了, 然后就只有大炮和黄油了,现在呢,连黄油也没了..

于是好奇去看了看他的wiki, 发现一些好玩的八卦, 以下均来自wiki:

 

Lyndon Johnson was 6 feet 3 inches (190 cm) tall and weighed about 216 pounds (98 kg), the second tallest President, behind Abraham Lincoln at 6 feet 4 inches (193 cm) tall.  (最矮的Madison只有162cm)

 

Johnson was famously frugal. Even as President, White House tapes recorded him asking a photographer to take his family portraits for free, saying he was a very poor man living on a weekly paycheck and had a very great deal of financial debt. In fact Johnson was a multimillionaire, but he still wasn’t charged for the photographic portraits. The White House press corps made jokes at his expense regarding his habit of turning off all lights in the White House when the rooms were not in use. Johnson’s secretary revealed years later that he would wash and reuse Styrofoam cups. (太小农了,太小农了!)

 

Johnson, while using the White House bathroom, was known to insist that others accompany him and continue to discuss official matters or take dictation. Among those who received this "privilege" was Katherine Graham, publisher of the Washington Post. (女事主去白宫bbs哭诉: 总统原来是变态色狼…)

 

Robert F. Kennedy greatly disliked Johnson and the feeling was mutual. Kennedy felt that Johnson was not worthy of the vice presidency, while Johnson merely regarded Kennedy as "Jack’s Little Brother", a spoiled brat who was riding his older brother’s coattails to success. (搞, 我查了下, 副总统候选人是总统候选人提名的, 最后一个例外是56年的Stevenson, 看来JFK的提名当时在家庭会议上会被反对)

 

说到这个Stevenson, 顺便也看到一个八卦, 还是wiki:

Stevenson’s wit was legendary. During one of Stevenson’s presidential campaigns, allegedly, a supporter told him that he was sure to "get the vote of every thinking man" in the USA, to which Stevenson is said to have replied, "Thank you, but I need a majority to win." (所以他没赢, 而且, 现在看来历史还在继续)

 

另外我总记得林登约翰逊是被刺杀的, 现在看来记错了, 美国那么多总统被刺杀的只有四个, 低于百分之十, 这个职业还不算太危险…

 

不知道大家看到这个题目会想起谁, 如果有人说是居里一家, 那幸好我没起名叫做科研世家,因为今天说的是另一家: Leakey家

说来惭愧,第一次读他们的故事是在小学,第二次是今年看time100,第三次就是昨天翻历史书看到他们

原来俺觉得孟德尔兄弟每天在寺院里数豌豆就够有献身精神的了,现在发现真是山外有山天天有天

就凭他们几十年如一日在东非挖坑的劲头,我都差点用"最科研的一家"做题目了

 

具体事迹不再多说,参看wiki和time100:

下面主要是8g:

 

作为一个在非洲部落长大的传教士的儿子,Louis Leakey是虔诚的教徒,但是他一生的主要工作是人类的进化历程,对此他说:

"Nothing I’ve ever found has contradicted the Bible. It’s people with their finite minds who misread the Bible."

 

Louis Leakey的第一任妻子Frida是考古学家, 在事业和生活上对他帮助颇多

30岁的时候他认识了20岁的古生物学家Mary,便不顾世俗看法和Frida离婚和她结婚,但是他对她们都不忠,做传者美化为非洲式的浪漫头脑

后期, Louis主管全球游说骗经费, Mary孤苦伶仃的在东非挖坑, 获得了更加举世瞩目的成就

 

同时,Mary为Louis生下了他们最科研的孩子Rechard

很巧的是,Richard的第一任妻子也是考古学家,第二任也是古生物学家..

(估计知道内幕的系友们会浮想联翩….)

 

Richard在95年因为不满肯尼亚政府的腐败组建反对党,遭到殴打等等,但是仍未放弃

time100里面的的传记作者,也是他的同行,就说,他和他一样都是性格强硬,这也决定了他们后来的隔阂

还说他和他老爸一样, 很有想法, 喜欢做结论, 而Mary则是埋头苦干型的

 

好了,8g到此为止,向为了我们的前生今世放弃安逸生活像苦行僧一样科研的人们致敬

题外话,同是挖过坑的,人家在东非湖边就是比咱在bbs上挖个小水坑强,知识青年还是要上山下乡啊

 

一个教授,因为系里同事操控人事不给tenure,连续四次之后枪杀了系主任和三个同事

在法庭上为自己辩护并号召别人用类似做法纯洁学术界

到了监狱里里面,继续做研究,接着发paper

真是学界代有牛人出阿

 

大家可以去wiki看这个人的事迹: Valery Fabrikant

 

ps,仔细想想,对于做理论的,监狱也不失为科研的好地方

尤其对能把科研本身当享受的…

 

下面是其中一篇paper:

 

 

注意看作者的通讯地址:

Utilization of divergent integrals and a new symbolism in contact and crack analysis

V. I. Fabrikant^**

Prisoner #167932D, Archambault Jail, Ste-Anne-des-Plaines, Quebec, Canada J0N 1H0

Correspondence: ^** Email: valery_fabrikant@hotmail.com

 

一段时间前,刚还写过最伟大的实验科学家

刚才acore就问我觉得谁是有史以来最伟大的科学家

这个感觉还真一时没找出来,思索了几分钟

 

记得从小就看过一段话,大意是说谁是第二伟大的物理学家很难,但是第一非牛顿莫属

力学三定律,万有引力和微积分中随便拎出一个就牛的要死

(说到这里acore又补充老牛对光学贡献也是大大的,并讲解牛顿环和节育环的区别,龌龊不在话下)

 

另一个是看到的八卦了,本来记得是saymyname的系列可是去水木science居然没找到

大约是这样的,某大牛评价,说牛顿和阿基米德这样的人一千年才能出一个的,小爱这样的人五百年能出一个(或者是一百年?)

费曼就问那我呢..  这家伙就毫不客气的说,醒醒,我们在讨论牛顿和爱因斯坦.

道听途说,欢迎有线索的举报

 

作为共识,我和acore都认同牛顿是最伟大的物理学家

虽然他打击莱布尼兹和狂写神学论文的事情实在影响他作为物理学家的个人形象

 

其实acore也觉得牛顿是最伟大的科学家

但是我觉得对科学贡献影响最大的人是欧几里德

"原本"在牛顿之前一千多年就提出了几何的公理体系

虽然几何原理比力学原理更直观更容易想象,但是重要性毫不逊色

 

但是说欧几里德是最伟大的科学家么? 问题也是有的

1) 似乎大家说起科学家一般不包括数学家

2) 欧几里德有无此人还有争议

3) 欧几里德只是编写了这部书还是真的开创了这门领域也并不清楚

 

棘手的问题往往以个人意见结尾

基于确切资料,那非牛顿莫属

但是作为一个象征,我肯定选欧几里德

 

做生物试验得到和预测不一样的结果, 好像再正常不过

做化学实验发现诡异的现象,也很多很多

做物理实验发现反常情况,不是仪器坏了就是旧理论被推翻或者新发现震撼圈内的时候

但是做实验导致数学上的发现,还是第一次看见

 

可能有点孤陋寡闻,不过以前总觉得数学家们是如此的牛,以至于在实验科学家能用到他们理论的时候,各种可能性都已经被考虑过了

但是刚才读书看到了一个例外:

   In the late 1800s, many machines were built to calculate Fourier coefficients and re-synthesize.

   Albert Michelson (an extraordinary experimental physicist) built a machine in 1898 that could compute c(n) up to +-79.

      
   The machine performed very well on all tests except those  involving discontinuous functions.  When a  square wave, like that shown in figure 1, was inputed into the machine, "wiggles"   around the discontinuities appeared, and even as the number   of Fourier coefficients approached infinity, the wiggles   never disappeared – these can be seen in the last plot in  figure 1.  J. Willard Gibbs  first explained this phenomenon in 1899, and therefore these  discontinuous points are referred to as Gibbs Phenomenon.

(http://cnx.org/content/m10092/2.8/)

 

 

现在看来这个实验简单的不能再简单,随便在matlab里面算一下就行

但这可是100多年前阿,计算机几乎在50年后才被搞出来,更不用说matlab了

怀着敬意查了一下这位Michelson先生,发现原来就是鼎鼎大名的麦克耳孙,不愧是大牛啊

 

显然这个实验只是他业余的闲作,他的wiki词条和nobelprize.org的自转里面都没提及

有趣的是,他对作出了巨大贡献的迈克而孙-莫雷实验,也是他一生中最重要的实验却让他觉得很失败

直到小爱同学用狭义相对论来解释为止

幸运的是他看到了这个实验结果被肯定并且没有受到打击,不像可怜的玻尔兹曼

这个故事告诉我们,作出了阴性结果不要郁闷,说不定是很牛的发现呢

当然也要锻炼身体注意健康,提高在有生之年看到结论被接受的概率….

 

顺便看到,迈克而孙也是美国第一个诺贝尔科学奖的得主,普鲁士占领的波兰出生的犹太人,3岁搬到美国

第一个非科学诺贝尔奖的得主是他们的新千年总统西奥多罗斯福

这个第一位诺贝尔科学奖得主让我想起comedy central评价卡特寿命超过里根的时候说

现在吉米卡特是美国最长寿的总统了,但是,罗纳的里根仍然是最长寿的,选举产生的总统!

哈哈

ZFC 构成自一个单一的基本本体论概念集合，和一个单一的本体论假定，就是在论域中所有的个体(就是所有数学对象)都是集合。有一个单一的基本二元关系集合成员关系；集合 a 是集合 b 的成员写为 a b (通常读做 "a 是 b 的元素")。ZFC 是一阶理论；所以 ZFC 包括后台逻辑是一阶逻辑的公理。这些公理支配了集合的行为和交互。ZFC 是标准形式的公理化集合论。使用 ZFC 的大量的正在进行中的普通数学推导请参见 Metamath 在线计划。

在 1908 年，Ernst Zermelo 提议了第一个公理化集合论，Zermelo 集合论。这个公理化理论不允许构造序数；而多数“普通数学”不使用序数就被不能被开发，序数在多数集合论研究中是根本工具。此外，Zermelo 的一个公理涉及“明确性”性质的概念，它的操作性意义是有歧义的。在 1922 年，Abraham Fraenkel 和 Thoralf Skolem 独立的提议了定义“明确性”性质为可以在一阶逻辑中公式化的任何性质。从他们的工作促成了替代公理。Zermelo 集合论接受替代公理和正规公理产生了被称呼为 ZF 的这个集合论。

向 ZF 增加选择公理产生了 ZFC。在数学成果要求选择公理的时候，有时明显的这么声明。这么单提出 AC 的原因是 AC 天生的是非构造性的；它确立一个集合(选择集合)的存在，而不规定如何构造这个集合。所以使用 AC 证明的结果涉及尽管可以证明其存在(如果你不忠于构造主义本体论的话)，但可能永远都不能构造出来的集合。

ZFC 有无穷多个公理，因为替代公理实际上是公理模式。已知 ZFC 和 ZF 集合论二者都不能用有限数目个公理来公式化；这最先由 Richard Montague 证实。在另一方面，冯诺伊曼-博内斯-哥德尔集合论（Von Neumann–Bernays–Gödel, NBG）可以有限的公理化。NBG 的本体论同集合一样包括类；类是有成员但不是其他类的成员的实体。NBG 和 ZFC 是等价的集合论，在关于集合(就是说不以任何方式提及类)的任何定理在一个理论中可以证明就可以在另一个理论中证明的意义上。

依据哥德尔第二不完备定理，ZFC 的相容性不能在 ZFC 自身之内证明。ZFC 的广延等同于普通数学，所以 ZFC 的相容性不能在普通数学中证明。ZFC 的相容性可从弱不可及基数的存在而得出，它是其存在不能在 ZFC 中证明的某种东西。但是几乎没有人怀疑 ZFC 有什么未被发觉的矛盾；如果 ZFC 是不自洽的，早就该被发掘出来。这是确定无疑的: ZFC 免除了朴素集合论的三大悖论，罗素悖论、Burali-Forti悖论和康托尔悖论。

文献中讨论过的 ZFC 的缺陷包括:

• 它比几乎所有普通数学所要求的程度还要强(Saunders MacLane 和 Solomon Feferman 这么认为)；
• 相对于其他集合论的公理化，ZFC 相对要弱。例如，它不允许全集(如新基础)或类(如 NBG)的存在；
• Saunders MacLane (范畴论的缔造者之一)和其他人争论说任何公理化集合论对于实际上的数学工作方式而言都是不正当的。依据他的观点，数学不是关于抽象对象的搜集和它们的性质的学科，而是关于结构和结构保持的映射的学科。