每台计算机里都藏着一个不变的灵魂。那是图灵永不停息的纸带、哥德尔无穷嵌套的原始递归函数、丘奇魔术般的lambda函数。0与1的黑白世界,自然数的世界。不同的计算机有不同的脸(Face),从最早的打孔卡片,后来的人机对话终端,配备高分辨率显示屏和键盘鼠标的个人电脑,现在是智能手机、平板电脑、智能电器……等等。这本书是关于计算机的脸(About Face)。关于灵魂,请看SICP:http://book.douban.com/subject/1451622/