Turing机

上世纪30年代,一个伟大的英国逻辑学家做出了一项推进人类社会发展进程的工作,此人正是Alan Turing。对于Turing本人的传奇经历我就不多说了。在现如今如此依赖计算机的生活中,人们有必要来了解这位计算机科学之父。可以说,没有Turing,计算机的出现还不知道要晚上多久才能来到我们的生活之中。那么,大家就要问,Turing到底做了些什么呢?别急,下面我就慢慢说来。

首先,我们看看Turing到底为何要设计出来这么一个“机器”,之所以打上引号,是因为Turing机仅仅是一个模型,不是一个真实的机器(如我们平时用的电脑)。说到这里,我们就必须介绍另外一个伟大的数学家——Alonzo Church。对于他,大家最熟悉的莫过于lambda演算了(现在的LISP和函数式程序设计语言正是基于lambda演算的),他通过这一工具证明了不可判定问题的存在。这个结论这是在Turing提出的有名的“停机问题”之前提出的。之后他们一起证明了lambda演算和Turing机在计算能力上是等价的。因此,我们可以这么说,Alonzo Church和Alan Turing通过不同的方式证明了不可判定(不可计算)问题的存在。

 

 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值