这个男人即将炸毁数学

一世T是早上7点钟，哈维弗里德曼刚刚用主题行向一个未指明的收件人发了一封电子邮件“停止你在做什么”。它拥有由着名的俄罗斯钢琴家弗拉基米尔霍洛维茨的1951年播放的youtube链接。“由于版权声明，”弗里德曼写道，“youtube有一种模式，”弗里德曼写道，“所以我要求（微笑）你阻止你所做的一切，包括呼吸，吃，思考，睡觉等等在消失之前听到这个。“

他的评论在延伸了几个月的电子邮件链顶部，大致很多消息在上午3点发出时，如中午或下午9点。随意的函数涵盖了广泛的主题，从电子音乐编辑到跨学科的弗里德曼呼叫“Chessmath”。在一点，他建议在家里，他自己是一个三部分“情感音乐会”。电子邮件上的匿名钢琴玩家在阵容上讨论自己的思考。

尽管电子邮件历史上的话题千差万别，弗里德曼还是对所有这些话题提出了同样的问题：它们的基本组成部分是什么？它们受什么样的法律约束？他似乎在寻找正确的词汇——“正确的方式，”他说，“谈论基本思想是什么，把特别的技术细节隐藏起来，并触及事情的实质。”

这并不是说所有这些话题都是平等的。有一个最贴近弗里德曼的心，也是最亲爱的：数学的基础，它关系到数学本身的一致性、统一性和结构。弗里德曼十几岁时第一次读伯特兰·罗素的著作时，这一领域就占据了他的一席之地数学哲学导论。(If you’re thinking it’s not an easy read, you’re right: “Given any class of mutually exclusive classes, of which none is null, there is at least one class which has exactly one term in common with each of the given classes…”) And it consumes him still as a 68-year-old retired math professor living on a leafy street in suburban Columbus, Ohio, sleeping for a few hours at a time, twice a day, so as to free up time to think.

数学的基础也是一个与弗里德曼电子邮件的休闲和光调的鲜明对比 - 这一直是近一个世纪的危机。1931年，奥地利数学家和哲学家哥德尔证明，充足的发展基本的算术任何逻辑系统产生了不能该系统内被证明是真的还是假的陈述。一个这样的陈述：系统本身是一致的。换句话说，没有系统可以证明自己是没有矛盾的。The result seemed to present an insurmountable problem for mathematicians, not so much because it prevented them from ever knowing whether the system their work is built on is consistent (so far there haven’t been inconsistencies), but because it meant their fundamental logic had significant limitations.

把集合论想象成一个腹地，里面有能做未知事情的奇怪生物。

任何希望统一正式的数学理论，努力由Mathematician David Hilbert在19世纪和20日（并被许多其他人接受）的努力被摧毁。数学基础永远不会像希尔伯特通缉一样安全：哥特尔有效地表明，每一个公理系统，无论多么全面，都容易受到无法弥补的孔。通过创建更强的系统填充这些漏洞只会产生无法证明的新陈述 - 因此需要更强大的系统，依此类推，adfinitum。

于是奇怪的事情发生了:数学家们选择了继续前进。他们认为，不完整性与他们自己的工作没有直接关系。通常被称为ZFC (zermelo - frankel公理加上选择公理)的公理，构成了当今最常用的数学基础，为证明定理提供了一个严格的框架。事实上，ZFC是如此的全面，以至于今天的大多数数学家都没有使用它的整个机制。“你可以用一种相当全面的方式来执行希尔伯特的程序，”范德堡大学(Vanderbilt University)的数学家斯蒂芬·辛普森(Stephen Simpson)说，“大约85%的数学知识。”那些证明确实需要比ZFC更有力的东西的陈述，是冗长而深奥的，是对自我引用的句子“我是不可证明的”之类的人为渲染。这在哲学上很有趣，但在做“核心”数学时却被忽略了。

Gödel的不完全性被冷落了，它在集合理论，即对对象集合和不同层次无穷大的形式化研究中找到了自己的家。所有其他数学分支都可以用集合理论的语言来表达——这是任何东西被正式证明的方式——但集合理论本身远远超出了ZFC。你可以把它想象成一个容纳着能做未知事情的奇怪生物的腹地——墙外的土地，如果你是权力的游戏扇子。集合理论家可以使用大基数构造证明，大基数处理更高级别的无穷大，并且太大，无法证明在ZFC中存在。他们可以一头扎进悖论，比如说，证明一个三维球体可以分解成碎片，当重新组合在一起时，形成两个与原始球体相同的球体。

随着墙外的数学是强大的和潜在的破坏性，其概念是如此摘要，就像不完整的那样，他们在很大程度上被其他数学界都忽略了。有些人甚至把它们称为“不自然”。大多数数学家永远不会考虑穿过ZFC和其他数学之间的墙壁。

