数学家如何知道他们的证明是正确的？

谁能肯定地谈论无穷大？在不知道所有神秘素数的情况下，我们能真正了解它们吗？正如科学家需要数据来评估他们的假设一样，数学家也需要证据来证明或反驳猜想。但在数论的无形领域中，什么才是证据？在这一集中，Steven Strogatz 与哈佛大学数学教授Melanie Matchett Wood交谈，了解概率和随机性如何帮助为数学家所要求的严密论证建立证据。

在Apple Podcasts 、 Spotify 、 Google Podcasts 、 Stitcher 、 TuneIn或您最喜欢的播客应用程序上收听，或者您可以从Quanta流式传输。

梅兰妮·马切特·伍德

Melanie Matchett Wood (02:09)：嗨，很高兴与您交谈。

Strogatz (02:11): 很高兴和你交谈，我是一个忠实的粉丝。让我们来谈谈数学和科学之间的关系，因为这两个词经常一起使用，但是我们在数学中用来证明和确定性的技术与我们在科学中试图做的有些不同。例如，当我们谈到在数学中收集证据时，它与在科学中通过科学方法收集证据有什么相同或不同之处？

伍德(02:38)：数学证明是绝对无懈可击的、完整的逻辑论证，某些数学主张必须是这样，而不能是其他任何方式。所以不像科学理论——根据我们今天的证据，这可能是我们拥有的最好的理论，但我们会得到更多的证据，你知道，在接下来的 10 年里，也许会有一个新的理论——一个数学证明说某些陈述必须是这样的，我们不可能在 10 年或 20 年后发现它会是错误的。

Strogatz (03:17)：嗯，什么样的东西可以算作数学中的证据？

Wood (03:19)：所以你可能会在很多例子中看到某些事情是正确的。并且基于它在很多例子中是正确的，你可能会说这是事实的证据，你可能会做出一个猜想，数学家会称之为猜想，猜测某事是真的。但是，数学家想要的是一个证明，证明你在这么多例子中看到的那个东西总是会按照你声称的方式工作。

Strogatz (03:49)：是的，与证据的分量非常不同。这是一个声明，为什么某事将永远、永远、在任何情况下都是真实的，这是有原因的。

伍德（03:58）：不仅仅是“哦，好吧，我看过一百万个案例，每个案例都是如此。”这是猜测或推测它总是正确的理由。但是在数学中，我们将这种可能基于大量案例或证据的猜测与拥有定理或证明（一种告诉您它适用于每种情况的论据，即使是您拥有的那些）区分开来没试过。

Strogatz (04:25)：现在，仅仅是数学家天生挑剔，还是在某些情况下，看起来像是真实的东西，在非常多的可能性中，最终不是真实的，超出了其他一些数字？

伍德(04:39)：哦，那是一个很好的问题。好吧，这是我喜欢的一个例子，因为我喜欢素数。所以当你遍历质数——2、3、5、7——你可以做的事情之一时，你可能会说，“嘿，它们能被 2 整除吗？”事实证明这不是很有趣。在 2 之后，它们都不能被 2 整除。它们都是，它们都是奇数。

(05:10) 然后你可能会想，“嗯，它们能被 3 整除吗？”当然，在 3 之后，它们也不能被 3 整除，因为它们是素数。但是，您可能会注意到其中一些，当您将它们除以 3 时，您会得到 1 的余数，它们比 3 的倍数多 1。所以像 7 之类的东西，即 1 比 6 或 13 ，即 1 比 12 多。其中一些素数，如 11 或 17，即 2 比 15，当你将它们除以 3 时，它们的余数将为 2，因为它们比 a 多 2 3的倍数。

(05:47) 所以你可以在团队中考虑这些素数。第 1 组是所有比 3 的倍数多 1 的所有组，第 2 组是所有比 3 的倍数多 2 的组。当你遍历素数并列出素数时，你可以列出所有素数，你可以统计一下，看看有多少人在第 1 队，有多少人在第 2 队。如果你统计到 6000 亿，在每个点上，每个数字都达到 6000 亿，你会发现团队 2 的质数比团队 1 的质数多。因此，基于该证据，您可能会自然而然地推测，团队 2 的质数总是比团队 1 的质数多。

Strogatz (06:33)：当然。听起来完全像。

伍德：结果是，大约 6080 亿，我忘记了确切的数字，它改变了。

Strogatz (06:46)：哦，来吧。

