计算机的本质是什么？逻辑？数学？

时间 2019-11-24

原文原文链接

计算机的诞生

1946年，在美国的宾夕法尼亚大学诞生了第一台现代电子计算机ENIAC。虽然在今天看来ENIAC计算能力连手机，甚至是十几块钱的计算器都比不上，但它在当时倒是至关强大。ENIAC的体积很是庞大，得好几个大房间才能放下它，耗电也至关恐怖，一开机全城家家户户电灯都要变暗。mysql

之因此称ENIAC是第一台现代计算机，是由于现代计算机理论的奠定人是图灵和冯诺依曼。这两个超级天才应该你们都听过，图灵提出了图灵机理论模型，而冯诺依曼设计肯定了现代计算机的基础结构，他以数学语言阐述了计算机模型，将程序和数据都存在存储器中。程序员

timg

思想转为代码

实际上，计算机的发展并不是一蹴而就。现代电子计算机属于狭义上的计算机，而广义上的计算机其实包括全部人类制造出来的计算设备，好比古代的算盘也属于计算机，只不过它是靠人力驱动的，再好比机械式计算机，使用机械齿轮来进行运算。算法

image

在广义上，对于计算机咱们更应该将其理解为一种思想。计算机实际上是为了帮助人类将思想转化为代码仿真出来，这就要求咱们须要先对思想进行解码工做。而在古代就已经有先贤在逻辑学和数学方面进行研究，其中最伟大的思想家就是柏拉图和亚里士多德，他们俩也互为师生关系。sql

亚里士多德首次将哲学与科学分离，并在逻辑方面进行了研究，他认为逻辑是一切科学的基础，是形式逻辑学的创始人奠定人。他将人的思惟和存在联系起来，而后根据实际阐明逻辑。亚里士多德在推理逻辑中提出了三段论：网络

全部动物都会死全部人都是動物因此，全部人都會死数据结构

异类联想

自亚里士多德以来，逻辑学和数学都是分开研究各自发展的。直到后来德国的莱布尼茨哲学家才尝试将它们结合起来，经过将两种现有的思想结合起来，以造成第三种创新思想，即异类联想。后来发展出数理逻辑这门学科，以数理逻辑思想为基础的计算科学也在不断地发展着。对于这些人，他们的目标是将抽象的逻辑用精确的数学符号来表示，并发

对于计算机，多数人会认为计算与逻辑是密不可分的，甚至还有人认为计算的本质其实就是逻辑。而逻辑与数学的关系是，逻辑并不等于数学，只是曾经有人想以逻辑为基础来构建数学。逻辑、计算和数学三者应该如何融合？机器学习

image

调和代数与几何

在笛卡尔以前，代数和几何各自为政，它们是两个独立不一样的学科。然而几何过分依赖图形与形式，代数又过度受公式限制，这都制约了它们的发展。这时法国数学家笛卡尔则经过异类联想将这二者联系了起来，创立了解析几何，从而他也被称为解析几何之父。分布式

笛卡尔发明了如今你们很熟悉的直角坐标系，x轴和y轴，经过坐标系成功调和了几何与代数。今后一个圆能够用方程来描述，也能够用坐标系画图来表示。此外，解析几何也为微积分的创立奠基了基础。学习

image

逻辑与代数的融合

如今估计多数人都没听过布尔，程序员最多也是知道布尔类型，但其实能够说布尔逻辑是计算机的核心理论。莱布尼茨一直的梦想就是将逻辑学和数学进行融合，而英国的数学家乔治布尔则经过异类联想将亚里士多德的三段论与代数结合起来，并发明了二进制，将这个梦想向前推进。

算术可来实现加法乘法，而逻辑主要是或、与等，可否将它们结合起来呢？逻辑或相似于加法，即两个相交集合中，有些元素只属于其中一个集合。逻辑与则是两个相交集合共同拥有的那些元素，这部分相似于乘法。并且是只有在0和1的状况下才能成立，这就将算术与逻辑经过二进制运算链接了起来。

image

香农的二进制

正是克劳德香农将布尔的逻辑运算带入计算机，香农是一名贝尔实验室的工程师。比起有名的科学家，香农的名气不算大，估计只有计算机专业的人有了解过他，并且你们知道他估计也是由于信息论。其实香农的伟大成就还包括他将逻辑融入到计算机内，从而成功将逻辑层和物理层进行分离。得益于香农将逻辑映射到现实物理世界，至此计算机获得了空前的发展。

image

实际上是他将二进制运算与电子器件相结合，实现了逻辑功能，奠基了现在计算机的运算机制。他设计出了相加电路来构造复杂的算术运算，这些电路也成为现代计算机的组件。纵使后面越作越小愈来愈先进的晶体管，也是基于香农的电路原理。

image

图灵的图灵机

图灵机即图灵计算机，是由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽象计算模型。图灵尝试以数理逻辑语言来设计计算机，将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的机器替代人们进行数学运算。

图灵机有一条无限长的纸带，纸带分红了一个一个的小方格，每一个方格有不一样的颜色。一个机器头在纸带上进行移动，机器头有一组内部状态，还有一些固定的程序。在每一个时刻，机器头都要从当前纸带上读入一个方格信息，而后结合本身的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换本身的内部状态，而后进行移动。

每个会决策、会思考的人均可以被抽象地当作一台图灵机，该模型主要有四要素：输入集合、输出集合、内部状态和固定的程序。若是把人进行抽象，那么输入集合就是所处环境中所看到、听到、闻到、感受到的一切；输出集合就是人的每一言每一行，还有表情动做；内部状态集合则能够把神经细胞的状态组合当作一个内部状态，全部可能的状态集合将是天文数字。

-------------推荐阅读------------

个人开源项目汇总(机器&深度学习、NLP、网络IO、AIML、mysql协议、chatbot)

跟我交流，向我提问：

欢迎关注：人工智能、读书与感想、聊聊数学、分布式、机器学习、深度学习、天然语言处理、算法与数据结构、Java深度、Tomcat内核等相关文章