但这正是弗里德曼所做的。更重要的是，他想把他发现的东西带回来，打破隔离区的不完整性。在过去的50年里，10万多个小时，他喜欢说他一直在寻找一种新的理论，这种理论将引入不完全性的“自然”方式，并将大基数卷入有限数学的日常工作中。

现在，他认为他终于崩溃了。

W.弗里德曼记得，在他四五岁刚开始阅读的时候，他指着一本字典问他妈妈那是什么。她解释说，这是用来找出单词的意思的。几天后，他带着他的结论回到了她身边：这本书一文不值。对于他查到的每一个单词，字典都会让他陷入一个循环：从“大”到“大”再到“伟大”等等，直到他最终再次回到“大”这个词。弗里德曼笑着说：“她只是看着我，好像我是一个非常奇怪的孩子。”。

这是弗里德曼的第一个伴有基础思维的刷子。它将继续在无害的地方播种：他对词典的介绍后不久，他注意到改变父母的杂货账单上列出的物品的顺序并没有影响他们最终支付的总价格。他还没有了解这个属性的名字，但它袭击了和弦。

他的父母并不长时间，他们都在照片排版业务中，从未毕业过大学，以认识到他对数学的能力。弗里德曼说，他的父亲说，最初希望他成为一名工程师 - 但比幸福地鼓励他对数学的萌芽兴趣。有一天，弗里德曼的父亲带着第九级代数教科书回家，他要求从一个住在街上的家庭朋友的儿子那里借钱。继续学习这个，他告诉他自己的儿子。弗里德曼很快吞噬了这些材料。他9岁了。

他的两个兄弟姐妹还提前展现出热敏的定量感。他的妹妹继续学习工程，就像他们父亲所希望的那样，后来作为IBM的计算机程序员;他的弟弟，五年他的初级，还研究了数学逻辑。

弗里德曼发现自己很快就走上了基本追求的道路。他跳过了两年级，参加了大学为天才学生举办的暑期课程，并吸收了所有他能接触到的东西——最终让他找到了罗素的入门教材。几十年后，弗里德曼仍然记得这本书的最后几句话。罗素写道:“正如上述草率的调查所表明的那样，在这个问题上有无数未解决的问题，还有许多工作需要做。”如果这本小书能引导任何一个学生认真地研究数理逻辑，它就已经达到了写这本书的主要目的了。”

没有系统可以证明自己是没有矛盾的。

这本书肯定致力于弗里德曼，最终决定他必须解决那些“无数未解决的问题”。16岁时，他总共经过大学，进入马萨诸塞州理工学院的研究生院，他立即找到了数学家Hilary Putnam。以下学期，他拍了一个Putnam的课程，并在他的第三年和最后一年中，他制定了一个各种议程。他将首先致力于数学的基础，他告诉自己，然后，在花几年后，将转向其他学科：力学的基础，统计，法律，音乐。一切的基础。

在18岁的数学博士学位后，他成为世界上最年轻的教授，据吉尼斯世界纪录. 在2012年退休之前，弗里德曼继续在斯坦福大学和俄亥俄州立大学等多所大学教授哲学和数学。他现在住在俄亥俄州的哥伦布，与他结婚24年的妻子朱迪思·施瓦茨（Judith Schwartz）是一位退休的心理医生。今年七月，他将前往费城，宾夕法尼亚大学的想象力研究所的研究人员将扫描他的大脑，以及另外的6个多科数学。

在他非凡的职业生涯中，弗里德曼从未忘记他向数学基础迈出的第一步，事实证明，数学基础比他想象的更丰富（用他的话来说，这是一种更大的“刺激”）。

E.弗莉在，弗里德曼理解，发现已经存在的陈述中的数学不完整性的具体例子将是一个艰巨的任务。有一个连续的假设，巴黎 - 哈灵顿定理，某些类型的决定性 - 但它们很少。所以他开始使用他建造的理论来写自己，称为仿真理论。它使用来自数学的自然核心的对象：有理数，或两个整数的分数。理性数量存在于集理理论宇宙的非常低水平，数学家对他们感到非常舒适。但通过仿真理论，弗里德曼在他们身上揭示了一个令人惊叹，隐藏的复杂性 - 以及ZFC之外的土地的道路。

他通过比较坐标为0和1之间有理数的点集伪造了这条路径。如果一组共享特定的模式和对称，则称其“模仿”另一组;如果不能在不破坏其对其他集合的模拟的情况下向其添加新点，那么该集合就是一个“最大模拟”。这个看似正常的数字的相对简单的平台是弗里德曼超越ZFC的数学的发射台。

