美国最近开始要求入境的加拿大人提供护照,于是很多加拿大人去办护照,结果他们中的一部分惊奇的发现自己很久以前就已经不是加拿大公民...

 

 

真是有天上掉下来的馅饼,也有飞来的横祸....

 

想洗衣服,没有quarter,拿着一堆dime和nickel去换..

叮叮咣咣塞进去一堆

按下退钱按钮

发现可乐机不买账

唏哩哩哗啦啦的,扔进什么出来什么

于是决定买可乐了事

结果不小心又按了那个退钱

唏哩哩哗啦啦...再塞一次

 

结局:花光了所有dime/nickel,换回来三瓶可乐

现在残存一堆北美大陆最没用的penny

只好找人换点零钱,然后明早奔去找零机换半斤quarter了

 

昨晚见完老板,去吃火锅

吃完火锅,回来打牌

打完牌,深夜,回来就睡觉

 

睡醒,12点,和人去吃中午饭

吃完饭,天冷,逛staples,walmart,pathmark和美东

5点多携食物归来

六点半一起做饭

九点开吃

十点半吃完

十一点刷碗结束

 

周末的一大半就这么哗啦啦过去了,所谓闲忙闲忙

或者ray同学说得,快活,快活,快乐的时候就活得很快

好久没这么聚众做饭了,倒是,吃的很开心,呵呵

 

 

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

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

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

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

 

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

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

   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 (范畴论的缔造者之一)和其他人争论说任何公理化集合论对于实际上的数学工作方式而言都是不正当的。依据他的观点，数学不是关于抽象对象的搜集和它们的性质的学科，而是关于结构和结构保持的映射的学科。

 

虽说舍不得buell方便的环境,免费的cable和劲足的空调

虽然想起搬家买家具就有点发愁

可是毕竟房租一年一年狂涨也不是个事儿

而且上传流量限制在512M也颇为变态

今天和fozu,dreamsun去看了大家要租的房子,颇为满意

三月左右搬家

希望能住的比Buell长点

最好这几年剩下时间就住那里算了...

 

居然梦到高中毕业会考没有过,被迫补考三天

而且好像是补考了很多门

还是假期刚开始的那两天幸福啊

 

可见在这里的四大喜事应该是:

久忙逢假期

他乡遇小吃

同学相聚夜

文章挂名时

 

 

昨天看到这么个冷笑话:

 

 

 

这两天在读

翻译的真牛

简直就是重新创作

不过有时候不好懂

更受打击的事情是不懂的章节翻出原文来发现也懂不了更多....

 

第一章是这样的,气势太牛了:

1. The Way

The Way that can be experienced is not true;
The world that can be constructed is not true.
The Way manifests all that happens and may happen;
The world represents all that exists and may exist.

To experience without intention is to sense the world;
To experience with intention is to anticipate the world.
These two experiences are indistinguishable;
Their construction differs but their effect is the same.

Beyond the gate of experience flows the Way,
Which is ever greater and more subtle than the world.

 

对着自己blog盘点一下

 

前年(对,已经是前年了)年底回国的时候,正是结束了一个rotation,开始下一个rotation
的时候,所以一切无比轻松,在国内的日子更是不用说有多爽了

这段日子自然是没啥功夫写blog啦,所以就到了回来后,一月底开始上课,同时通过驾照笔考

 

二月看来基本没干什么,接着上课,研究神经元模型,和parkinson disease的一些东西,
同时去费城看了第一个nba现场

 

三月接着做这些,开始写程序,闲了的时候就读wikie等等,估计有段时间不是很开心,
颇为怀旧,而且三月搬到楼上住了两周,呵呵,韩国同学在这个月正式搬出,屋子成为我们三的寝室. 拿到信用卡,生活方便不少
春假期间,狗宝一行来纽约,去和icy,spark等见面,玩的很爽,很热闹

 

四月,短短的春季学期的最后一个月,读书读paper上网看电视,没啥变化
不过也就是这个月把,和郑薇师姐聊天,被告知选老板要趁早,于是决定留在现在的lab
想留下来的另一个原因是从自己学开车的过程发现自己有点笨手笨脚,实验还是算了
月底,春季学期的课程正式结束,但是phd是没有暑假的

 

五月,第一次路考失败,第二次路考成功,拿到驾照
和老板说了,留在实验室,但是必须开始做TA,实验室带我的phd准备毕业,老板打算把他的活
交给我继续干
研究数电模电,发现对我太难
TA口语考试,顺利过关

 

