#唯有阅读能治愈一切人生##我的书适圈##微博视频广告共享计划#逻辑的基本概念（5)
对于计算机和AI的出现，绕不过的就是数学家、逻辑学家艾伦·图灵，是他最先提出区别于以往计算器的逻辑通用计算理论模型，十分巧妙地将物理世界和智慧知识世界建立起逻辑联结，并进行积极的探索实践，后又提出实现让机器具有智能的逻辑和方法。就如控制论创始人、数学家诺伯特·维纳的表述：“图灵也许是第一个将机器的逻辑可能性作为智力实验进行研究的人”。
图灵凭借深厚的数学和逻辑学方面的学识功底，在1936年论文《论可计算的数及其在判定问题中的应用》中，通过对人类心智控制生命机体用纸和笔进行计算过程的模拟，天才地提出抽象的“逻辑机通用模型”，即图灵机逻辑模型，简称“图灵机”，其中包含一个两端都无限长的纸带、一个读写头和一个控制器（一套精心制定的控制规则表和一个状态寄存器），十分艺术地模仿了生命系统的机巧，为智能体自主控制物质体进行可行的逻辑联结，形象精确地展现了现代计算机的计算算法和过程，从而奠定了计算理论、程序设计语言等现代计算机的逻辑架构方面的基础，为现代计算机如1945年冯·诺依曼提出“存储程序通用电子计算机方案”以及计算机后续发展提供了切实可行的理论框架；同时，现代电子计算机的发明及迭代反过来也证明了图灵提出的逻辑通用计算理论模型的正确。
并且，1936年图灵发表的论文（见上文）和1937年的论文《可计算性与λ可定义性》，图灵给出可计算性理论:存在一个图灵机， “能解”图灵可计算的任何函数（即图灵可计算函数）。更有趣的是他证明了图灵机与丘奇λ演算的等价性，拓广了丘奇（Church）的“丘奇论题”而形成“丘奇-图灵论题”，使得图灵可计算同任何人提出的每一个合理的计算函数具有等价的问题求解机制。由此可以看出图灵不仅给出图灵可计算函数集合的边界，又给出了可计算函数无限的拓展空间，从而也扩充了逻辑的内涵。就如艾伦·B.唐尼《复杂性思考·复杂性科学和计算模型》中阐述:“这些可计算性的定义捕获了一些与任何特定计算模型无关的本质。”因此，图灵的数理逻辑也成为现代理论计算机科学和计算复杂性理论发展的基础。（未完待续）#读书，我们是认真的[超话]##AI智能##视频百亿流量扶持计划# http://t.cn/A6kDZJEl