伍德：是的，它真的变了。现在突然之间，第 1 队处于领先地位。所以，这是一个——

Strogatz (06:53)：等一下。等等，但这太神奇了。什么——现在，他们一直在变化吗？我们知道你继续前进会发生什么吗？他们不断变化吗？

Wood (07:01)：是的，很好的问题。所以，事实上，他们将无限频繁地改变线索是一个定理。

Strogatz (07:07)：真的吗？

伍德：所以他们会继续交易线索。但是当你研究质数时，这是一个非常好的例子，你要记住，仅仅因为前 6000 亿个案例中的某些事情是正确的，并不意味着它永远都是正确的。

Strogatz (07:25)：哦，哇。好的。好的。所以，和一般情况一样，你如何从猜想变成证明？

Wood (07:31)：这在很大程度上取决于具体情况。我的意思是，在许多数学案例中，我们有猜想但没有证明。所以从猜想到证明没有什么简单的方法，否则我们就不会有这么多著名的未解决问题，你知道，有一些——一些猜想，人们认为某事以某种方式起作用，但我们没有不确定。但是，你知道，有时这个猜想可能会暗示某些事情是真的的原因。有时它只是数学理论，它建立在人们已经发展了数百年的越来越多的数学理论之上，为我们提供了足够的工具和结构来理解事物，我们提出了一个证明。但这并不是猜想必然导致证明。这个猜想可能会激发人们去寻找证明，但证明的产生方式可能与猜想本身是完全分开的。

Strogatz (08:31)：是的，我有兴趣列举或列出无法证明的证据类型，这会使人们相信值得尝试去证明。

Wood (08:41): 是的，我们可以称之为证据的另一件事不仅仅是例子，那就是启发式。启发式可能类似于论证，但严格程度要低得多。就像，这看起来好吗？不是“我绝对肯定地确定了这一事实，毫无疑问吗？”但是“确实如此——是的，这似乎很合理。”因此，启发式可能是一条看起来很合理的推理，你知道，但实际上并不是一个严格的论点。所以这是一种证据。

(09:12) 有时我们可能有一个模型，我们认为该模型捕获了我们试图理解的数学系统的基本元素，因此您会推测您的系统与您的模型具有相同的行为。

Strogatz (09:30)：好的。在某些时候，我想听听一些模型和猜想的例子，你知道，它们在某些问题上起作用或不起作用的程度，但是，如果你不介意，我会喜欢回到一些个人的小事，有点，因为我们在这里谈论数字，而你是一个数论家。人们在日常生活中可能不认识很多数论家。所以，我想知道你能不能告诉我们什么是数论，还有，为什么你觉得它很有趣？你为什么来研究它？

Wood (10:02) 嗯，数论是对整数的数学研究。所以，想想 1, 2, 3, 4, 5。特别是，整数中最重要的东西之一是素数。正如你所解释的，在一开始，它们是我们可以通过乘法构建所有其他数字的基石。因此，因为数论关注的是所有这些整数，所以它也关注它们的构建块、素数，以及其他数字如何影响素数以及它们是如何构建出来的——由素数构成。

Strogatz (10:37)：所以，对于我们今天的目的，数论将是对整数的研究，特别是对素数感兴趣。这似乎是一个不错的开始。我想还不止这些。但也许这对我们来说是一个很好的定义。你认为是吗？

伍德（10:50）：很好，这是一个好的开始。我的意思是，从那里开始，人们会探索更多的东西，比如，如果你开始考虑比整数更复杂的数字系统怎么办？就像您开始输入其他数字一样，例如 2 的平方根，那么质数和因式分解会发生什么？你会被引导到更多的问题。但老实说，仅在整数和素数中就有很多丰富而美丽的数学。

Strogatz (11:16)：那么考虑到这一点，你为什么觉得它很有吸引力？你为什么喜欢数论的研究？是什么吸引了你？

Wood (11:22)：我想我喜欢这些问题可以如此具体。你知道，我去和小学生聊天。我可以告诉他们，你知道的，我想的一些事情。所以，对我来说，做一些事情很有趣，一方面，问题可能如此具体，但另一方面，试图解决它的难题可能如此困难。我的意思是，几千年来，人们一直试图回答关于整数、素数的问题。

