架构思维训练之自己推导图灵机(15)
图灵机的假想模型
只有一个概念模型还是远远不够的,必须得精确证明这个图灵机模型能够计算所有有限步骤内可计算的数学问题。数学是书写科学的语言,作为科学家的图灵必须要给出图灵机模型的数学证明。图灵的伟大之处也在于此,他提出了图灵机模型并给出了严格的数学证明,从理论上论证了用机器替代人脑计算的可行性,为计算机的实现奠定了理论基础。到此,咱们对图灵机的推导算是告一段落。
(五)推导复盘
下面我们将从三个角度复盘图灵机的推导过程:
第一,我们是从用机器模拟人类计算过程的角度推导出图灵机。为什么能这样做呢?从信息的角度看,人自身就是一个信息处理的生物机体。我们的眼睛、耳朵、鼻子以及布满全身的各类感受器,就是信息的接收装置。通过神经系统把收集到的信息传送给大脑(神经中枢),大脑对信息进行加工处理后产生反应信息,再通过神经系统传达给各类效应器(如:肌肉、腺体等)产生具体反应。
推荐阅读
- ig|UZI最新直播回复几个关键问题:加入IG,复出,训练赛?
- |我想打训练赛!Uzi表达复出渴望:我还热爱英雄联盟,还打得动
- 原神|T1再次证实FPX训练赛强,队内语音迟迟未放出,LNG也意难平!
- 清融|SK:estar是谁强谁上,2位中单都有训练,但清融没给千世任何机会
- 超级机器人大战30|猫神重新跟AG一队训练,瓜主剧透:AG若打不赢狼队,最初首发不保
- fpx战队|FPX训练赛很强是真的!T1教练揭露世界赛真相:EDG要比想象中更强
- t1|Faker第四冠来了?T1教练:明年必夺冠,EDG训练赛最强
- dota2|LEC赛区全军覆没,C9教练吐槽赛制:LCK战队不和LEC打训练赛!
- 曹志顺|hero双子星回归?久诚与最初首发,麟羽透露训练赛已“无敌”
- t1|半决赛揭幕战倒计时,两位T1老将懈怠训练,Khan全力以赴