Russell's Paradox

Russell's Paradox是set theory中非常有名的悖论。

先来看一下set theory中一个有意思的集合：属于自己本身的集合，也就是说一个集合它包含了自己。例如，以所有集合为作用域来考虑，包含所有正方形的集合R，那么集合R并不包含自己，因为R是一个集合，而不是正方形。但是，取R的补集S，即所有非正方形的集合，那么S不是正方形，所以S是自己的一个元素，即S属于自己。可见，世界上存在很多这种包含自己本身的集合。

现在，令R为所有不属于自己的集合的集合（好绕阿！集合R中的元素也是集合），也就是说：

R ＝ {A | A不属于A}

那么，现在考虑R是否属于R。如果R属于R，那么这违背了R不属于自己的集合属性；如果R不属于R，那么根据集合R的属性，R应该是集合中的一个元素。这就是Russell's Paradox。

有一个与Russell's Paradox相关的理发师的故事。理发师在理发店前的牌子上写道：“我给镇上所有不给自己理发的人理发，而且我也只给这些人理发。”于是，有人问他：“那你自己怎么办呢？如果你不给自己理发，那么照你的说法就应该给自己理发；如果你给自己理发，那么你又不应该给自己理发，因为你只给不给自己理发的人理发。”理发师不知如何回答。

A cool proof of Pythagorean Theorem

More proofs are here: Pythagorean Theorem and its many proofs.

《我们无处安放的青春》中的父爱

昨天中午到今天下午，一口气把《我们无处安放的青春》全部看完了，确实是一部非常感人的片子。不过最感动我的并不是男女主角之间的爱情，而是周校长（陈道明饰）对女儿周蒙（江一燕饰）的父爱。

一开始，这是一个让人觉得非常严厉的父亲，管教女儿的穿着，行为，反对女儿谈恋爱。渐渐地，从反对到接受，又到鼓励，特别是对儿子的理解和对儿媳妇的忍让，又让人觉得这是一个通情达理的父亲。而得知自己得了绝症后，对女儿表现出来的无微不至的关怀和悉心教导，又体现出了这种父爱温柔的一面。在手术之前，他留给了女儿一份最重要的东西，就是教导女儿如何独自面对人生未来旅途的话语。虽然自周校长到了北京之后，剧中再也没有出现过他的画面，但是每当周蒙遇到挫折，意志消沉或感到孤单时都会响起他留下的那些鼓励的话语，让人觉得他始终都没有离开，更是让人潸然泪下。

REM moves forward

ZK已经发布到3.0了，NetBeans也升级到6.0了。最近收到一些REM用户的邮件，希望REM能够升级到NetBeans 6.0，并且支持ZK2.5和3.0。由于半年来一直忙于其他事情，再加上对REM兴趣的减退，这个项目已经有7，8个月没有更新过了。

一个月前发布了一则help wanted，可惜没有回应。今天收到Fred的邮件，他是SUN的一个职员，有兴趣来接管REM。很高兴REM能够为ZK开发带来方便，也很高兴终于有人愿意来继续维持这个项目。于是很快把manager的权限给了Fred。他在回信中说已经把当前的版本做了一个tag，并做了一个port到NetBeans 6.0的branch，应该一整晚就可以完成了。

一直觉得REM是一个不错的项目，可惜一直没时间将她完善到我预想的那样。希望Fred接管后可以让REM更加完善，给ZK开发者带来更多便利。