原标题：那些为计算机发明奠基的数学家
计算机是一个计算的工具，人们发明计算机的目的是为了加快计算速度，减轻人的工作负担和减少计算错误而驱动的。最有代表性的一个例子就是法国数学家帕斯卡，他的父亲是一个税务官员，工作很辛苦，责任很重。他想减轻父亲的工作负担，就动手设计了一个计算机。
第一个提出近代的机械式计算机的设计思想的是德国人席卡德（1592-1635），他在1623年到1624年间设计的计算机，可以进行四则运算，用齿轮传动，不过席卡德没有制造出机器来。
1642～1644年间，法国数学家帕斯卡设计并制成了第一台机械式计算机——加法机，他的这台机器用齿轮作为主要部件，用手摇动并用手控制，帕斯卡计算机外表如下图所示，尺寸为36×13×8 。1671年，德国数学家莱布尼兹（1646—1716）设计了一种能作四则运算的手摇计算机，1673年制成样机，它的尺寸是100×30×25，主要的部件也是齿轮。
帕斯卡与加法机
第一个研制自动化计算工具的人是英国的巴贝吉（1791—1871），1822年他制成了一台能够执行计算程序的差分机。到1834年，他又构思了一台完全程序控制的计算机，准备用刻有数字的轮子来存储数据，通过齿轮的旋转来进行计算，用一组齿轮和杠杆构成的装置来传送数据，用穿孔卡片输入程序和数据，用穿孔卡片和打印机输出计算结果。尽管因当时的技术条件所限，这台分析机未能制造出来，但巴贝吉的设计思想是不朽的，它与现代电子计算机完全吻合。
差分机
英国数学家布尔（George Boole）为了研究思维规律，在1847年提出了逻辑学的数学模型，又在1854年提出并发表了《思维规律》这部杰作，他采用数学的方法处理逻辑推理，因而布尔代数的问世是数学史一个重要的里程碑。但是像其他的新生事物一样，布尔代数发明后没有受到人们的重视。欧洲大陆著名的数学家蔑视地称它为没有数学意义的、哲学上稀奇古怪的东西。布尔在他的杰作出版后不久就去世了。直到20世纪初，罗素在《数学原理》中指出：“纯数学是布尔在一部他称之为《思维规律》的著作中发现的。”此说一出，立刻引起世人对布尔代数的注意。今天，布尔发明的逻辑代数已经发展成为纯数学的一个主要分支。
布尔
英国数学家图灵提出了当今计算机科学中极为重要的“可计算性”概念, 为了判断所谓的可计算性， 图灵提出了一种理想的计算机模型，就是今天所说的“图灵机” ，它是现代通用程序计算机的理论模型。图灵机从理论上揭示了设计制造电子计算机的可能性。在二战期间，图灵本人也参与了早期电子计算机的设计制造，他亲自设计的“巨人号”专用电子计算机曾成功地破译了德军的作战密码，他因此而荣获英国国防部的荣誉勋章。
美国计算机学会在1966年创立图灵奖，用于鼓励在该领域作出杰出贡献的计算机科学家，这是世界计算机科学领域的最高奖项，有该领域的诺贝尔奖之称。
图灵
美国数学家克劳德·香农(Claude Elwood Shannon)，1938年香农在MIT获得电气工程硕士学位，硕士论文题目是《A Symbolic Analysis of Relay and Switching Circuits》(继电器与开关电路的符号分析)。当时他已经注意到电话交换电路与布尔代数之间的类似性，即把布尔代数的“真”与“假”和电路系统的“开”与“关”对应起来，并用1和0表示。于是他用布尔代数分析并优化开关电路，这就奠定了数字电路的理论基础。哈佛大学的格德纳教授说：“这可能是本世纪最重要、最著名的一篇硕士论文。”
克劳德·香农
1946年，世界上大数学家冯诺依曼参与设计的第一台电子数字计算机（ENIAC） 终于问世了，这是由美国陆军兵器局出资由弹道研究所出技术研制成的。主要应用于弹道计算。当时的ENIAC机仅用30秒钟就出色地完成了从发射到击中目标飞行了一分钟的弹道计算，被称为“比子弹还快”的超人。
在这台电子计算机的设计中，冯诺依曼提出了他一整套的设计思想与原则，因而被称为冯诺依曼机 。该机的运算速度每秒钟5000次，比当时的继电器计算机快1000倍。冯诺依曼也由于他的杰出卓越贡献而获得“计算机之父”的桂冠。
来源：数学职业家
