January 2007


只是流水31 Jan 2007 09:27 pm

这两天真郁闷,去年TA一学期都没遇到的事情居然连续两天遇到
TA的事情。。。哎,我恨做TA
不过还好都已经解决或者正在解决
当然被bitchout看来是难免了

不管怎么,我觉得明年坚决不能做TA了。。

只是流水29 Jan 2007 02:13 am

周末njtransit又免费
周五晚上照例找朋友大战
周六spark携酒过来玩
买了肉,召集大家再战一场
玩得很爽,可是时间也过得很快

今天帮我装了fedora。。。虽然现在还一点也不熟但是在努力适应
去年bioinfo课上用过redhat感觉还不错
不过我是一点也不想学commandline
atppp说,为了使用图形界面装linux是怎么的境界呢? 是土鳖的境界。。。。
不过伊用了8年linux还号称不适应图形界面,是另一种土鳖的境界,哈
发现在firefox下面,居然无法编辑正文,只好用opera了,超ft
不过gaim和smart pinyin还是很不错的

鸣谢spark。。

不定好笑25 Jan 2007 07:52 pm
 
美国最近开始要求入境的加拿大人提供护照,于是很多加拿大人去办护照,结果他们中的一部分惊奇的发现自己很久以前就已经不是加拿大公民…
 
http://www.cbc.ca/canada/british-columbia/story/2007/01/23/citizenship-passports.html
 
真是有天上掉下来的馅饼,也有飞来的横祸….
不定好笑21 Jan 2007 10:13 pm
 
想洗衣服,没有quarter,拿着一堆dime和nickel去换..
叮叮咣咣塞进去一堆
按下退钱按钮
发现可乐机不买账
唏哩哩哗啦啦的,扔进什么出来什么
于是决定买可乐了事
结果不小心又按了那个退钱
唏哩哩哗啦啦…再塞一次
 
结局:花光了所有dime/nickel,换回来三瓶可乐
现在残存一堆北美大陆最没用的penny
只好找人换点零钱,然后明早奔去找零机换半斤quarter了
只是流水21 Jan 2007 01:14 am
 
昨晚见完老板,去吃火锅
吃完火锅,回来打牌
打完牌,深夜,回来就睡觉
 
睡醒,12点,和人去吃中午饭
吃完饭,天冷,逛staples,walmart,pathmark和美东
5点多携食物归来
六点半一起做饭
九点开吃
十点半吃完
十一点刷碗结束
 
周末的一大半就这么哗啦啦过去了,所谓闲忙闲忙
或者ray同学说得,快活,快活,快乐的时候就活得很快
好久没这么聚众做饭了,倒是,吃的很开心,呵呵
 
八卦人生15 Jan 2007 03:59 pm
 
做生物试验得到和预测不一样的结果, 好像再正常不过
做化学实验发现诡异的现象,也很多很多
做物理实验发现反常情况,不是仪器坏了就是旧理论被推翻或者新发现震撼圈内的时候
但是做实验导致数学上的发现,还是第一次看见
 
可能有点孤陋寡闻,不过以前总觉得数学家们是如此的牛,以至于在实验科学家能用到他们理论的时候,各种可能性都已经被考虑过了
但是刚才读书看到了一个例外:
   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评价卡特寿命超过里根的时候说
现在吉米卡特是美国最长寿的总统了,但是,罗纳的里根仍然是最长寿的,选举产生的总统!
哈哈
八卦人生13 Jan 2007 01:40 pm
 
听安娜同学讲了会公理集合论,再次崇拜伟大的数学家们追求绝对严格的精神
转一下维基中文的词条,大家生物paper看累了可以休息下脑子,或者说,换一种被折磨的方式:
 

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

在 1908 年,Ernst Zermelo 提议了第一个公理化集合论Zermelo 集合论。这个公理化理论不允许构造序数;而多数“普通数学”不使用序数就被不能被开发,序数在多数集合论研究中是根本工具。此外,Zermelo 的一个公理涉及“明确性”性质的概念,它的操作性意义是有歧义的。在 1922 年,Abraham FraenkelThoralf 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 MacLaneSolomon Feferman 这么认为);
  • 相对于其他集合论的公理化,ZFC 相对要弱。例如,它不允许全集(如新基础)或类(如 NBG)的存在;
  • Saunders MacLane (范畴论的缔造者之一)和其他人争论说任何公理化集合论对于实际上的数学工作方式而言都是不正当的。依据他的观点,数学不是关于抽象对象的搜集和它们的性质的学科,而是关于结构和结构保持的映射的学科。
只是流水10 Jan 2007 03:20 am
 
虽说舍不得buell方便的环境,免费的cable和劲足的空调
虽然想起搬家买家具就有点发愁
可是毕竟房租一年一年狂涨也不是个事儿
而且上传流量限制在512M也颇为变态
今天和fozu,dreamsun去看了大家要租的房子,颇为满意
三月左右搬家
希望能住的比Buell长点
最好这几年剩下时间就住那里算了…
不定好笑08 Jan 2007 05:34 pm
 
居然梦到高中毕业会考没有过,被迫补考三天
而且好像是补考了很多门
还是假期刚开始的那两天幸福啊
 
可见在这里的四大喜事应该是:
久忙逢假期
他乡遇小吃
同学相聚夜
文章挂名时
 
不定好笑05 Jan 2007 03:34 pm
 
昨天看到这么个冷笑话:
在美国IT界,流行这样一个冷笑话:“伯克利的工程师管斯坦福的工程师叫什么?”。正确的答案是:“老板”。
 
马上想到一个对应的:
北大团委书记管清华团委书记叫啥?   ……………..正确答案是: 主席.
 
纯属娱乐,pku同学不要peng..
恭喜atppp,acore名不虚传!

Next Page »