Hero Image
柯西的遗产

柯西是个疯子,和他打交道毫无办法;可是如今,他是唯一懂得数学应该怎样做的人。 — 尼尔斯·亨里克·阿贝尔,致霍尔姆伯的信(1826) 柯西发表了大约 800 篇论文和七部著作。法国科学院编辑的《柯西全集》从 1882 年到 1974 年陆续出版,共 27 厚卷。在数学家当中,只有欧拉和极少数几个人留下了规模相当的著作。 以他命名的成果 柯西列和收敛的柯西准则,这是康托尔定义实数的基础。 根值判别法、凝聚判别法以及两个级数的柯西乘积。 柯西–施瓦茨不等式,以及柯西对平均值不等式的证明。 柯西中值定理,它为洛必达法则提供了依据。 柯西–黎曼方程、柯西积分定理、柯西积分公式和留数定理。 柯西主值,它通过在麻烦点两侧对称地切除一小段,使 $\int_{-1}^{1} \frac{dx}{x}$ 这样的积分有了意义。 微分方程的柯西问题,它问初值是否决定解;以及柯西–柯瓦列夫斯卡娅定理,它对解析函数回答了这个问题。 固体力学中的柯西应力张量和光学中的柯西色散公式。 行列式的柯西–比内公式和关于有限群的柯西定理。 凸多面体的柯西刚性定理。 《分析教程》中研究的柯西函数方程 $f(x + y) = f(x) + f(y)$。 概率论中的柯西分布,它的形状就是阿涅西曲线,而且没有平均值。 严格性 影响最大的是态度的转变。柯西之后,分析中的一个结果只有从清晰的定义出发得到证明才算数,而那些定义都是他的:极限、收敛、连续、导数、积分。下一代的魏尔斯特拉斯、戴德金和康托尔完成了这项工作,纠正了柯西过于相信直觉的地方,比如一致收敛。但他们翻修的大厦是柯西的。 路易·格雷瓜尔与德诺制作的柯西石版画像,约 1840 年,下方有这位数学家的签名。Louis Grégoire、Deneux · 维基共享资源 · 公有领域 其人 同时代人形容他虔诚、对穷人慷慨、不知疲倦,而且几乎无法相处。他在政治和宗教上毫不妥协,总想让同事改宗,为发现的优先权据理力争,作为科学院的审稿人下手很重。阿贝尔和伽罗瓦都有理由抱怨他,工程师让-维克托·彭赛列还指责他窃取了自己关于射影几何的想法。与此同时,他为了忠于一个誓言甘冒断送前程的风险,宁可离开巴黎八年,也不背弃自己的信念。在柯西的一生中,很难把科学家与那个有信仰、有党派的人分开。 纪念 古斯塔夫·埃菲尔在 1889 年把 72 位法国科学家和工程师的名字刻在埃菲尔铁塔上,柯西是其中之一。月球上静海里有一座柯西环形山;巴黎、索镇以及法国其他好几座城市都有以他命名的街道。 刻在埃菲尔铁塔东南面的柯西之名,位列古斯塔夫·埃菲尔纪念的 72 位科学家之中。Juanedc · 维基共享资源 · CC BY 2.0 练习:柯西函数方程在《分析教程》中,柯西证明了:对所有 $x, y$ 满足 $f(x + y) = f(x) + f(y)$ 的连续函数,只有 $f(x) = cx$ 这种形式。重做这个论证。 设 $c = f(1)$。取 $x = y = 0$,得 $f(0) = 2f(0)$,所以 $f(0) = 0$。反复相加,对每个正整数 $n$ 有 $f(n) = nf(1) = cn$;又由 $f(x) + f(-x) = f(0) = 0$,负整数也成立。对正整数 $q$,$c = f(1) = f\!\left(q \cdot \frac{1}{q}\right) = q\,f\!\left(\frac{1}{q}\right)$,所以 $f\!\left(\frac{1}{q}\right) = \frac{c}{q}$,$f\!\left(\frac{p}{q}\right) = c\,\frac{p}{q}$。公式在所有有理数上成立。每个实数都是有理数的极限,而 $f$ 连续,所以对所有 $x$,$f(x) = cx$。