例如，弗里德曼表明，证明了关于哪种集合具有最大仿真的定理需要数学超出ZFC。这样一个定理公司与一家名叫下降对称型对称的，它本身涉及从给定的点下探一行所遇到的各种点做。如果这些行遇到的点共享某些模式，则两个“DROPS”是对称的。

Friedman证明了对于有理立方体中的任何集合（从三个维度到任意数量的维度），在特定的点对之间存在一个具有下降对称性的最大模拟。为了证明这个定理并确定它所适用的点，他必须依赖一个比ZFC更强大的系统。也就是说，在ZFC中，它不能被反驳，也不能被证明。

证明定理不可反驳是一个相当标准（尽管肯定不简单）的过程：证明它在逻辑上遵循大基数公理的一致性。另一方面，证明它是不可证明的则更为困难。他这样做是用矛盾来证明的：他一开始的假设是可以在ZFC中证明他的定理，然后从它构成了一个物体系统，其中ZFC占有。这意味着如果他的定理保持真实，那么ZFC是一致的 - 并且，ZFC已经证明了自己的一致性。但是，由哥德尔的不完整定理，这可能是这种情况。因此，定理不能在ZFC中证明。他正在努力将理论扩展到其他类型的对称性，“最大”和其他类型的物体的其他定义。

弗里德曼的项目与数学本身的数学哲学一样多。

“他创造了一个复杂的最先进的机器，可以将组合物体转变为宇宙，”巴西联邦巴西联邦巴伊亚大学的数学家安德烈·博谟说。“以一种说话方式，弗里德曼给出了意义，然后存在于最初无意义的混乱。”

通过从简单的理性坐标对涉及大型基本假设的一对的简单列表，弗里德曼从似乎安全地躺在ZFC的范围内，以便在它之外安全地撒谎。换句话说，他穿过墙壁。

“在这些简单的陈述中，您实际上可以看到一个非常大的集合理论宇宙的结构K.- 零和1之间的合理数量非常令人惊叹，“哈佛大学的哲学家和数学家沃伦金菲拉布说。迈向弗里德曼的最终目标是一步。“这有能力改变数学家对他们主题的基本态度，”弗里德曼说。“在数学中，存在绝对稳定性，右和错误的想法 - 数学 - 数学没有真正的概念哲学问题，必须处理......我对完全吹来的兴趣。”他希望仿真理论成为贝多芬第五个交响乐的数学相同，作曲家伦纳德伯恩斯坦曾经被称为“不可避免”。他说，他说，它将根本成为数学界的意识。

从这个意义上说，弗里德曼的项目既是关于数学哲学的，也是关于数学本身的。如果弗里德曼的理论以他所希望的方式展开，数学家们将会与基础问题纠缠在一起，不是因为他们之前对集合理论的一些承诺，而是因为这些问题将会在他们的工作中自然出现。巴黎万神殿-索邦大学(Pantheon-Sorbonne University)的哲学家安德鲁·阿拉纳(Andrew Arana)说:“这里的一个目标是打破旧数学和未来新数学之间的关系。旧数学通常不会遇到独立于集合理论的结果，需要大量的基数。”关于无穷大的更高概念，以及关于它们一致性的陈述，将与不研究无穷大的数学家相关——这可以为他们的工作提供信息。波士顿大学(Boston University)的哲学家朱丽叶·弗洛伊德(Juliet Floyd)将其描述为将哲学带入生活。她说:“这不仅仅是一种观点。”

凭借扩大的基础多样性可能会有新问题的新机会。在1960年文章中“自然科学的数学的不合理效果”，物理学家尤金瓦涅帖回顾一名学生问一个有明显的问题：“我们如何知道，如果我们制作了一个专注于我们忽视的现象的理论，那么我们无视和无视一些人现象现在吩咐我们的注意力，我们无法建立另一个与现在的理论，但仍然在这一情况下解释了当前理论的许多现象。“Wigner继续注意到这个想法是一个有效的一个，或者至少，从来没有任何证据表明这不会发生这种情况。

简单是关键，因为它是基本的。

仿真理论中也可能存在同样的潜力。尽管到目前为止，对于数学家感兴趣的大部分内容，ZFC已经足够了，但这并不意味着它是他们可以使用的最佳框架。数学中最大的未解决问题（哥德巴赫猜想、黎曼假设、孪生素数猜想等）的解决可能需要ZFC之外的东西，即大基数和与哥德尔式语句等价的东西。“即使是像黎曼假设这样的普通陈述也可以等同于元数学陈述，”阿拉纳说（尽管弗里德曼认为这是不可能的）。

弗里德曼到目前为止已经与理性立方体合作，但他说，仿真理论可以应用于数学中几乎任何东西是可行的。事实上，他补充道，其隐喻内容可能对数学超出的主题感兴趣。“对称性和增长的对称性和增长可以与意外科目的人们共鸣，”他说。“作为数学秀的历史，人们不会试图强迫那些联系。他们只是在数学上发展的事情，并且联系以后就来了。“

