计算机的数学思想源头（回复“计算机数学”可下载PDF典藏版）

计算机的数学思想源头（回复“计算机数学”可下载PDF典藏版）

2018-04-16 数据简化DataSimp

数据简化DataSimp导读：前篇《计算机诞生的详细历史》讲述古代算盘、机械计算机到现代计算机诞生的简史。本篇《计算机的数学思想源头》总结计算机诞生前7大数学思想源、诞生后5个现代几何学应用，约12种计算机的数学思想源头。读《逻辑的引擎》、《数学之美》、哈佛大学丘成桐CNCC2017演讲《现代几何学与计算机科学》、老顾谈几何、算法与数学之美读书笔记、数学理论科学家百度百科，发现用数学方法描述世界、解决问题，是大家的共同核心，是科学发展的核心动力。工程技术实现亦具有难度；而愚昧短视不开明环境，则限制了科学家的思考和研究，无情扼杀了很多科学思想。

目录

计算机的数学思想源头（20260字)1

01 计算机科学简史 (1228字)1

02 计算机的数学思想源头 (11436字)4

▌1 [德]莱布尼茨的符号系统梦4

▌2 [英]布尔把逻辑变成代数5

▌3 [德]弗雷格发明形式句法7

▌4 [德]康托尔对无限的探索8

▌5 [德]大卫希尔伯特的营救9

▌6 [捷克]哥德尔完备性定理10

▌7 [英]图灵构想的通用计算机12

▌8 第一批通用计算机的诞生13

▌9 超越莱布尼茨智能之梦14

03 现代几何学在计算机科学5大领域的应用 (7322字)14

▌1 现代几何的历史及几何学重要概念15

▌2 几何学与计算机科学的相互影响16

▌3 几何学在计算机科学的应用案例16

▌4 总结与展望20

参考文献(506字)20

Appx(626字).数据简化DataSimp社区简介21

 强烈谴责超市银行、学校医院、政府公司肆意收集、滥用、倒卖公民姓名、身份证号手机号、单位家庭住址、生物信息等隐私数据！

01 计算机科学简史 (1228字)

计算机科学史简史A Brief History of Computer Science