Hero Image
拉普拉斯变换

对数把乘法变成加法:要把两个数相乘,就把它们的对数相加,再变回来。拉普拉斯变换对微分方程做了类似的事:把导数换成乘法。先解一个代数方程,再变回来。 起源 拉普拉斯是通过概率得到这个想法的。在 1812 年的《概率的解析理论》中,他用母函数来组织计算:不直接处理一串概率,而是处理一个把它们全部储存起来的函数。这个想法的连续版本是一个积分,欧拉早先用过,但拉普拉斯对它做了系统的探索: $$F(s) = \int_0^{\infty} e^{-st} f(t)\,dt.$$每个函数 $f(t)$ 都变成一个新函数 $F(s)$,即它的拉普拉斯变换,记作 $\mathcal{L}\{f\}$。 几个例子 对常数 $f(t) = 1$: $$\mathcal{L}\{1\} = \int_0^{\infty} e^{-st}\,dt = \left[-\frac{e^{-st}}{s}\right]_0^{\infty} = \frac{1}{s} \quad (s > 0).$$对指数函数 $f(t) = e^{at}$,两个指数合并: $$\mathcal{L}\{e^{at}\} = \int_0^{\infty} e^{-(s-a)t}\,dt = \frac{1}{s-a} \quad (s > a).$$导数变成乘法 使变换有用的性质来自一次分部积分: $$\mathcal{L}\{f'\} = \int_0^{\infty} e^{-st} f'(t)\,dt = \Big[e^{-st}f(t)\Big]_0^{\infty} + s\int_0^{\infty} e^{-st} f(t)\,dt = sF(s) - f(0).$$对 $f$ 求导,相当于把 $F$ 乘以 $s$(再减去初始值)。微分方程变成代数方程,而初始值已经包含在计算里了。 一个电路 在一个由电阻和电容组成、接在电池上的电路中,电容两端的电压 $y(t)$ 在适当的单位下满足 $$y' + y = 1, \qquad y(0) = 0.$$对两边做变换:$sY - 0 + Y = \frac{1}{s}$,即

Hero Image
螺旋泵、铁爪与镜子

普鲁塔克写道,阿基米德认为工程是一种次要的活动,他也没有留下任何关于自己机械的著作。尽管如此,正是这些机械让他在同时代人中出了名。古代文献描述了好几种,可信程度相差很大。 阿基米德螺旋泵 一个倾斜的圆筒,里面有一条螺旋,或者外面缠着一根螺旋形的管子,下端浸在水中。转动圆筒时,每一份水都被困在螺旋的一道褶里,一圈一圈地往上升,最后从上端流出来。公元前 1 世纪的历史学家西西里的狄奥多罗斯把这项发明归于阿基米德,说是他在埃及逗留期间发明的,那里人们用这种机械灌溉尼罗河两岸的田地,也用来排出矿井里的水。 最简单形式的阿基米德螺旋泵:一根螺旋缠绕在倾斜圆柱上的管子,1908 年的插图。Chambers’s Twentieth Century Dictionary · Wikimedia Commons · 公有领域 有些历史学家认为这种装置更古老,阿基米德只是改进或推广了它。无论如何,螺旋泵至今仍在使用:污水处理厂用它提升污泥,而巨大的螺旋反向转动时,就成了建在落差很小的河流上的小型水电站。 保卫叙拉古 在围城之后不到一个世纪写作的波利比乌斯是最可靠的来源。据他说,阿基米德准备了各种尺寸的投石机,可以在任何距离上打击罗马战船;在城墙上开了一掌宽的小射孔,弓箭手可以从中射击而不暴露自己;还造了吊车,从城墙上把巨石或铅块砸到船上。 最可怕的机械是铁爪:一根臂上装着铁钩,系在链子上,能钩住船头,借杠杆的配重把它吊起,再突然松开,使船翻覆或沉没。波利比乌斯说,马塞卢斯苦笑着开玩笑,说阿基米德把他的船当作勺子,从海里舀水。 燃烧镜 阿基米德用镜子聚集阳光烧毁罗马舰队的故事,在波利比乌斯、李维和普鲁塔克的书中都没有出现。它出现在晚得多的作者笔下,最详细的记载来自 12 世纪的拜占庭人约翰·策策斯。现代试验的结果并不确定。2005 年,麻省理工学院的学生用 127 面平面镜,在强烈的阳光和晴朗的天空下照射了几分钟,点燃了 30 米外一个静止的木质船体。电视节目《流言终结者》试了好几次,结论是对付移动中的船,这种方法行不通。大多数历史学家把这个故事当作传说。 天象仪 西塞罗说,在叙拉古的战利品中,马塞卢斯只给自己带回罗马一件东西:阿基米德制作的一个球仪,能显示太阳、月亮和行星的运动,甚至能显示日月食。在安提基特拉岛附近的一艘沉船中发现了一台公元前 2 世纪的希腊齿轮装置,能计算天体位置,此后这段描述就更可信了。没有证据表明这台装置与阿基米德有关,但它说明这类机械在希腊工程师的能力范围之内。 练习:螺旋泵的流量一台阿基米德螺旋泵每分钟转 30 圈,螺旋每转一圈带上 2 升水。它一小时能提升多少立方米水?要灌满一个 10 立方米的蓄水池需要转多少圈? 每分钟:$30 \times 2 = 60$ 升。每小时:$60 \times 60 = 3600$ 升,即 $3.6$ 立方米。10 立方米 = 10 000 升,需要 $\frac{10\,000}{2} = 5000$ 圈,约 2 小时 47 分钟。

Hero Image
图片来源

历史图片与照片 全部来自维基共享资源(Wikimedia Commons)。我们使用共享资源提供的缩略图,缩小到 800 像素宽,未作其他编辑。 玛丽亚·加埃塔纳·阿涅西像,埃内斯塔·莱尼亚尼·比西据玛丽亚·隆吉的素描所作雕版画(1812):原始页面 · 公有领域。 书桌旁的阿涅西,让·弗朗索瓦·博齐奥素描,大都会艺术博物馆藏:原始页面 · CC0。 《分析讲义》第一卷扉页(米兰,1748):原始页面 · 公有领域。 箕舌线作图的图版,出自《分析讲义》第一卷(1748):原始页面 · 公有领域。 博洛尼亚大学任命文书(1750):原始页面 · 公有领域。 安东尼奥·弗朗切斯科·弗里西《历史颂词》中的肖像(1799):原始页面 · 公有领域。 特里武尔齐奥救济院,米兰,Joaquin008 摄:原始页面 · CC BY-SA 4.0。 布雷拉宫的阿涅西半身像,米兰,Giovanni Dall’Orto 摄:原始页面 · 署名后可自由使用。 阿涅西去世地点的纪念牌,米兰,Bramfab 摄:原始页面 · CC BY-SA 4.0。 本站绘图 封面和四幅交互图(箕舌线的作图、切线与拐点、曲线下的面积、柯西抽样的平均值)都是本站原创插图,文字有网站每种语言的版本。 记录 文件 data/agnesi_imagens.json 记录了每张下载图片的来源、许可、核实日期和 SHA-256 哈希值。各主题的历史资料来源列在每篇文章末尾。 阿涅西的全部主题 · ← 阿涅西的遗产

Hero Image
威廉·罗恩·哈密顿的遗产

哈密顿原理已经成为现代物理学的基石,物理学家期望每一种物理现象都与之相符。 — 埃尔温·薛定谔(1943) 哈密顿相信四元数会是他的伟大作品,是未来物理学的语言。他在细节上错了,在本质上对了。物理学采用了吉布斯和亥维赛的向量,但哈密顿自己认为不那么重要的力学,却成了此后几乎一切的基础。 在物理学中 量子力学。 在薛定谔方程中,系统的能量是一个算符,即哈密顿量 $\hat H$。计算一个原子的能级,就是求它的哈密顿量的本征值。 统计力学与混沌。 哈密顿的相空间,其中每个状态是一个点,是统计热力学和混沌理论的舞台。刘维尔定理,即相空间中的体积守恒,是哈密顿方程的直接推论。 光学。 特征函数仍被用于光学系统的设计,而锥形折射在二十一世纪又借助激光重新得到研究。 在数学与计算中 代数。 哈密顿放弃交换律,打开了通往抽象代数的大门:矩阵、八元数、李代数、克利福德代数。认为可以按照一个问题的需要发明一种代数,这一思想在很大程度上出自他。 图形与导航。 四元数让电子游戏角色、电影摄像机、机器人手臂、太空望远镜以及你口袋里的手机转动起来。 图论。 哈密顿回路是计算复杂性理论的核心问题之一。 在都柏林 爱尔兰在 1943 年 11 月为纪念四元数发现一百周年发行的半便士邮票。爱尔兰邮政 · Wikimedia Commons · 公有领域 1943 年,在那座桥的百年纪念时,爱尔兰发行了两枚印有哈密顿头像的邮票,曾当过数学教师的政府首脑埃蒙·德瓦莱拉推动了纪念活动。当时住在都柏林、在德瓦莱拉创办的高等研究院工作的薛定谔,就哈密顿的工作做了演讲。1958 年,布鲁姆桥上安放了取代已消失刻字的纪念牌。自 1990 年起,每年 10 月 16 日,数学家们都会进行哈密顿散步,从邓辛克天文台走到那座桥,重走 1843 年的路线。获得诺贝尔奖的物理学家默里·盖尔曼和史蒂文·温伯格,以及数学家安德鲁·怀尔斯,都曾参加过。 J. 柯克伍德根据 C. 格雷的素描制作的威廉·罗恩·哈密顿爵士蚀刻像。Wellcome Collection · Wikimedia Commons · CC BY 4.0 怎样评价他 哈密顿是一个没有熄灭的神童:21 岁时他已有自己的原创理论,38 岁时在一次散步中做出了最伟大的发现。他也是一个个人生活艰难的人,饮酒过度,在凌乱中工作。但他留下的启示是一种自由:算术的规则并不神圣。当一个问题需要一种新的代数时,只要它是自洽的,就可以把它发明出来。二十世纪的数学正是凭着这种自由建立起了它的种种结构。 改变了含义的词 除了“向量”和“标量”,哈密顿还创造了 tensor(张量)一词,用来指四元数的大小,即把它“拉伸”的那个数。1898 年,德国物理学家沃尔德马·福格特把这个词借来描述晶体中的应力,带着这个新含义,它进入了爱因斯坦的广义相对论。哈密顿创造的三个词中,只有“张量”失去了原来的意思。

Hero Image
约翰·冯·诺依曼的遗产

我有时会想,像冯·诺依曼这样的大脑,是否意味着一个比人类更高级的物种。 — 诺贝尔物理学奖得主汉斯·贝特,据诺曼·麦克雷转述 这一系列中的八篇文章只展示了冯·诺依曼所做工作的一部分。完整的清单装满了六卷文集,几乎遍及他那个时代数学的每一个分支。 纯数学 算子代数。 1929 年到 1943 年间,他部分与弗朗西斯·默里合作,创立了今天称为冯·诺依曼代数的算子代数理论,这是分析学和数学物理中最活跃的领域之一。 遍历定理。 1932 年,他证明了一个版本的定理,为统计物理的一条原理提供了依据:一个量对时间的平均等于对所有可能状态的平均。 希尔伯特第五问题。 1933 年,他解决了希尔伯特在 1900 年提出的问题之一的紧致情形,这个问题问的是连续群何时自动是“光滑”的。 经济、天气与战略 经济增长。 在一篇 1937 年发表、几年前已在普林斯顿的一个研讨会上报告过的论文中,他构建了一个扩张经济的模型,并用与极小极大相同的数学证明了均衡的存在。这是数理经济学的奠基文献之一。 天气预报。 1950 年,由朱尔·查尼领导、冯·诺依曼参与的小组在 ENIAC 上做出了第一次数值天气预报:24 小时的预报花了大约 24 小时来计算。今天预报天气和气候的模型都是那次实验的后代。 核战略。 冷战中,博弈论被用来思考军备竞赛,冯·诺依曼参与了洲际导弹的规划。与这种推理相联系的“相互确保摧毁”一语,至今仍概括着一个时代。 “奇点”这个词 1958 年,斯坦尼斯瓦夫·乌拉姆写了一篇纪念他朋友的文章。文中他回忆起一次谈话,谈到技术进步不断加速,似乎正在接近“人类历史上某个本质性的奇点,越过它,我们所知的人类事务就无法继续下去”。这是这个词在这一意义上有记录的首次使用,几十年后它成了关于人工智能讨论的主题。 约翰·冯·诺依曼在洛斯阿拉莫斯的证件照,摄于 1940 年代。Los Alamos National Laboratory · Wikimedia Commons · 须署名 怎样评价他 冯·诺依曼既是本世纪最抽象的数学家之一,又是最深入参与科学军事应用的人之一,这两者在他的故事里密不可分。他帮助创造的计算机是为计算炸弹而诞生的,很快又转去计算天气、市场和蛋白质。博弈论诞生于一篇关于室内游戏的论文,最后进入了核战略手册和手机频段的拍卖。 他留下的启示,是一位不尊重学科边界的数学家的启示。他把物理学、经济学和计算机都当作数学可以派上用场的地方,而数学几乎总是派上了用场。 IAS 的存储器能装下多少 1952 年的高等研究院计算机有一个由 1024 个“字”组成的存储器,每个字 40 位二进制数字,存放在阴极射线管中。也就是 $1024 \times 40 = 40\,960$ 比特,或 $5\,120$ 字节:比这一段文字在你手机上占的空间还少。就是用这样的存储器,运行了氢弹的计算、天气预报和生物进化的模拟。 练习:IAS 的存储器一张 1 GB($10^9$ 字节)的存储卡能装下多少个 IAS 存储器? 每个 IAS 存储器有 $5\,120$ 字节。$\frac{10^9}{5\,120} \approx 195\,000$。今天的一张小卡片能装下冯·诺依曼那台计算机近二十万倍的存储器。

Hero Image
艾伦·图灵的遗产

图灵相信机器会思考。图灵和男人睡觉。所以机器不会思考。 — 艾伦·图灵,致诺曼·劳特利奇的信(1952) 这个苦涩的三段论,是图灵在被定罪后不久写给一位朋友的,它概括了他的一生:一个用逻辑思考的人,被不理解他的人审判。然而,他留下的成果无处不在。 在计算机科学中 图灵机仍然是“计算”的正式定义。当计算机科学家说一个问题“没有算法”时,意思是没有图灵机能解决它;当他们说一个问题“难”时,数的是图灵机需要走多少步。 从这种计数中产生了这个领域最著名的问题——P 与 NP:每个解很容易验证的问题,是否也都很容易找到解?拼一幅拼图很难;检查一幅拼好的拼图很容易。没有人知道这种差别是真实存在的,还是只是我们不够聪明。克雷研究所悬赏一百万美元,奖给回答这个问题的人。 自 1966 年起,美国计算机协会每年颁发图灵奖,它被视为计算机领域的诺贝尔奖。 在密码学和统计学中 对恩尼格玛的战争表明,一种密码的安全不在于密钥的数量,而在于没有能一下子排除大部分密钥的缺陷。现代密码学就诞生于这个教训。而分班经由 I. J. 古德,帮助把贝叶斯统计带回了科学的中心。 在生物学和人工智能中 形态发生的方程是一整个领域——图案的数学生物学——的基础。而模仿游戏在机器已经能够对话的今天,仍是任何关于机器能否思考的讨论的参照。 曼彻斯特萨克维尔公园里的图灵雕像,2001 年揭幕。他坐在长椅上,手里拿着一个苹果。David Dixon · Wikimedia Commons · CC BY-SA 2.0 补偿 几十年里,图灵在战争中的工作是国家机密,他的定罪则是不被提起的话题。1983 年,数学家安德鲁·霍奇斯写的传记出版,情况开始改变。随后有了: 2001 年,在大学旁边的一座公园里,竖起了曼彻斯特的雕像; 2009 年,英国政府的道歉; 2013 年的王室赦免,以及 2017 年赦免其他被定罪者的法律; 印有他头像的 50 英镑纸币,于 2021 年 6 月 23 日——他的生日——发行。 要记住的 1936 年:图灵机定义了什么是计算,通用机预示了存储程序计算机。 1936 年:停机问题表明有些问题没有机器能回答,可计算数表明几乎每个实数都遥不可及。 1939–1945 年:恩尼格玛的计数与缺陷、炸弹机,以及带着分班的班伯里法。 1950 年:模仿游戏用一个测试取代了“机器会思考吗?”这个问题。 1952 年:形态发生解释了扩散如何产生图案。 练习:验证很容易有人说 $8633=89\cdot97$。验证它要花多少功夫?如果没有提示,要找到这两个因数又要花多少功夫? 验证只需一次乘法:$89\cdot97=89\cdot100-89\cdot3=8900-267=8633$。寻找则要试除到 $\sqrt{8633}\approx93$ 为止:从 2 到 89 一共 24 个素数,只有最后一个成功。对于几百位长的数,验证仍然瞬间完成,寻找却变得不可行。互联网的密码学就建立在这种不对称上。

Hero Image
图片来源

历史图片 全部来自维基共享资源(Wikimedia Commons)。我们使用共享资源提供的缩略图,未作编辑。欧几里得生前没有留下任何画像;流传的欧几里得形象都是很久以后的艺术家想象出来的。 俄克喜林库斯纸草,载有命题 II.5,约公元 100 年,宾夕法尼亚大学博物馆:原始页面 · 公有领域。 《雅典学院》局部,拉斐尔,1509–1511 年:原始页面 · 公有领域。 奥利弗·伯恩版中的命题 I.47,伦敦,1847 年,Mirko Junge 扫描:原始页面 · 公有领域。 《几何原本》第一个印刷版,埃哈德·拉特多尔特,威尼斯,1482 年,Folger Shakespeare Library:原始页面 · CC BY-SA 4.0。 《几何原本》阿拉伯文版,纳西尔丁·图西校订本,罗马,1594 年,霍顿图书馆:原始页面 · 公有领域。 本站绘图 封面、等边三角形的作图、毕达哥拉斯定理的图和配方的图都是本站原创插图,并为网站的每种语言制作了相应版本。配方的例子 $x^2+10x=39$ 和练习 $x^2+8x=65$ 来自本站旧的巴斯卡拉公式课程,其中的图已重新绘制;3、4、5 和 6、8、10 的例子以及版本表来自旧的几何和三角学课程。 记录 文件 data/euclides_imagens.json 记录了每张下载图片的来源、许可、核实日期和 SHA-256 哈希值。各主题的历史资料来源列在每篇文章末尾。 欧几里得的全部主题 · ← 欧几里得的遗产

Hero Image
帕斯卡的赌注:是一笔计算,不是一个证明

许多人听说过帕斯卡“证明了上帝存在”。他并没有这样做,而且明明白白地说过这是做不到的。他提出的东西更耐人寻味:既然理性无法裁决这个问题,那就换一个问题。不问“上帝存在吗?”,而问“押哪一边更划算?”。然后用他刚刚和费马一起发明的数学——公平分配赌注的数学——来回答这第二个问题。 一张写满涂改的纸 《思想录》的手稿纸页,帕斯卡去世后被粘贴在一本大册子里,摄于 2016 年法国国家图书馆的展览。帕斯卡在碎纸片上写作,朝着不同方向书写,还涂改了很多。ActuaLitté · Wikimedia Commons · CC BY-SA 2.0 晚年的帕斯卡为一本捍卫基督教的书收集笔记,但这本书始终没有写成。1662 年他去世后,朋友们找到了几百个片段,有些是用剪刀剪下来、再用线串起来的,并在 1670 年以《思想录》为题出版了其中的一部分。 关于赌注的那个片段是一张对折的纸,两面都写满了字,页边和倒过来的方向上还有补充。编者用它开头的几个词来称呼它:“无限,虚无”。这是帕斯卡和一位不信者之间的对话,这位对话者或许是以他在巴黎社交生活中结识的赌徒为原型的,比如德·梅雷骑士。 理性无法裁决 出发点是承认无能为力: 上帝存在,或者不存在。可是我们倒向哪一边呢?理性在这里什么也决定不了。有一片无限的混沌把我们隔开。在这无限距离的尽头,正进行着一场游戏,结果将是正面或反面。你押什么? — 布莱兹·帕斯卡,《思想录》,片段“无限,虚无” 对话者回答说,正确的做法是什么也不押。帕斯卡拒绝了这条退路: 是的,但必须下注。这并不由你选择:你已经上了船。 — 布莱兹·帕斯卡,《思想录》,片段“无限,虚无” 像信者那样生活,或像不信者那样生活,本身就已经是一种选择。不选择,就等于选择了后者。 四格表 今天,人们把这个赌注写成一张表。有两种选择和两种世界状态: 上帝存在 上帝不存在 信 无穷的收益:“无限幸福的无限生命” 损失很小:一些享乐 不信 失去一切 得到很少:同样那些享乐 帕斯卡分三步走遍这张表,每一步都比前一步更有力。哲学家伊恩·哈金在 1972 年的一篇文章中指出,这是三个不同的论证,而第三个是一笔期望值的计算。 第一步:占优。“如果你赢了,你赢得一切;如果你输了,你一无所失。那就毫不犹豫地押他存在吧。”如果“信”在每一列都更好或一样好,那就根本不需要计算。 **第二步:机会均等时的计算。**对话者反驳说,他还是会失去一些东西。帕斯卡承认这一点,并像掷骰子那样算账:在输赢机会均等时,押一条命去赢两条命是值得的;押一条命去赢三条命而不押,就是愚蠢。 **第三步:无穷。**如果机会并不均等呢?帕斯卡回答说,这无关紧要: 这里有无限幸福的无限生命可以赢得,一个赢的机会对有限个输的机会,而你押上的是有限的。 — 布莱兹·帕斯卡,《思想录》,片段“无限,虚无” 计算 设 $p$ 是你认为上帝存在的概率,无论多小,但大于零。设 $c$ 是信仰生活的代价,是一个有限的数,$G$ 是上帝存在时的收益。信的期望值是 $$E(\text{信})=p\cdot G-(1-p)\cdot c.$$如果 $G$ 有限,结果可以是任何值:它取决于 $p$、$G$ 和 $c$。但帕斯卡令 $G=\infty$。于是,对任何 $p>0$, $$p\cdot\infty-(1-p)\cdot c=\infty,$$任何有限的选项都无法与之竞争。这和分配赌注是同一个思想:每个赌注的价值等于奖金乘以机会。不同的是,现在奖金是无穷大。 一本仿冒本中《思想录》的第一页,这是照 1670 年版翻印的盗版。第一章题为“驳无神论者的漠不关心”。Clermont Auvergne Métropole · Wikimedia Commons · CC BY-SA 4.0 这不是证明 请注意这笔计算没有说什么。它丝毫没有提高概率 $p$。一个原来认为上帝存在的机会是千分之一的人,在赌注之后仍然认为是千分之一。这个论证关乎该怎么做,而不关乎什么是真的。