(11:54) 还有很多数学分支。现代数论的重要组成部分之一是，要在人们长期研究的这些顽固的老问题上取得进展，需要引入新的思想，并需要与数学的其他部分建立联系。因此，即使我称自己为数论家，我也会使用来自所有不同领域的数学。从学习，你知道，几何和拓扑和空间的形状到概率和研究随机性。我使用了各种各样的数学，但试图谈论诸如整数、素数和因式分解之类的事情。

Strogatz (12:36)：是的，我喜欢将数学视为这个巨大的相互联系的思想网络的愿景，你可以希望生活在你最喜欢的特定部分。但是你提到质数是数论中一个特别感兴趣的领域，它是它最基本的部分，真的。他们有什么难的？目前尚不清楚，在我们的讨论中，那里有什么神秘之处？就像我们已经定义它们一样，我想我们可能会继续列出它们。你所指的那些已有数百年历史的问题是什么？

伍德(13:05)：嗯，最大和最重要的问题之一，可能大约有 120 年的历史，是，你说，“哦，你可以列出它们。如果你这样做，你会找到多少？”所以假设你列出了质数，最多一百，或一千，或十万，或一百万，十亿。当您列出越来越大的素数时，您所经历的这些数字中有多少实际上是素数？因此，理解数量确实是黎曼猜想的核心，这是克莱数学研究所千年奖问题之一，答案将获得一百万美元的奖金。这是最著名的问题之一，我们不知道该怎么做，它实际上只是一个问题，当你列出这些素数时，你会找到多少？

斯特罗加茨(13:58)：好的。这很有趣，对吧？因为当你开始列出列表时，即使有人只是随便开始列出最大为 100 的数字——你也会注意到一些有趣的事情。就像，在第一次 11 和 13 时，他们是 2 分开的。 15，好吧，那行不通，因为它可以被 5 和 3 整除。然后是 17，所以现在在 13 和 17 之间有 4 的差距。但是然后 19 又接近了。我不知道，我的意思是，素数之间的间距可能有点不稳定。就像有时那里有一个相当大的差距，有时它们彼此相邻，仅相距2。

Wood (14:31): 是的，所以理解间距和那些间隙也是一个令人感兴趣的大问题。在过去十年中，在理解素数间距方面取得了显着进展。但仍有一个非常诱人的基本问题，我们不知道答案。所以你提到了这些素数，11 和 13，只是相距 2。所以这样的素数称为孪生素数。我们不能指望素数之间的距离小于 2，因为在 2 之后，它们都必须是奇数。这是数学中的一个悬而未决的问题，这意味着我们不知道答案，那就是： 是否存在无限多对孪生素数？所以这里有一个猜想，猜想是，是的。我的意思是，不仅有一个猜想“是的，它们应该永远存在，而且应该永远存在更多”，而且甚至还有一个关于你会发现多少的猜想。但那是完全开放的。据我们所知，可能是一旦你得到一个非常大的数字，它们就会停止，你根本就找不到更多的孪生素数对。

Strogatz (15:40): 有一些非常诗意的东西，辛酸的，那个想法，就像，这可能在某个时候结束。我的意思是，我们俩可能都不相信。但有可能，我猜，可以想象最后一对孤独的双胞胎依偎在黑暗中，就在外面，你知道，在数字线上。

伍德(15:57)：是的，有可能。而且，你知道，作为数学家，我们会说，你知道，我们不知道。即使您可以绘制一个图表来说明您找到了多少，如果您绘制该图表，它看起来确实确实以永远不会 – 永远不会转身的速度上升和上升。但我想这是数学和科学之间区别的一部分，我们保持怀疑并说，好吧，我们不知道。我的意思是，也许在某个时候，图表会转过来，然后就没有了。

Strogatz (16:29)：所以，我喜欢你的图表形象，因为我认为每个人都可以理解这个想法，制作图表，制作某种图表。你知道，把素数看作是一种数据。而且，所以我认为这可能是我们转而开始讨论概率论的好时机。谈论与素数有关的概率和统计数据似乎有点奇怪，因为这里没有机会。素数是由我们给出的定义决定的，即它们不可整除。但是像你一样的数学家和数论家在思考素数时使用了统计或概率论据。我想知道你是否可以使用抛硬币为我画出类似的东西，然后回到我们开始讨论的奇数和偶数。