在过去六十年左右的时间里，计算机已经从房间大小的巨型机器（megaboxes），转变成台式机（desktops）、笔记本电脑（laptops）到我们的口袋产品（pockets）。但是machine-assisted human computation机器辅助人类计算(“计算机”最初指的是某个人，不是某机器）的真正历史可追溯更早。这个星期是计算机科学教育周（Computer Science Education Week），为了庆祝世界科学节（the World Science Festival）开始，我们回顾一下人类最好的朋友——电脑的悠久历史。

历史记录中第一个计算器是算盘（abacus），它帮助古代技术人员获得了比贸易伙伴更多的优势，而贸易伙伴仍在手工计算奶牛（cows）和金龟子(amphorae双耳细颈椭圆土罐amphora名词复数)。

图1 数字最初是角的个数抽象出来的

已知最古老的复杂计算设备（complex computing device）是追溯到公元前87年（87 B.C），古希腊使用的一种称为“安蒂基西拉机器”（the Antikythera mechanism）的装置。据推测，希腊人使用这种齿轮操作的装置(gear-operated contraption，20世纪早期在爱琴海的一艘沉船中发现的，但直到2006才意识到它的意义)来计算天文位置（astronomical positions）、帮助他们在海洋中航行。

1843年的，计算又取得了一次飞跃。英国数学家爱达·勒芙蕾丝（Ada Lovelace）与查尔斯·巴贝奇（Charles Babbage他发明了第一台可编程计算机的理论。）合作，写了第一个计算机算法。

现代计算机时代（the modern computing-machine era）始于艾伦·图灵（Alan Turing）关于图灵机的概念（conception of the Turing Machine），三位贝尔实验室（Bell Labs）的科学家发明了晶体管（the transistor），使得现代计算成为可能，并使他们获得1956年诺贝尔物理学奖（the 1956 Nobel Prize in Physics）。几十年来，计算技术（computing technology）是政府和军方独有的；后来，学术机构上线，史蒂夫·沃兹尼亚克（Steve Wozniak）为苹果I型计算机（Apple-1）设计了电路板，使家用计算变得可行。

连接方面，提姆（=Timothy）·伯纳斯·李（Tim Berners-Lee）创建了万维网（the World Wide Web），马克·安瑞森（Marc Andreessen）创建了浏览器（a browse），这就给我们展示了一种生活在一个眼镜可以告诉我们所看到的东西的世界中。

随着可穿戴计算机（wearable computers）、可嵌入芯片（embeddable chips）、智能电器（smart appliances）以及其他正在进展和即将到来的进步，开发更智能、更快和更有能力的计算机的旅程显然才刚刚开始。

*文|世界科学基金World Science Foundation，作者：陈依莉和朱莉·罗斯曼Eli Chen and Julie Rossman。[1]

图2 文章配图Infographic：朱莉·罗斯曼Julie Rossman.[2]

AI时代来临，在大多数研究者仍然没有掌握计算机设计制作技术精髓的情况下，很难相信如何跨过计算机科学“弯道超车”步入人工智能科学。我们必须了解这些过程，理解计算机、人工智能是如何诞生，背后的科学思想和原理是什么？加油！只会空想空谈喊口号表忠心可不行。（秦陇纪，2018）

在高等数学、离散数学、计算机基础等课程的学习中，我们已经了解到：莱布尼茨、乔治·布尔、康托、哥德尔、图灵、冯诺依曼等科学家。但死知识应试导向的教育教学中，我们的数学等学科太注重知识本身，而忽略了知识是如何被发现产生出来，以及不同的知识之间的渊源和启发关系。对于人类来说，文字知识是记录人类智能和思想的手段，而非终点。把文字考试作为教育目标，是极其简单粗暴、不负责任的。从启迪思想来说，应试是舍本逐末。这方面，愚昧落后的教育者要负愚民无耻的责任。

 

02 计算机的数学思想源头 (11436字)

简化《逻辑的引擎》里数学理论科学家和百科人物介绍，在他们的时代被地主贵族资助、有一定自由做研究，其中涉及计算机诞生的思想。本文专注于理解这些与计算机诞生相关的伟大数学家及其数学思想，以及智能机器之梦怎样产生发展和解决问题的，我称之为计算机科学背后的数学基础。

 

▌1 [德]莱布尼茨的符号系统梦

戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz，1646年7月1日－1716年11月14日），德国哲学家、数学家，历史上少见的通才，被誉为十七世纪的亚里士多德。莱布尼茨在数学史和哲学史上都占有重要地位。在数学上，他和牛顿先后独立发明了微积分，而且他所使用的微积分的数学符号被更广泛的使用，莱布尼茨所发明的符号被普遍认为更综合，适用范围更加广泛。莱布尼茨还对二进制的发展做出了贡献。在哲学上，莱布尼茨的乐观主义最为著名；他认为“我们的宇宙，在某种意义上是上帝所创造的最好的一个”。他和笛卡尔、巴鲁赫·斯宾诺莎被认为是十七世纪三位最伟大的理性主义哲学家。莱布尼茨在哲学方面的工作在预见了现代逻辑学和分析哲学诞生的同时，也显然深受经院哲学传统的影响，更多地应用第一性原理或先验定义，而不是实验证据来推导以得到结论。莱布尼茨在政治学、法学、伦理学、神学、哲学、历史学、语言学诸多方向都留下了著作。[3]

 

1646年，莱布尼茨出生于德国莱比锡。10岁时学习了两千多年前亚里士多德提出的逻辑系统，唤醒他的数学兴趣。他对亚里士多德把概念分成固定的”范畴”着了迷，使他产生了一个伟大构想：将人类思维像代数运算那样符号化、规则化，从而让笨人通过掌握这样的规则变得聪明，更进一步制造出可以进行思维运算的机器，将人类从思考中解放。[4]莱布尼茨所确定的微积分符号在今天依然沿用，他对符号具有良好的感觉，通过选择良好的符号，可以大大的简化运算的复杂性。他满怀热情地指出发明“推理演算”和“逻辑代数”的重要性，甚至提出了“普遍文字”概念将文字运算变成一种“让我们算一下！”的过程。莱布尼茨为发展一种逻辑演算进行了很多尝试，得到的一些结果已经具有后来布尔的逻辑代数的雏形。

1673年，莱布尼茨在第一次访问伦敦时展示了一台能够执行四种算数基本运算的计算机模型，使得他被一致推选为伦敦皇家学会会员。在这之前，帕斯卡设计了一台能够进行加减运算的机器，但他的机器还能进行乘除运算，这是历史上第一次。这台机器包括了一个天才的部件——“莱布尼茨轮”，直到20世纪这个部件都在计算装置上普遍使用。1674年他又描述了一种能解代数方程的机器。[5]

他的目标，就是把推理归结为一种演算，并且制造出能够完成这些演算的机器。不幸的是，资助他的汉诺威公爵去世后，继任者要求他完成资助时陈诺的修订公爵家族史（好追溯到公元600年），而不是拿着资助到处拜访学者（期间在柏林建立了一个科学协会，后来成为科学院）。大科学家后30年基本陷入矿山挖矿、和牛顿派争斗等俗事废了。另外，他的博士论文首次被拒，在另一所大学通过。

 

▌2 [英]布尔把逻辑变成代数

乔治·布尔（George Boole，1815.11.2～1864），1815年11月2日生于英格兰的林肯，迫于家庭贫困15岁就去小学当老师、19岁自己在家乡办学校养家。担任15年校长后，直到科克城新成立大学给他提供教职，期间一直靠看书自学。他是19世纪最重要的数学家之一，出版《逻辑的数学分析》[6]是对符号逻辑诸多贡献中的第一次。1854年，他出版《思维规律的研究》[7]，是他最著名的著作，书中布尔将逻辑代数化，介绍了现在以他的名字命名的布尔代数。[8]