帕斯卡算术机——数学天才的十余年匠心
☞ 欢迎来到神奇的01世界 ☜
第一之争
契克卡德确实早于帕斯卡涉足机械计算,且史料表明,至少曾有一台计算钟是制作成功的。然而,就在这样确凿的证据面前,「机械计算第一人」的说法仍然存在争论,主要有以下几点原因:
- 契克卡德没有留下看得见摸得着的实物;
- 他的设计描述相对笼统、不可靠,即使是改进后的复制品,超过3位的连续进位就需要人为干预才能完成;
- 计算钟从来没有真正投入过使用,用现在的话讲就是始终处于概念阶段;
- 帕斯卡独立设计,并不知晓契克卡德的工作;
- 计算钟也没有对后续的计算机发展起到启发作用。
如果将契克卡德视作机械计算第一人,那么准确地说,帕斯卡就是机械计算「成功的」第一人。
早年
1623年6月19日,帕斯卡出生于法国一个叫克莱蒙费朗(Clermont-Ferrand)的城市,在三岁时就失去了母亲,好在父亲艾蒂安·帕斯卡(Étienne Pascal)在当地任职法官,算个小贵族,即使独自拉扯着三个孩子,日子也还算富余。1631年,帕父干脆卖掉了法官之职(那时的法国职位是可以买卖的),把卖到的一大笔钱都投资了利息可观的国债,衣食无忧的一家人随即搬去巴黎,过上了大城市的生活。
艾蒂安没有再婚,他把精力都用在了亲自培养三个天赋异禀的孩子身上。他对科学和数学颇有研究,可谓虎父无犬子,教育出来的孩子也聪慧过人,其中自然是我们的主人公小帕斯卡最为出众。他自小就精通数学,独立发现了许多欧几里得的几何定理(比如三角形的内角之和为180°),有段时间艾蒂安甚至担心这样的偏科会影响到他希腊文和拉丁文的学习,居然禁止他学习数学。(屏幕那头咬牙切齿辅导着数学作业的家长们朋友们请默默体会,这种天才之父的奢华烦恼。)结果禁止也没用,小帕斯卡直接拿着煤炭在墙上打草稿……
原本一家人就这样平平淡淡地过着子从父教的日子就好,然而世事难料,好景不长。1638年,为了应对三十年战争,当时执政的红衣教主黎塞留(Cardinal Richelieu)不惜一切代价动用国债,导致艾蒂安的资产瞬间缩水九成——真是比卖房炒股还痛的领悟。不仅如此,他还因反对黎塞留的这种野蛮做法而被迫逃离巴黎,把三个孩子寄留在邻居家里。后来还是黎塞留在观看了一次有其小女儿参与的少儿演出之后觉得这小姑娘表现不错,才赦免了艾蒂安。
真可谓人生如梦起起落落,1639年,51岁的艾蒂安还被任命为鲁昂市(Rouen)的税务总管。
战时的鲁昂税务一片紊乱,艾蒂安的工作涉及大量枯燥而繁重的加减计算,明明现在Excel里一个公式就能搞定的事在当时却是件大耗精力的苦力活。
为了减轻父亲的负担,1642年,年仅19岁的帕斯卡发挥自己的聪明才智,着手制作起机械式计算机。刚开始的制作过程并不顺利,请来的工人只做过家用的一些粗糙器械,做不来精密的机器,帕斯卡只好自己上手,亲自学习机械制作。到1545年公开成果的时候,帕斯卡研制的原型机已有50台之多。
算术机
帕斯卡的机器被称为Pascaline,俗称算术机(arithmetic machine),只能做加减运算。
从外表看,机器的上半部分是开着6个小窗口的读数区,下半部分则是6个肩并肩紧挨着的置数旋钮。显然,盒子内部的示数轮与置数轮是联动的。乍看之下,似乎只实现了契克卡德计算钟的加法器部分,结构十分简单。
置数旋钮的造型很别致,十根辐条从中心发散,像个车轱辘,却没有下手的地方,需要用一支小笔戳在辐条之间的空档,顺时针拨动,直至撞上底部那根类似留声机唱针的固定小棍。这种置数方式像极了老式的转盘电话机。
读数区有根长长的横条,可以上下移动,总是挡着示数轮的一半。这样的设计用意何在呢?这得从它核心技术——进位机构说起。
进位机构
帕斯卡起初的设计与契克卡德的单齿进位机构类似(尽管他并不知道计算钟的存在),是一种长齿进位机构——齿轮的10个齿中有一个齿比另外9齿稍长一些,正好可以与旁边代表更高数位的齿轮啮合,正转实现加法的进位,反转实现减法的借位。
这类进位机构有着一个很大的缺陷——齿轮传动的动力来自人手。同时进行一两个进位还好,若遇上更多位的连续进位——你可以想象,如果是999999+1,从最低位一直进到最高位,长齿全部与下一位齿轮啮合,齿轮旋转起来相当吃力。你说你力气大,照样能转得动旋钮没问题,可齿轮本身却不一定能承受住这么大的力,搞不好容易断裂。
为了解决这一缺陷,帕斯卡尝试了各种改进方法,却发现再精妙的齿轮设计都无法绕开连续进位的魔咒。这个问题不解决,制造机械式计算机就是扯淡。这位天才思前想后,最后破天荒地想到了借助重力——他设计了一种叫sautoir的装置,sautoir
来自法语sauter
,意为「跳」。
低位齿轮在旋转过程中将sautoir抬起,每当转过9回到0时,sautoir便掉落,其上的爪子推动高位齿轮转动36°,整个过程sautoir就像荡秋千一样从一个齿轮「跳」到另一个齿轮。上一个进位与下一个进位分离,连续进位时产生多米诺骨效应。
往后的一百多年里,许多机械师都对这种前无古人后无来者的绝妙设计赞不绝口。帕斯卡本人对自己的发明更是相当满意,他夸张道:有了sautoir,机器做到一万位数,用起来也和两位数没差。然而,连续进位是没问题了,sautoir却有着一个致命缺陷——不能反转,这就给使用前的置零制造了麻烦,需要从个位开始依次将每一位数转到9,而后在个位上加1以产生连续进位,完成所有位的置零。一万位的机器做出来恐怕也没人敢用吧!
进位搞定了,减法怎么办?
「一万位」毕竟只是个牛皮,实不实现问题不大,可齿轮不能反转的话,怎么实现减法呢?这仍然难不倒我们的帕斯卡——既然只能做加法,那有没有一种方法可以将减法转换成加法呢?结果他还真想出了一种用加法代替减法的方案,正是计算机中沿用至今的补码思想。
十进制下的补码是补九码(9's complement):对于一位数,1的补九码就是8,2的补九码是7,以此类推,原数和补码之和为9即可。在6位数中,a的补九码就是6个9减去a。设6位数的补九运算为CP()
,用公式表示就是:
利用简单的数学技巧(结合律),便可将减法运算转换为有补码参与的加法运算:
敲黑板,划重点:两数之差的补码,等价于被减数的补码与减数之和。
帕斯卡在示数轮上标了两排数字,一排是原数0~9
,一排是一一相应的补码9~0
,补码在上,原数在下。不论转到哪个数字,其补码也一同出现。
做加法时挡住补码露出原数,做减法时反之,但任何置数都是对下排的置数。加法与计算钟类似,无需赘言,这里说说减法怎么做。以笔者生日1991年3月15日为例,计算
首先,置零后将挡板移到下面,露出上排补码:
补码的补码就是原数。输入被减数1991的补码998008,上排自动显示为1991:
给998008加上减数315,下排得998323,上排自动显示为001676,便是最终结果:
整个过程用户看不到下面一排数字,其实玄机就在里头,原理非常简单,上下排互为补码,09一轮回,却很有意思。
算术机的历史地位
与契克卡德计算钟的默默无闻不同,帕斯卡的成果一经展示便惊艳了众人,这「众人」还都是上流社会的众人。1649年,路易十四甚至授予了类似于专利的皇家特权,帕斯卡成为唯一一个可以在法国设计、生产机械计算机的人,这可是皇权庇佑下的垄断,何等殊荣啊。
可惜的是,直到1654年,从算术机的正式亮相近十年过去了,却只卖掉了20台左右。尽管这20台的设计一代更比一代强,考虑到法国当时的货币使用12进制和20进制、长度单位又使用6进制和12进制,部分算术机还为会计师和测量员提供了这些进制的计算能力,位数也有5位到10位的多样选择。十年商业化之路灯火阑珊,主要还是因为成本太高、售价太贵,机器计算的繁荣时代尚未到来,算术机没有摆到真正需要它的办公桌上,而是渐渐沦为有钱人的私人玩物与藏品。
但这并不影响算术机成为17世纪最成功的机械计算机(后来的莱布尼茨计算机也只能甘拜下风),它不仅是史上第一次真正投入使用的计算机,还是17世纪唯一实用的计算机、第一次获得专利(皇家特权)的计算机、第一次商业化的计算机。恁多的「第一」加身,也无怪乎许多学者不承认契克卡德是「第一」了。
现存的算术机有9台,7台藏于法国和德国的几处博物馆,1台在IBM,1台在法国的一位私人藏家手上。
后话
帕斯卡一生的成就颇丰,毫不夸张地说,算术机仅是其中很不起眼的一个。
数学领域
1639年,年仅16岁的帕斯卡就提出了著名的帕斯卡定理(Pascal's theorem)——内接于圆或圆锥曲线的六边形,其三对对边的交点处于同一直线。这一定理成为后来射影几何学的重要基础。
当时的大数学家笛卡尔根本不相信这一定理出自一个16岁的少年之手,并一度怀疑是他父亲艾蒂安的思想。这不禁让我想起,当年也有不少人猜测《三重门》是韩寒父亲的作品。这种吃瓜群众的「unbelievable现象」,时常从侧面体现出这些天才的年轻人杰出到了多么令人难以置信的程度。
1653年,帕斯卡发现了二项式系数在三角形中的排列规律,尽管比杨辉晚了400年,比贾宪晚了600年,著名的杨辉三角/贾宪三角还是拥有了第三个别称——帕斯卡三角(Pascal's triangle)。
1654年,受上流社会的一位赌徒之托,帕斯卡与大数学家费马(Pierre de Fermat)合作研究了赌博中的概率问题,一不小心又奠定了概率论的基础。
物理领域
1647~1648年,帕斯卡发现了液体传递压力的能力,并建立了流体力学中著名的帕斯卡定律(Pascal's law),成为现在广泛应用的液压系统的理论基础。
他还对真空和大气压颇有研究,发现了大气压随高度变化的规律。正是在压强方面的诸多成就,我们干脆将压强的单位定为了「帕斯卡」,简称「帕」。
哲学领域
在1654年停止了算术机的生产之后,帕斯卡将余生中的更多时间花在了对宗教和哲学的思索上。1662年,自小体弱多病的他在刚过完39岁生日的两个月后便英年早逝。1670年,后人将其生前的哲学散文集结出版,留下了在哲学史上影响深远的经典之作《思想录》(Pensées)。
参考文献
- Wikipedia. Blaise Pascal[EB/OL].
- 百度百科. 布莱士·帕斯卡[EB/OL].
- Wikipedia. Pascal's calculator[EB/OL].
- MechanicalComputing. How the Pascaline Works[EB/OL].
- Wikipedia. Pascal's theorem[EB/OL].
- Wikipedia. Pascal's law[EB/OL].
帕斯卡算术机——数学天才的十余年匠心相关推荐
- 历史上那些差点被扼杀的数学天才,考试、偏见都是凶手
几乎从来不存在数学传说 在阿富汗,人们在黑板上面演算数学 数学天才常被人们误解. "天才"一词会唤起嫉妒之情.它描绘了一群预先确定的少数人,这些人真正掌握了一门学科.这些人是被选中 ...
- 数学天才放弃赴美留学出家
数学天才放弃赴美留学出家 来源:网易 2014-06-06 19:31:13 导语拿国际奥林匹克数学竞赛满分金牌,入读北大喜欢上佛教出家 按:明天全国高三学生将赴高考战场,为这一天不知父母付出了多少, ...
- 完全相同的4个小矩形如图所示放置_3个数学难题——走进传奇数学天才的数字游戏...
于今年4月死于COVID-19的传奇数学家约翰·霍顿·康威像孩子一样喜欢发明拼图游戏.他对许多谜题进行了详细的分析,例如索玛立方体,钉纸牌和康威的士兵.他发明了"末日算法"(一种在 ...
- 荐书 | 攻克世纪难题,拒绝领取菲尔兹奖的孤独数学天才的一生
今天小木给大家介绍五本数学科普文,了解了一些数学家研究数学.证明猜想的经历,他们的专研精神简直让小木五体投地!这也验证了一句经典名言"念念不忘,必有回响".希望我们都能把时间奉献给 ...
- 那个拒绝北大教授,却坚持留在美国做服务员的数学天才,现状如何
"人往高处走"意味着一个人有进取心,有自己的追求,这是无可厚非的,但又面临了另一个问题,毕业于名校的中国学子留学国外后便选择了放弃中国籍,一句"人往高处走"能说 ...
- 提携数学天才陶哲轩的伯乐是谁?
2015年9月17日,美国加州大学洛杉矶分校的数学家陶哲轩(Terence Tao)宣布破解埃尔德什猜想(the Erdős Discrepancy Problem),整个数学界为之兴奋. 同样的兴奋 ...
- 他,是数学天才,是多复变解析函数的创始人
法国不仅是艺术的天堂,还是科学家们的圣地,欧洲虽然是个多国林立的地区,但是这些国家之间的关联还是相当紧密的,像德国音乐家贝多芬可以在奥地利维也纳发展成名,英国浪漫主义诗人可以成为希腊民族独立运动的领导 ...
- 北大数学天才出家12年后还俗引热议,当年放弃MIT全奖,如今主动降薪1万
Alex 发自 凹非寺 来源 | 量子位 QbitAI 出家十二载的北大数学天才柳智宇,如今下山还俗了. 18岁时,他获得国际数学奥林匹克竞赛满分金牌,顺理成章地被保送到中国"第一学府第一系 ...
- 26 岁数学天才回国任教,刚以中科大教授之名攻破世界级难题
点击上方蓝色小字,关注"涛哥聊Python" 重磅干货,第一时间送达 转自:量子位 一位26岁的中国数学天才,最近被全网点赞. 原因之一,他刚攻破了一道世界级的难题. 据其所在单位 ...
- 26岁数学天才回国任教,刚以中科大教授之名攻破世界级难题
公众号后台回复"图书",了解更多号主新书内容 杨净 发自 凹非寺 量子位 报道 | 公众号 QbitAI 一位26岁的中国数学天才,最近被全网点赞. 原因之一,他刚攻破了一道世界 ...
最新文章
- 趋势型指标——MACD
- 【ABAP】BASE64加密及解密
- MyEclipse - 查询使用的JDK版本
- 国庆佳节,我们有好礼相送!
- 我的YUV播放器MFC小笔记:添加删除自定义分辨率
- 7. jQuery 效果 - 滑动
- python的安装以及使用和文本编译器的安装使用
- Maven实战从入门到精通(全)
- Python优化算法06——人工鱼群算法
- 5G应用加速落地,酷雷曼VR直播应时而生。
- 什么是搜索引擎?搜索引擎有哪些?
- 微信缓存dat怎么转图片_微信dat文件转换为图片
- excel 多列内容合并为一个单元格
- 如何将修改Tomcat的默认端口(8080)到80端口
- Pytorch深度学习实战教程:UNet语义分割网络
- 携程、艺龙、酷讯演绎在线旅游三国志
- 君子生非异也,善假于物也。【借助外力获取能量,主动改善生存环境。】
- 锤子手机获工信部入网许可:清晰照曝光
- 开源截图软件Greenshot
- 2020.03.08测试题4