各位书友你们好，今晚我们继续共读《人类的终极命运》第十二章和第十三章，请大家带着以下问题完成今日的晚读：
1.你是一个喜欢讲逻辑的人吗？
2.你知道计算机的最初发明者是谁吗？
如果要追溯计算机的起源，我们恐怕还得从古希腊哲学家亚里士多德开始说起，他是第一个探索思想抽象形式的人，也是形式逻辑学的奠基人。
而逻辑和数学这两门学科与计算机是密不可分的，如果将计算机比作科学大厦，那么逻辑就是基础材料，而数学则是支撑大厦的柱子。
亚里士多德这位“逻辑之父”率先提出了关于三段论的系统理论，他展示了三种办法可以把观察和逻辑结合起来。
一是“演绎法”。演绎法就是，通过事实跟事实来获得事实”，这句话听起来有点绕，咱们还是举个例子来说明。例如，如果A等于B，而B又等于C，那么A就等于C。
二是“归纳法”。归纳法就是，根据一类事物的部分对象具有某种性质，然后推出这类事物的所有对象都具有这种性质。
为了便于理解，咱们再来举个例子：假如一个篮子里有十个鸡蛋，前面9个都是臭的，那么剩下的那个也是臭的，这就是归纳法。
三是“溯因”。是根据观察某些事物的现象特征，然后推测出能够解释该现象的原因。
例如，沙滩上发现了一具尸体，警察观察到尸体身边有奇怪的脚印指向了河岸，通过研究脚印，警察便可推测出嫌疑人大概的长相，以及他在犯罪后去了什么地方。
亚里士多德的逻辑学统治了西方思想数个世纪。直到19世纪，英国的数学家布尔扩展了他的逻辑学，并使用代数等式来表达和进行逻辑判断。这种逻辑代数如今叫做“符号逻辑”。
布尔的逻辑学后来又被弗雷格发扬光大，弗雷格使用布尔的逻辑符号，创造了一套精巧的系统分析逻辑问题。
在研究过程中，弗雷格意识到了在科学和数学中所存在的直觉问题，所谓直觉，就是我们知道一件事是真的，却无法去证明它。
弗雷格指出，如果一个形式系统中排除了直觉，那么系统中对真理的证明就都必须符合逻辑。
因为算数不需要直觉，所以也就不存在不合逻辑的公理。通过证明这一点，弗雷格把数学和逻辑黏合在了一起。
20世纪初，数学家和逻辑学家合二为一，在他们的联盟中，形式系统的思想诞生了。
所谓形式系统是指：包含字母、字的集合以及由关系组成的有限集合。其形式存在三个特征：系统必须具有自洽、有效性、完备性。
通过定义形式系统，数学家和逻辑学家认为自己完成了一项伟大的成就。
然而德国数学家希尔伯特却认为，仅仅定义特性，然后建立数学理论基础是不够的，他要求形式系统的数学理论必须被证明是真的。
希尔伯特之所以怀疑逻辑学与科学的基础，原因在于他发现了形式系统中所存在的严重的漏洞，其中一个最著名的命题是罗素提出的“理发师悖论”。命题如下：
假设一座小镇上只有一个理发师，他是个男的。这个镇上的每一个男人，他要么自己刮胡子，要么去找理发师。
可是问题来了，谁来给理发师刮胡子呢？你看，理发师也是镇上的男人，如果理发师给自己刮了胡子，那就相当于他找了理发师。
可是根据我们的逻辑命题，这事不可能发生：因为他要么给自己刮胡子，要么去找理发师，但是不能两边都做。
理发师没法去找理发师刮胡子，因为他自己就是理发师。因此这个命题对于镇上其他的男人都是真命题，但对于他就是假命题。换言之，这个逻辑系统是不自洽的。
像这样有逻辑悖论的句子还有很多，例如古代著名的哲学家埃庇米尼得斯有句名言：“所有的克里特岛人都说谎。”
但是如果埃庇米尼得斯自己作为一名克里特岛人，那他也是一个说谎者，所以他这句话也是在说谎。
但是他又对他自己说谎这件事说了真话，而他作为骗子我们又不能相信他。这样就只能无限循环下去。
当时罗素和怀特海决定解决这些悖论，但是他们失败了，因为无论他们如何努力解决，疑点总是存在完备性问题。
更糟糕的是，一位年轻的数学家哥德尔，竟然证明了完备性的问题是根本不可能解决的，这就是著名的“不完备性定律”。
虽然许多数学家和逻辑学家，依然希望存在一个算法，可以打败哥德尔的不完备性定律。但是被称为“人工智能之父”的图灵，将他们的希望彻底击破了。
图灵利用哥德尔的不完备性定律，将之转换成新的形式，他把哥德尔算数形式的符号转化为简单的、假想的机器，并通过逻辑运算把机器变成了图灵机，从此点燃了计算机革命的火花。
哥德尔的不完备性定理不仅对逻辑学做出了极大的贡献，也在历史和文化上起到了重要的影响，他的理论揭示了这样一个真理：我们无法证明每一个正确命题的正确性。
这个理论也可以让我们明白这样一个道理：在我们与他人的相处中，我们都不应该把自己的价值观强加于别人，也不要因为他人的价值观与自己不同就无法忍受。
因为从逻辑学的角度来看，我们谁也无法证明自己是正确的，我们必须和自己的直觉与无知好好地和睦相处。
在伦敦博物馆的第二层，是一个现代计算机的历史展区。这一展区从19世纪的计算机器开始展示，这些计算机器是由“现代计算机之父”巴贝奇所设计。
将巴贝奇的差分机作为计算演化史的开端，就像展示人类的演化过程一样，展现了计算机一系列繁复杂乱的历史进程。
巴贝奇是个伟大的奇才，他当时发明的差分机，超出了他那个时代至少一个世纪。
但遗憾的是，由于当时机械制作的工艺水平有限，制造出来零部件精密度不够，再加上在制造过程中，巴贝奇不断地修改设计方案，因此工作进展十分缓慢。
由于时间拖的太长，政府拒绝拿钱出来继续支持他，在贫困交加的情况下，他仍然努力坚持着，直到晚年他已经不能清楚地表达自己的意思了，还依然百折不挠地坚持工作。
但是上帝真的太不公平了！差分机最终没能制造出来，巴贝奇带着满心的不甘和遗憾走了。
然而他所设计出的差分机和解析机，为现代计算机的诞生扫除了许多理论上的障碍，也为现代计算机的发展创造了无限的可能。
如今，巴贝奇时代所不具备的社会经济条件全都备齐了，所有计算机需要的基础技术也都发明了出来，现在唯一欠缺的，只有一个火花，一个事件和一个奇点时间。
好了，今天的共读到这里就结束了，让我们在明天的共读时间里，一起去看看计算机革命的火花是如何被点燃的。
# 话题征集 #
亲爱的书友：
腹中有书气自华，这是今年你在有书读到的第50本书籍。
我们相信越“读”，越向上。关于读书的好处，自然不必多言，那么在阅读的过程中，有哪些原因是阻止你没办法养成良好的阅读习惯，没办法长期坚持读书呢？
太忙没时间？不知道读什么？读不懂？还是……
有书君今日话题 #哪些原因导致你无法坚持阅读# ，关于阅读的小障碍，欢迎大家在下方的留言区畅所欲言。
有书君会挑出精彩留言，赠出神秘的新年大礼哦~
