计算概论：感性认识计算机

感性认识计算机

`提示：只是用作学习交流经验，如果侵权请联系本人删除。

前言

提示：学习计算机应该抱着热爱的初衷去学习，虽然后来的道路十分艰辛，但是自己选择的路，一定要走完。

关于感性认识计算机：随着时代的不断发展，计算机学习成为了一种趋势，尤其是编程语言已经走进了基础教育，是未来世界每个人都应该掌握了解的知识，本文就用感性的角度去认识计算机，去感受先人的付出和历程，完整地捋过他的发展过程。

`提示：部分资料来源于网络。

一、第一次数学危机：无理数的发现

大约公元前５世纪，不可通约量的发现导致了毕达哥拉斯悖论重视自然及社会中不变因素的研究，把几何、算术、天文、音乐称为"四艺"，在其中追求宇宙的和谐规律性。他们认为：宇宙间一切事物都可归结为整数或整数之比，毕达哥拉斯学派的一项重大贡献是证明了毕达哥拉斯定理（在中国我们叫做勾股定理），但由此也发现了一些直角三角形的斜边不能表示成整数或整数之比（不可通约）的情形，如直角边长均为１的直角三角形就是如此。这一悖论直接触犯了毕氏学派的根本信条，导致了当时认识上的"危机"，从而产生了第一次数学危机。（当然我们很容易得认识到这是根号2）

到了公元前370年，这个矛盾被毕氏学派的欧多克斯通过给比例下新定义的方法解决了。他的处理不可通约量的方法，出现在欧几里得《原本》第５卷中。欧多克斯和狄德金于1872年给出的无理数的解释与现代解释基本一致。今天中学几何课本中对相似三角形的处理，仍然反映出由不可通约量而带来的某些困难和微妙之处。第一次数学危机对古希腊的数学观点有极大冲击。这表明，几何学的某些真理与算术无关，几何量不能完全由整数及其比来表示，反之却可以由几何量来表示出来，整数的权威地位开始动摇，而几何学的身份升高了。危机也表明，直觉和经验不一定靠得住，推理证明才是可靠的，从此希腊人开始重视演绎推理，由此创建了几何公理，就是我们所熟知的几何学，也由此衍生了一系列的几何大师。

二、第二次数学危机：无穷小是不是0

18世纪，微分法和积分法在生产和实践上都有了广泛而成功的应用，大部分数学家对这一理论的可靠性是毫不怀疑的。
1734年，英国哲学家、大主教贝克莱发表《分析学家或者向一个不信正教数学家的进言》，矛头指向微积分的基础–无穷小的问题，提出了所谓贝克莱悖论。他指出："牛顿在求xn的导数时，采取了先给x以增量０，应用二项式（x+0）n，从中减去xn以求得增量，并除以０以求出xn的增量与x的增量之比，然后又让０消逝，这样得出增量的最终比。这里牛顿做了违反矛盾律的手续——先设x有增量，又令增量为零，也即假设x没有增量。"他认为无穷小dx既等于零又不等于零，召之即来，挥之即去，这是荒谬，“dx为逝去量的灵魂”。无穷小量究竟是不是零？无穷小及其分析是否合理？由此而引起了数学界甚至哲学界长达一个半世纪的争论。导致了数学史上的第二次数学危机。18世纪的数学思想的确是不严密的，直观的强调形式的计算而不管基础的可靠。其中特别是：没有清楚的无穷小概念，从而导数、微分、积分等概念也不清楚，无穷大概念不清楚，以及发散级数求和的任意性，符号的不严格使用，不考虑连续就进行微分，不考虑导数及积分的存在性以及函数可否展成幂级数等等。
直到19世纪20年代，一些数学家才比较关注于微积分的严格基础。从波尔查诺、阿贝尔、柯西、狄里赫利等人的工作开始，到威尔斯特拉斯、戴德金和康托的工作结束，中间经历了半个多世纪，基本上解决了矛盾，为数学分析奠定了严格的基础。
删除线格式

三、第三次数学危机：罗素悖论

数学史上的第三次危机，是由1897年的突然冲击而出现的，到现在，从整体来看，还
没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成
的。由于集合概念已经渗透到众多的数学分支，并且实际上集合论成了数学的基础，因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。
1897年，福尔蒂揭示了集合论中的第一个悖论。两年后，康托发现了很相似的悖论。~~
1902年，罗素又发现了一个悖论，它除了涉及集合概念本身外不涉及别的概念。罗素悖论曾被以多种形式通俗化。其中最著名的是罗素于1919年给出的，它涉及到某村理发师的困境。理发师宣布了这样一条原则：他给所有不给自己刮脸的人刮脸，并且，只给村里这样的人刮脸。当人们试图回答下列疑问时，就认识到了这种情况的悖论性质："理发师是否自己给自己刮脸？"如果他不给自己刮脸，那么他按原则就该为自己刮脸；如果他给自己刮脸，那么他就不符合他的原则。

//文章来源作者：我水陆两路

部分解决：哥德尔不完备性定理

哥德尔不完备性定理 第一定理：
任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。

影响：

哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们，真与可证是两个概念。可证的一定是真的，但真的不一定可证。某种意义上，悖论的阴影将永远伴随着我们。无怪乎大数学家外尔发出这样的感叹：“上帝是存在的，因为数学无疑是相容的；魔鬼也是存在的，因为我们不能证明这种相容性。”
但是哥德尔不完全性定理的影响远远超出了数学的范围。它不仅使数学、逻辑学发生革命性的变化，引发了许多富有挑战性的问题，而且还涉及哲学、语言学和计算机科学，甚至宇宙学。2002年8月17日，著名宇宙学家霍金在北京举行的国际弦理论会议上发表了题为《哥德尔与M理论》的报告，认为建立一个单一的描述宇宙的大统一理论是不太可能的，这一推测也正是基于哥德尔不完全性定理。
有意思的是，在现今十分热门的人工智能领域，哥德尔不完全性定理是否适用也成为了人们议论的焦点。1961年，牛津大学的哲学家卢卡斯提出，根据哥德尔不完全性定理，机器不可能具有人的心智。他的观点激起了很多人反对。他们认为，哥德尔不完全性定理与机器有无心智其实没有关系，但哥德尔不完全性定理对人的限制，同样也适用于机器倒是事实。
哥德尔不完全性定理的影响如此之广泛，难怪哥德尔会被看作当代最有影响力的智慧巨人之一，受到人们的永恒怀念。美国《时代》杂志曾评选出20世纪100个最伟大的人物，在数学家中，排在第一的就是哥德尔。