六月,收到TA的offer,下一个学年的收入有了保证
但是这门课实在很忙,意味着这一年没有太多别的时间了
另外当然是看世界杯啦,这段日子很逍遥,也很堕落
另外很多时间用于研究买车

 

七月,系友聚会,见到大牛们,收获颇多
去boston玩了几天,很不错,又见到不少熟人,在哈佛医学院看完世界杯决赛
买了车,开始练车
一度每天和同屋,还有另一个同学去超市买只西瓜回来冰着,然后开车去打球,深夜回来,
再吃西瓜,生活无比舒坦

 

八月,前两周和张斌去中部玩了两周,体会了amtrak的通票待遇
这两周过得还是很爽,也第一次去这么多遥远的地方
第一次租车,第一次住hotel...虽然花钱不少,但是因为沿途有很多地方投靠
基本还是物超所值,也感谢我的同学们和bin同学
在annarbor和芝加哥遇到老同学,自然甚是亲切
顺便感慨一下,虽然很多时候mit上的人都讲这边人心险恶wsnwsn什么的
但是我遇到的人大体上都是很不错的,有很好的玩伴,同屋和朋友
平时一起打牌吃饭出去玩,需要帮忙的时候相互搬家接送什么都不是问题,窘迫的时候相互借钱也很信任彼此

还有新年之前朋友做好火锅叫我们去吃,除了感动还能说啥
当然,比起本科不好的一点就是毕竟这边人比较少,每个人都有自己的schedule,一般比较忙,所以共同的时间比较少
忙起来就比较少有机会一起玩,所以平时容易孤单

 

九月,开学啦,转眼就是第二年了
开始做TA,日子忙得要死,认识了不少新人和朋友
也遇到了很不爽的TA老板
火车免费的周末,和spark,apple等人一起去了普林,再拜施一公大牛
拿到新台式机,渐渐抛弃用了两年多的bb,除了旅行的时候

 

十月,延续上一个月
中秋,比较伤感
生日,无法庆祝
报告,让我抓狂
实验,几乎没做
和韩国mm的口语conversation也挺有意思,算是无聊生活的一个调剂吧

见到从匹兹堡赶来的花花,亲切拥抱

 

十一月,平淡镇定
总算改完报告,轻松一下,但是改完之前的愤懑心情真的难以描述
至今还记得半夜和同屋和曾mm在msn上抱怨的心情,就好像第二天就想回国似的
rutgers足球大连胜,很热闹很热闹,新泽西在Kcore来到之后的一年内,第三次书写历史..
感恩节假期,难得的休息,去madison square garden看了尼克斯对火箭,火箭自然赢了

赛后两天,再赴纽约,再见花花,同时认识教授和08同学,哈

 

十二月,最后的幸福
忙乎两周之后,终于放假了,可以休息休息了,感动
开车去了海边,感觉不错
圣诞时候,又去了纽约,第一次开出州,进nyc,见到smicy夫妇,yc夫妇,再见到icy spark
玩的很爽,他乡逢故知,还有什么更好的呢
小朋友夫妇来新泽西玩,一起又去了普林,小朋友pp如故,呵呵,还是那么可爱,qz sg也还是
那么逗,两口子拌嘴真好玩,可惜我临近出发,事情太多,他们也有别的安排,居然没有再见到

然后就是30号出发去wisconsin了
2006整体上虽然平淡,但是年初国内的日子和出游的夏天的确是美好的回忆
更美好的就是刚刚过去的12月了,回国和出游都是每年会有的,十二月的后面两周中发生的事情,就不是什么时候都有幸遇到的了

12月的最后两天更是让我觉得像是生活在梦中一样

两个人看着天空被自己点燃的焰火照亮的那刻将会成为印象最深刻的新年夜吧

 

以上就是我的2006,大体上,虽然学术上没有什么结果,但是顺利完成了很多转变,解决了几乎所有应该解决的琐事,有了很多可以一起玩的朋友,不再新生

实验室,因为自己的ee背景实在太差,所以最终还是放弃了和硬件有关的project,决定从信号开始做,一切都还在准备当中,TA实在太忙,估计07年一年也不一定能有多好的结果了,但是欣慰的是,已经有了努力的方向,而且是我喜欢的. TA虽然烦人但是收获也颇多. 课程也修的差不多了.

 

再次祝大家都有一个好的2007

 

祝大家干嘛嘛顺咥啥啥香

想什么来什么怕什么没什么

顺便贴几张昨晚的焰火

好久没在家过过元宵

也好久没这么近看过焰火了