V
主页
数学的核心悖论:哥德尔不完备性定理
发布人
ted-ed 哥德尔是奥地利裔美国著名数学家,不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论,图灵机和判定问题,被赞誉为现代逻辑科学在哲学方面的三大成果。哥德尔证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
打开封面
下载高清视频
观看高清视频
视频下载器
数学有重大缺陷吗?:Jacqueline Doan 和 Alex Kazachek - TED-Ed
玻尔兹曼宇宙大脑悖论
为什么说3+4等于5?奇怪的“楼梯悖论”,难倒了不少数学家?
谁是神话中跑得最快的生物
“女同性恋”这个词令人惊讶的起源
为什么我觉得1≠0.9循环
我们如何创造一个更好的经济
风力涡轮机是如何工作的
【Undertale: Time Paradox/超酷/优质/回归特辑】Doruk330的时间悖论sans一命无作弊无药通过
12个未能解决的经典悖论,低智商勿入!
华人更勤奋,黑人爱闹事的刻板印象其实是白人的阴谋
揭开大脑最大的秘密
难倒一众学霸
神话:欺骗玛雅死神的双胞胎兄弟
人工智能是如何学习的
芝诺的二分法悖论:Colm Kelleher - TED-Ed
亚瑟神话故事:加文和绿衣骑士
温水煮青蛙:全球温度上升1度了
为什么大豆几乎在你吃的每一样东西里?
头皮屑成因:你头上有一群生物正在大吃大喝
人口过剩赌注:地球会因为人口增长而崩溃吗?
为什么不在沙漠上铺满太阳能板
[真理]面具,现实的悖论
建造世界上最大的电厂:三峡电站
非洲神话:把故事带到人间的蜘蛛之神阿南西
诡异的硬币悖论:如何用两个“输”的博弈,产生“赢”的结果?
偏头痛时你的大脑会发生什么
仰望太阳的日本业余女天文学家
如何将一个单词添加到字典中
什么动物的视觉最好
改变世界的17个方程
拖延症的科学:为何难受却欲罢不能
审判:帖木儿是嗜血的暴君还是中亚的伟大征服者
情感虐待的四个迹象
这个思想实验能让你更好理解量子物理
为什么肺炎如此危险
数学的禁忌:为什么不能被0除
一个人如何从纳粹手里拯救2000个儿童
气候变化挑战:未来20年人类住哪里
无限悖论解析:希尔伯特酒店与康托尔对角线 - ThoughtThrill