会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
爵士甜菜
博客园
首页
新随笔
联系
订阅
管理
2010年1月26日
神奇的λ演算
摘要: 函数是一个强大的概念,很多理论都是以这种形式构建起来的。比如定理可以定义成函数的形式,有输入,输出,以及一系列过程,过程中又是由多个子定理构成 的,不断深入展开最后达到的是作为原子函数的公理。有些颇具魅力的函数,比如可以判断某程序是否死循环的程序,开发商要是发明出这种软件绝对可以发笔大 财。可是事实上科学家逐渐发现有些问题根本无法计算或者说找不出这样的函数,图灵已经用类似对角法的证明否定了刚才那种...
阅读全文
posted @ 2010-01-26 22:01 dragonpig
阅读(7285)
评论(1)
推荐(2)
编辑
公告