弗里德曼的工作聚集了很多崇拜者。“许多年来，我一直是[他]节目的粉丝，”Mathematician Martin Davis说。“我相信，数学家在没有使用这些更高的无限方法的情况下，没有使用这些更高的无穷无尽的方法，有问题。”然而，弗里德曼认识到他想要的文化变化将很难。“很多数学家不希望这种情况发生，”弗里德曼说：“因为它是核心的：我们在数学中想要什么行动？什么是合法证明？许多数学家喜欢数学，特别是因为那些问题永远不会存在。“

一世N 2009年，弗里德曼决定向钢琴技术技能毫无以疑，决定进入其最基本的零件的底部 - 它的基础，从而脱颖而出，植根于注意，时序和强度的原理。他开始纯粹以电子方式在碎片上工作，使用编辑软件试验时间变化和注意强度。他的目标：即使在数字键盘上，也要创造完美的钢琴表现的录音，而不需要存在钢琴球员。他为他录制的每分钟进行了数百家编辑，他录制了电脑生成的产品，其中一块贴在他的头上。最终结果，一系列12“超编辑电子钢琴件”，弥补了他谦虚的YouTube渠道的内容的大部分，“完全愚弄了一些主要的钢琴专业人士，”他说。

那年晚些时候，当他回到一架物理钢琴上时，他惊奇地发现，他的演奏有了巨大的进步，这是他从那以后一直着迷的东西，他把这归功于他如何思考自己的编辑过程。他在一封关于即将举行的“情感音乐会”独奏表演的电子邮件中写道：“我对一位钢琴家在微观结构层面上如何唤起（观众）如此强烈的情感非常感兴趣。”。他说，他演奏莫扎特的《伊恩·克莱恩·纳希姆西克》和威尔第的《凯旋进行曲》是为了激发“乐观和喜悦”；拉赫玛尼诺夫的《歌唱》和阿尔比诺尼的《G调慢板》应该反映“悲观和死亡”。他问，他如何演奏这些曲子，以一种“最具表现力”的方式实现这种情绪反应——是什么让这种情况发生的？

他回顾了他的电子编辑项目，为线索：毕竟，他不得不找到一种方法来制作与“音乐文化”调整的任何人共鸣的音乐。“You can stick sheet music into a computer and it’ll be played perfectly,” he says, “but it won’t have any of the cultural trappings someone who listens to music would think of when thinking of the ‘perfect performance.’ It wouldn’t be interesting, or considered valuable. It wouldn’t have anything to do with musical culture.”

同样的简单和文化交叉路口驱动了他在数学基础的工作。仿真理论，他说，“需要拥有当前数学文化的所有陷阱。在表面下，一个令人窒息的有趣，好的，甚至很大的数学都看起来像是这样的，感觉就像。“别别不容易，部分原因是，每个人都同意这些未说出口的美德。似乎有一定的必要性成分：是根本，一般和非统计学的定义和法律;存在和唯一性证明;关于分类的问题;与物理世界的潜在联系，即使只是隐喻;而且，弗里德曼的最爱，具体感和“简单性”。

一世t’s this last one that’s kept Friedman at work on various versions of emulation theory for 50 years—nearly three-quarters of his life, and seven times longer than Andrew Wiles spent on his proof of one of the most well-known problems in mathematics, Fermat’s Last Theorem. “He shows it’s a lie,” says Goldfarb, “the myth that mathematicians can’t do anything after 28. Harvey turned 68 this year.” Simplicity is key, Friedman says, because it is tied up with being fundamental. “There’s a lot of important, complicated stuff out there, from relativity theory and quantum mechanics to how a computer gets built,” he adds. “My long-term goal is to make all this simple.”

之前一个名为“布尔关系理论”的模拟理论版本，在他的一份手稿中花了惊人的819页描述发布在他的网站上。它从未在同行评议的期刊上发表过。弗里德曼解释说，它的内容不够实际或具体;它是一个不完美的容器，把不完整送到每个数学家的家门口，确保不完整“无情地融入数学文化”。Friedman说，仿真理论最终将实现之前的迭代无法实现的目标。他承诺今年将把完整的版本寄出去出版。

在此之前，他的工作继续坚定不移。他经常发布到他的网站和listserv的更新，并调用同行讨论他最近的发现。“他是荒野中的独奏声音，”他的一位同事说：“但如果你看任何他的帖子，如果你和他聊天，他的热情就是如此巨大，让你想尝试学习它。”

jordana cepelewicz是一位编辑研究员鹦鹉螺。

主要图片拼贴:Archive Photos / Stringer / Getty Images;Peshkova /伤风