专栏首页arxiv.org翻译专栏数学真理的爆炸性证明(CS SC)
原创

数学真理的爆炸性证明(CS SC)

数学证明既是确定性的典范,也是我们在文化记录中所拥有的一些最明确的合理论据。然而,它们非常明确,导致了一个悖论,因为它们的错误概率随着论据的扩展呈指数增长。在这里,我们证明,在结合演绎推理和诱拐推理的认知似是而非的信念形成机制下,数学论点可以经历我们称之为认知阶段的转变:在合理的声称错误率水平上,从不确定性到接近完全的信心的戏剧性和迅速传播的跳跃。为了证明这一点,我们分析了来自形式化推理系统Coq的48个机器辅助证明的不寻常数据集,包括从古代到21世纪数学的主要定理,以及来自Euclid、Apollonius、Spinoza和Andrew Wiles的4个手工构造的案例。我们的研究成果既与数学史和哲学的最新研究成果有关,也与认知科学的一个基本问题有关,即我们如何形成信念,并向他人证明其合理性。

原文题目:Explosive Proofs of Mathematical Truths

原文:Mathematical proofs are both paradigms of certainty and some of the most explicitly-justified arguments that we have in the cultural record. Their very explicitness, however, leads to a paradox, because their probability of error grows exponentially as the argument expands. Here we show that under a cognitively-plausible belief formation mechanism that combines deductive and abductive reasoning, mathematical arguments can undergo what we call an epistemic phase transition: a dramatic and rapidly-propagating jump from uncertainty to near-complete confidence at reasonable levels of claim-to-claim error rates. To show this, we analyze an unusual dataset of forty-eight machine-aided proofs from the formalized reasoning system Coq, including major theorems ranging from ancient to 21st Century mathematics, along with four hand-constructed cases from Euclid, Apollonius, Spinoza, and Andrew Wiles. Our results bear both on recent work in the history and philosophy of mathematics, and on a question, basic to cognitive science, of how we form beliefs, and justify them to others.

原文作者:Simon DeDeo

原文地址:https://arxiv.org/abs/2004.00055

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 伤害性词语: 量化临床上下文词语嵌入中的偏见(CS CL)

    在这项工作中,我们研究了嵌入在多大程度上可能以不同的方式对边缘化人群进行编码,以及这是如何导致偏见的持续存在和临床任务表现的恶化。 我们根据MIMIC-III ...

    用户7095611
  • 一种改进新产品销售预测的网络转移学习方法(CS LG)

    数据驱动方法——例如机器学习和时间序列预测——被广泛用于食品零售领域的销售预测。 然而,对于新推出的产品,缺乏足够的训练数据来训练准确的模型。 在这种情况下,实...

    用户7095611
  • 枪声:枪声样本数字取证与人工智能(CS LG)

    根据炮口冲击波对武器进行分类是一项具有挑战性的任务,在各种安全和军事领域有着重要的应用。 现有的大多数工程依赖于特别部署的空间多样性麦克风传感器,以捕捉同一枪击...

    用户7095611
  • [专访]用大数据解放科学家,学术更简单

    大数据文摘
  • How Badoo saved one million dollars switching to PHP7

    How Badoo saved one million dollars switching to PHP7 By Badoo on 14 Mar 2016 - ...

    netkiller old
  • 【译】Python中的数据清洗 |Pythonic Data Cleaning With NumPy and Pandas(一)

    python中的数据清洗 | Pythonic Data Cleaning With NumPy and Pandas[1]

    needrunning
  • TW Insight - Good Practices to Build Your AngularJS Application

    这是来自ThoughtWorks巴西团队分享的一些使用AngularJS的一些技巧和教训。经验内容包括结构、依赖注入、HTML扩展、作用域和模块。这是2014年...

    ThoughtWorks
  • 技术伦理需要更多的政治哲学(Computers and Society)

    目前关于自动驾驶汽车伦理的争论主要集中在回答伦理问题的两种方法上:道德哲学和社会科学。我认为这两种方法都是有缺点的。我们不应该从个人道德理论中推导出答案,也不应...

    李欣颖6837176
  • 大脑记忆的建模

    据国外媒体报道,科学家近日发现了大脑形成及失去记忆背后的数学方程。他们认为,这些方程可以精确地描述我们唤起回忆的方式。未来某一天,这一发现或许能帮助医生消除或改...

    CSDN技术头条
  • Instant Messaging at LinkedIn: Scaling to 10000 of Connections

    We recently introduced Instant Messaging on LinkedIn, complete with typing indic...

    首席架构师智库

扫码关注云+社区

领取腾讯云代金券