马格里特因素
在我看来,比利时波普超现实主义画家勒内·马格里特(René Magritte,1898-1967)将比才华平庸、过度炒作的安迪·沃霍尔(Andy Warhol,1927-1987)活得更久。我的姐姐多琳总是叫他安迪·混蛋,并且认为她说的这句话比沃霍尔拍了一个长达3小时的睡着的人的自命不凡的电影更值得出名。“你可以叫我巴勒斯坦人[注1],”她说,“但我只看了10秒钟就睡着了。”
沃霍尔的罐头汤只不过是“罐头汤”(保质期有限?),而马格里特同样逼真地描绘了一个石楠根烟斗,却戏谑地命名为“这不是一个烟斗”。我复制了这幅画,名为“这不是 `这不是一个烟斗` 的复制品”--肯定会赢得明年的特纳奖。由于篇幅限制,无法完整且令人作呕地描述1999年12月全家参观伦敦泰特美术馆的经历。可以这么说,我们都站在A展品——那个臭名昭著的“未铺的床”前,心想:“该死的……我们过去梦想睡得如此资产阶级舒适。”
马格里特的玩笑深入挖掘了严重的自指悖论,这些悖论威胁着逻辑、数学、计算机科学以及我们珍视的一切的根基[注2]。那个鲁莽的克里特人发誓说“所有克里特人都是骗子”。罗素被唯一一个想接纳他的俱乐部拒之门外[注3]。哥德尔证明了“这个命题是不可证明的”。图灵问:“想等这个程序停止吗?”而永远优雅的蔡廷说:“没有优雅的算法来确定它的优雅。”
简而言之,在蔡廷的算法信息理论中,如果用同一种编程语言编写的任何更小的程序对于给定的输入都不能产生相同的输出,那么该程序就是“优雅的”。快点回到你们的方法论、模式、用例、UML流程图、包含文件、类框架和源代码(如果有的话)吧,你们这些不优雅的猪猡!除非,当然,你的薪水是按LOC(代码行数)支付的。
大多数忙碌的人文主义数学家,例如拉卡托斯、赫什和我自己,还有其他为了支付房租的葡萄需要烘烤。
例如,回到真实(谁说的?)的世界,经证明优雅的 Linux 正聚集势头。对于那些仍然问“Linux”如何发音的人,我询问了几位首次公开募股的亿万富翁,他们告诉我“两个短的、同等重读的音节,如 Red Hat”。
最新的 Corel 版本刚刚到货,装在有史以来最大的收缩包装盒中!作为 JOLT 评委,我守口如瓶且廉洁奉公,但是每年 JOLT 奖提名名单中的 Linux 候选者越来越多,我有一种直觉上的冲动去支持 Corel 及其支持 Linux 的 WordPerfect。与奥斯卡奖一样,JOLT 奖的类别也在增加,我们即将拥有“阿尔巴尼亚单腿人提供的最佳 Linux 电子表格”。
但是来自 www.acm.org/technews/articles/2000-2/0128f.html#item2: 的警告:
“IBM 高管称 Linux 是网络发展的关键
IBM 对 Linux 寄予厚望,IBM 的欧文·瓦拉达夫斯基-伯格(Irving Wladawsky-Berger)表示,他是塑造 IBM 电子商务计划的远见卓识者,现在领导着 IBM 的 Linux 推动。在接受 CNet 的 Kim Girard 的采访时,领导 IBM 新一代的 Wladawsky-Berger……”
当心善意的大蓝“死亡之吻”!尤其是当它来自“下一代远见卓识者”时。记住 OS/2、Taligent、OpenDoc 和新兴的 Java 标准僵局。
