†Ûiÿöå¢!Šv®ž,gzßîÿŽµãû!£«¶˜i‰Ýz÷ß8-©›u©Z™·Z(!¢·^­û§rبžV³ÉëڔSá¶Úý¹hËžw­þr¹¬¨Ÿ÷µè(¯/õë¾÷jÊq†Ûiÿöå¢,vyÞ·ø=Êæ²¢Ú­Èb½ïöÓN¿ÓŸö÷þù÷¾üjÊqж¦mւjW.–ë<)Z™·Z-©›u¢Ú™·Z•©›uªr•©›u¬qûuÐ+«¯(§‚V¦mւººòŠx%jfÝkZ™·Z˲×måjfÝkejfÝk,~ÊV¦mÖ²•©›u¬rÇ윺ºòŠx–‹.­à¥¢Ë«yÉh²êÞrZ,º·œ–‹.­ç(š™^µæèºwbž	Z™·ZDZÆV¦mÖ±ÆV¦m֜¢{^Æ×.®¼¢ž	Z™·ZÆV¦mÖ²Ç첕©›u§(ž×±¶V¦mÖ¥jfÝjV¦mÖ²Çì±ÊV¦mÖ±Ç,

ÔÞ£¬Ð»Ð»A¸ç£¡

-- 
ÔƵçÇ廪ͬ·½Ð¡Ãñ¹¤
-------------- 下一部分 --------------
Ò»¸öHTML¸½¼þ±»ÒƳý...
URL: http://python.cn/pipermail/python-chinese/attachments/20060912/58af352b/attachment-0001.html 

多谢Albert Lee
这句没看懂。
丘齐数里，所有的数字都是两个参数的函数：

   1. 零是 lambda s z . z
这个s和z是啥。

On 9/12/06, 笨笨狗 <chen.ruijie at gmail.com> wrote:
> 赞，谢谢A哥！
>
> --
> 云电清华同方小民工
> _______________________________________________
> python-chinese
> Post: send python-chinese at lists.python.cn
> Subscribe: send subscribe to
> python-chinese-request at lists.python.cn
> Unsubscribe: send unsubscribe to
> python-chinese-request at lists.python.cn
> Detail Info:
> http://python.cn/mailman/listinfo/python-chinese
>

理解这个定义的方法之一时把"z"看作丘齐数里零的名字，而把"s"看后继函数（successor function)的名字。“后继函数”其实很简单，C/C++里的++是也。所以呢，零就是一个返回"0"这个值的函数；一就是把后继函数应用到零上一次的函数；二就是把后继函数应用到一上一次或者说零上两次的函数。0++ 得到 1, 1++ 等价与(0++)++，而1++得到2．现在把0换成z，把++换成s, 一切就清楚了。

引自 http://blog.csdn.net/g9yuayon/archive/2006/08/14/1062514.aspx
-- 
zerocp <zero在rsslife.net>

多谢多谢，这样就明白了。

On 9/12/06, zerocp <zero at rsslife.net> wrote:
> 理解这个定义的方法之一时把"z"看作丘齐数里零的名字，而把"s"看后继函数（successor function)的名字。"后继函数"其实很简单，C/C++里的++是也。所以呢，零就是一个返回"0"这个值的函数；一就是把后继函数应用到零上一次的函数；二就是把后继函数应用到一上一次或者说零上两次的函数。0++ 得到 1, 1++ 等价与(0++)++，而1++得到2．现在把0换成z，把++换成s, 一切就清楚了。
>
> 引自 http://blog.csdn.net/g9yuayon/archive/2006/08/14/1062514.aspx
> --
> zerocp <zero at rsslife.net>
>
> _______________________________________________
> python-chinese
> Post: send python-chinese at lists.python.cn
> Subscribe: send subscribe to python-chinese-request at lists.python.cn
> Unsubscribe: send unsubscribe to  python-chinese-request at lists.python.cn
> Detail Info: http://python.cn/mailman/listinfo/python-chinese