来源: skyport 于 2015-02-26 10:49:25
数学的美感 — 罗素悖论
简单的真理给人美感，比如著名的罗素悖论：
罗素悖论也称“理发师悖论”：
在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，你们看他能不能给他自己刮脸呢？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于“给自己刮脸的人”，他就不该给自己刮脸。于是产生矛盾。
罗素是数理逻辑鼻祖，而数理逻辑则是计算机理论的先驱。
