数学证明

本页是关于频道"数学证明"的所有博文，按照时间倒序展现。实时更新。

总数 8 第 1/1 页

清华博士真的能用数学证明“脱单”有秘籍？

虎嗅网 • 1年前

本文来自微信公众号：新民周刊（ID：xinminzhoukan），作者：绳易断、伊内斯，头图来自：视觉中国B站UP主“漫士沉思录”近日发布一段视频，用数学模型来分析婚恋市场男女配对的问题，先把大家最关心的结论贴出来：结论1：每一个人都应该勇敢表白。结论2：表白被拒绝是一件好事。结论3：不要当舔狗！该数学模型被称为Ga

数学证明特定类时空是不稳定的

奇客资讯 • 4年前

数学证明特定类时空是不稳定的2020年05月12日 16时17分爱因斯坦真空方程式的三个解是 Minkowski 时空、de Sitter 和 anti-de Sitter 时空，分别对应零曲率、正曲率和负曲率。数学家分别在 1986 年和 1993 年证明 de Sitte

如何用数学证明“只可意会，不可言传”？

网易科技 • 8年前

（原标题：如何用数学证明“只可意会，不可言传”？）作者：黄逸文（中国科学院数学与系统科学研究院）在生活中，我们常常听到人们谈起某件事、某种感受、某类技艺时感叹：只可意会、不可言传。那么，究竟是人类的语言词汇贫乏，还是真的有某种神秘的力量让人臣服于大脑表达的无能呢？让我们从数学家哥德尔说起。库尔特・哥德尔(Kurt Go

计算机程序能像数学证明那样无法破解

奇客资讯 • 8年前

2015年夏天，一组黑客尝试控制一架军用无人直升机。黑客已经抢得了一个先机：他们已能访问无人机的部分计算机系统，他们所需要做的是入侵无人机的机载飞行控制计算机，然后无人机就是他们的了。在美国国防部高级研究计划署（DARPA）发起的这个项目的早期，“红队”黑客们就像入侵你的家庭无线网络那样轻而易

计算机搜索产生“最大”的数学证明

奇客资讯 • 8年前

得克萨斯奥斯丁、斯旺西大学和肯塔基大学的三名数学家在超级计算机Stampede的帮助下完成了一个并不优雅的证明，文件大小400TB，这是人类不可能读完的最大数字证明。计算机给出了一个答案，但并没有给出更多的解释，这是计算机辅助证明所带来的哲学上的困惑。研究论文（PDF）发表在预印本网站上。三位

计算机正在改变数学证明的验证

奇客资讯 • 10年前

Vladimir Voevodsky于1966年6月4日出生在莫斯科，为了理解物理学他对数学产生了兴趣，随后他又一发不可收拾的爱上了抽象代数。虽然他没有读完数学的本科学业，但在1989年共产党倒台后这一切变得无关紧要，他用论文证明了自己。他和Misha Kapranov发展了高维数学对象和类，在1990年发表了一个重要

中国科学家用数学证明宇宙源自虚无

奇客资讯 • 10年前

现代宇宙学的一个重要理论是宇宙诞生于创世大爆炸。大爆炸（Big Bang）不仅仅是一个理论而且有众多证据支持，这些证据包括宇宙微波背景辐射和宇宙的持续膨胀。但大爆炸的缘起仍然是一个谜团，宇宙学家提出的一种解释是宇宙是自发形成的，大爆炸是真空量子涨落的一个结果。这听起来有理，但你能证明它吗？中科

Solidot | 数学证明因为太长而无法被人类验证

奇客资讯 • 11年前

数学证明因为太长而无法被人类验证 WinterIsComing (31822)发表于 2014年02月19日 18时13分星期三新浪微博分享腾讯分享豆瓣分享人人分享网易分享来自AI数学家部门如果人类无法检验一个定理的证明，