伍德(17:14)：好的。所以与素数不同，我们实际上非常了解奇数和偶数的模式。当然，它们会变得奇数、偶数、奇数、偶数。但是假设我们不理解这种模式。我们正在使用它来了解如果您查看所有高达一百万的数字，您可能会找到多少个奇数。你可以想象，既然有两种可能性，一个数字可能是奇数或一个数字可能是偶数，也许有人会为每个数字掷硬币，如果硬币正面朝上，则该数字是奇数。如果硬币出现反面，则数字是偶数。所以你可以让你的掷硬币的人沿着数字线走，在每个数字上掷硬币，然后它会出现，比如说，要么宣布这个数字是奇数，要么是偶数。

(18:03) 现在，一方面，这是无稽之谈。另一方面，抛硬币模型会做一些正确的事情。例如，如果您说，您大致知道，直到一百万的数字中有多少是偶数？我们知道，如果你进行大量的硬币翻转，比如一百万次，大约会出现反面的硬币翻转次数大约是其中的一半。因此，该模型尽管可能很愚蠢，但仍然可以正确做出一些预测。我应该说，这听起来可能很愚蠢，因为我们已经知道这个问题的答案。这个想法是我们为更复杂的模式建立模型，比如素数出现在数字中的位置，而不仅仅是几率出现的位置。

Strogatz (18:55)：是的。我的意思是，我认为我们需要强调这一点——素数是多么神秘。素数没有公式，就像奇数有公式一样。就像如果你想，哦，来吧，这是 – 我们真的在这里谈论荒谬的东西，拥有这些可以预测平均属性的统计模型实际上非常有价值。就像类比一样，小于大数的一半数字将是奇数。在素数的情况下，这是一个非常严肃、有趣的问题。比大数小的数中有多少是素数？而且，正如您所说，您可以制作一个正确的统计模型。然后什么，同样的模型可以用来预测有多少孪生素数会小于一个大数？在这种情况下，相同的模型是否做得很好？

Wood (19:41)：所以在素数的情况下，如果我们要建立一个模型——你知道，并且有一个模型数学家使用，称为素数的克拉梅模型——如果我们要建立一个素数的抛硬币模型我们想象有人沿着数轴走，并且在每个数字上，你知道，掷硬币来决定这个数字是素数还是非素数，我们会将我们所知道的关于素数的尽可能多的信息整合到该模型中。所以首先，我们知道大数比小数不太可能是素数。所以这些硬币必须被加权。而且我们 – 我们必须尝试精确地放入我们期望的权重。我们知道，你不能有两个相邻的素数，因为其中一个必须是奇数，而其中一个必须是偶数。所以我们把它放到模型中。然后还有更多关于素数的知识。

(20:37) 所以这个模型是从这个抛硬币模型开始的，但随后它被所有这些其他规则以及我们所知道的关于素数的所有其他事情所修改。一旦你把我们知道的所有东西都放入模型中，然后你就会问这个抛硬币的问题，你知道，模型，嗯，你有没有看到，无数次，硬币以 2 倍的距离出现质数？模型告诉你，哦，是的，我们确实看到了。事实上，我们以这个非常特殊的速度看到它，我们可以给你一个公式。然后，如果你绘制实际孪生素数的数量，在没有翻转硬币的实际数字中，与模型预测的情况相比，你会看到模型为你提供了对孪生素数对数量的非常准确的预测一路走来，你会发现。然后你想，你知道，也许这个模型知道它在说什么。

Strogatz (21:31)：太好了。我的意思是，这很重要，我们刚刚到达那里，那个 – 你还没有使用计算机这个词。但我假设您不是手动执行此操作。列出孪生素数的人，我不知道，我们在说什么？万亿万亿万亿？我的意思是，这些都是我们正在谈论的大数字，不是吗？

伍德(21:49)：嗯，对于孪生素数的列表，也就是说——绝对是由计算机完成的。但是为了建立这个模型并提出模型给出的公式。你知道，这是手工完成的，本质上，是由数学家思考模型并计算出来的。

Strogatz (22:07)：太酷了。所以这就是模型展示它的东西的地方，模型实际上可以预测计算机看到的东西。而且它不需要计算机来做出这个预测。这可以由人手工完成，并且实际上可以得到证明。除了它是模型属性的证明之外，还不一定是您感兴趣的事物的证明。

伍德(22:28)：对。在某些时候，计算机停止了。你知道，只有这么多的计算能力。但是，你会得到的，模型会给你的，你可以证明的公式是正确的，同样，关于这个模型抛硬币的情况，这个公式将继续下去。您可以将越来越大的数字放入该公式中，这比您的计算机可以计算的要大得多。

