数学标记

Mark发来了这张照片，并附上了这段解释：

我严格来说不算拥有一个科学纹身，但有一个数学纹身。这算差不多了吧？现在，是解释的时候了。这是一个叫做Y组合子的公式。它是在lambda演算中的一个不动点组合子，由一位非常多产的数学家和逻辑学家哈斯凯尔·卡里发现，他的工作帮助开启了计算机科学。这个公式的作用是计算函数的固定点，进而通过调用该固定点来实现递归；递归也许是计算机科学中最重要的概念。作为一名计算机科学家和数学家，这个公式对我来说非常重要，它代表了计算机科学和数学逻辑的内在美。

本周又添加了四张纹身到Flickr图集中，每一张都有自己的故事。去看看它们吧。更新 9/21 上午 8:30：哎呦。 jwz 提示Mark忘记了一个括号。有没有数学方面的专家可以发表评论？更新，下午 1:50：Mark说他的括号都正确无误，谢谢。