请问 SICP里面所讨论的不动点和可计算理论的不动点是一回事吗

新警察

请问是一样的吗
我知道可计算理论里也有不动点
于是从学校的图书馆借来可计算理论的书 结果发现 根本看不懂啊

另外 顺便问一下 这个网站的WAP的访问方式的网址是什么呀
我在用手机浏览WWW网页 流量嗖嗖地 心痛啊

win_hate

原帖由 新警察 于 2009-2-4 10:40 发表
请问是一样的吗
我知道可计算理论里也有不动点
于是从学校的图书馆借来可计算理论的书 结果发现 根本看不懂啊

另外 顺便问一下 这个网站的WAP的访问方式的网址是什么呀
我在用手机浏览WWW网页 流量嗖嗖地 ...

粗略地讲，如果将一个函数 f 作用在一个点上，还得到这个点。那么这个点称为 f 的一个不动点。从这个层次上看，没有不动点是特殊的。

但通常我们关心的是不动点的存在性，以及如何求出这个点。从这个角度上看，SICP 中的不动点跟计算理论中的不动点当然完全不一样，它们定义在不同的对象上。

为了更好理解 SICP 中的不动点，应该去看分析。看计算理论搞错方向了。

[ 本帖最后由 win_hate 于 2009-2-4 12:23 编辑 ]

Stout

不一样