starling和kestrel这两只鸟的来由

虽然SK组合子早有所闻,但这两个字母所代表的意思却一直不知道,原来是出自于《To Mock a Mockingbird and Other Logic Puzzles》这本书,作者用starlingkestrel这两只鸟来演绎哥德尔的证明。SK是这两只鸟的缩写,我是看到这篇Blog才了解到的。

早先只知道starlingkestrel是twitter的消息中间件产品,原来产品名还有这个来由。

Leave a Reply

Your email address will not be published. Required fields are marked *