Strogatz (22:53)：所以你已经告诉我们一些关于随机性如何帮助建立数论中有趣现象的模型，我相信在数学的其他部分也是如此。在某些情况下，您可以使用随机性来提供实际证明，而不仅仅是模型？

伍德(23:10)：当然。数学的另一个分支称为概率论。在概率论中，他们证明了关于随机系统的定理及其行为方式。你可能会想，好吧，如果你从随机的东西开始，然后用它做一些事情，你总会有随机的东西。但是在概率论中发现的一件非常美妙的事情是，有时你可以从随机的东西中得到确定性的东西。

Strogatz (23:45)：嗯，它是如何工作的？像什么？

伍德(23:48)：是的。所以你已经看到了钟形曲线或正态分布，数学家会称之为。它出现在自然界的各处。就像你看人们的血压，或者婴儿的出生体重，或者其他东西。你可能会想，哦，这个钟形曲线，这是自然的事实。但事实上，有一个定理，称为概率论中的中心极限定理，它告诉你实际上，这条钟形曲线在某种意义上不是自然事实，而是数学事实。中心极限定理告诉你，如果你独立地组合一大堆小的随机效应，那么它的输出将始终匹配某个分布。这个形状，这个钟形曲线。数学和概率论可以证明，如果你有——如果你将许多小的独立随机事物组合在一起，那么所有组合的结果会给你一个看起来像这条钟形曲线的分布。所以——即使你不知道输入是什么样的。这是一个非常强大的定理，也是一个非常强大的数学工具。

Strogatz (25:05)：是的，确实如此。我喜欢你强调你不需要知道小影响发生了什么。那个，不知何故，被洗掉了。不需要该信息。钟形曲线是可以预测的，即使你不知道小影响的本质是什么。只要它们很多而且它们很少。而且它们不会相互影响，对，它们在某种意义上是独立的。

伍德(25:27)：是的，当然。所以这是一个想法，你知道，有时它在概率论中被称为普遍性，如果你输入大量随机输入，你可以预测某些类型的机器的输出。比如，你会得到这个钟形曲线，或者这个正态分布，即使你不知道你在机器里放了什么。当有些事情我们不太了解时，这非常强大，因为——

Strogatz (25:56)：但是，你是在告诉我——哦，我很抱歉打断你的话——但你是在告诉我这也在数论中发生吗？不知何故，我们正在数论中出现普遍性的想法？还是我在做梦？

伍德(26:09)：嗯，在某种程度上，我会说这是我的一个梦想，它正在开始。你知道，我们只是，我们正在迈出第一步，以实现它。所以这不仅仅是你的梦想，也是我的梦想。我今天所做的一些工作以及我和我的合作者正在努力使这种梦想成为现实，这样一些关于我们不知道答案的令人费解的问题，也许我们可以明白有一些模式会出现，比如钟形曲线，比如正态分布，即使我们不知道其中的奥秘，我们也可以证明它们是从机器中出来的。

Strogatz (26:55)：嗯，事实上，这是一个非常鼓舞人心、激动人心的愿景，我希望这一切都能实现。非常感谢你今天接受我们采访，梅兰妮。

伍德(27:03)：谢谢。这很有趣。

播音员(27:06)：如果您喜欢The Joy of Why ，请查看由我主持的Quanta 杂志科学播客，Susan Valot，该节​​目的制作人之一。另外，请告诉您的朋友有关此播客的信息，并给我们点赞或关注您收听的地方。它可以帮助人们找到The Joy of Why播客。

Strogatz (27:26): The Joy of Why是来自Quanta Magazine的播客，这是一份由 Simons Foundation 支持的独立编辑出版物。西蒙斯基金会的资助决定对本播客或Quanta 杂志中的主题、嘉宾或其他编辑决定没有影响。 The Joy of Why由 Susan Valot 和 Polly Stryker 制作。我们的编辑是 John Rennie 和 Thomas Lin，得到了 Matt Carlstrom、Annie Melchor 和 Leila Sloman 的支持。我们的主题音乐是由 Richie Johnson 创作的。我们的标志由 Jackie King 设计，剧集的艺术作品由 Michael Driver 和 Samuel Velasco 设计。我是你的主持人，史蒂夫·斯特罗加茨。如果您对我们有任何问题或意见，请发送电子邮件至 [email protected]。谢谢收听。