V
主页
【数理逻辑】不完备性: 哥德尔的证明及悖论(Dr. Rebecca Goldstein)
发布人
https://www.youtube.com/watch?v=QjFyKUDmUhU&t=3742s "The remarkable theorem of incompleteness uncovered an unbridgeable gap in all attempts to systematize mathematical reasoning, a result that appears almost paradoxical." Kurt Gödel is considered the greatest logician since Aristotle. His monumental theorem of incompleteness demonstrated that in every formal system of arithmetic there are true statements that nevertheless cannot be proved. The result was an upheaval that spread far beyond mathematics, challenging conceptions of the nature of the mind. Rebecca Goldstein, a MacArthur-winning novelist and philosopher, explains the philosophical vision that inspired Gödel's mathematics, and reveals the ironic twist that led to radical misinterpretations of his theorems by the trendier intellectual fashions of the day, from positivism to postmodernism. Ironically, both he and his close friend Einstein felt themselves intellectual exiles, even as their work was cited as among the most important in twentieth-century thought. For Gödel , the sense of isolation would have tragic consequences. This lucid and accessible study makes Gödel's theorem and its mindbending implications comprehensible to the general audience, while bringing this eccentric, tortured genius and his world to life. May 17th, 2007
打开封面
下载高清视频
观看高清视频
视频下载器
【数理逻辑/哲学】理解力的极限(哥德尔不完备定理的理解、推论和影响)
【认知语言学/认知科学】语言和思想的神经科学解释(Dr. George Lakoff)
公理集合论-ZFC
【F1 meme】请选择你的数理逻辑之神
【语言学/数学】句法合并的数学结构:生成语言学的霍普夫代数模型【1】(Matilde Marcolli)
【乔姆斯基】关于荣格、维特根斯坦和哥德尔的讨论
【理论语言学】语言使用和语言设计:冲突及其重要性(乔姆斯基)
【理论语言学】语言学的重要问题(麻省理工学院讲座(2)/乔姆斯基)
【认知科学/认知语言学/数学】数理能力的认知和神经结构基础(George Lakoff)
数竞中什么是真正的绝望!!! |只差一步却如隔天堑
韦东奕和北大女神恋爱啦,祝他们幸福一生
投篮命中率50%能进NBA吗?
【乔姆斯基】语言、创造性和理解力的限度
你以为的理科战神 VS 实际的理科战神
【神经科学】重塑大脑:神经可塑性的前景和风险(World Science Festival)
鳄鱼的死亡翻滚,如果遇到的是根粗钢丝会怎么样
【乔姆斯基】语言是什么?为何它是重要的?
【理论计算机科学/语言学/数理逻辑/AI】从语言到意识(Joscha Bach)
【语言学/数学】句法合并的数学结构:生成语言学的霍普夫代数模型【5】(Matilde Marcolli)
【乔姆斯基】分析哲学、语言学理论与认知科学
【理论语言学】语言学的历史及哲学思想(乔姆斯基)
【认知心理学/神经科学(脑科学)/语言学】语言和大脑(David Poeppel(马克斯·普朗克研究所&纽约大学))(牛津大学语言学学会)
【语言学/数学】句法合并的数学结构:生成语言学的霍普夫代数模型【2】(Matilde Marcolli)
广东中考压轴题,难度极大
【理论语言学/形式语义学】语义合成性、非句法性表达等:语言学重要概念的回顾与展望(Barbara Partee)
【语言/认知/语言使用】二十一世纪的语言学、风格和写作(Steven Pinker)
【语言学/哲学】形式语言学公开讲座:其在科学中角色及神经网络与机器学习支持者批评回应(Matilde Marcolli)
【数学/逻辑/哲学】数学宇宙的秘密(World Science Festival)
【数学基础与数学哲学】怎么证明1+1=2?
【数学/物理/哲学】数学可以揭示现实吗?(World Science Festival)
【生物语言学】生成语法研究课题的多方面【2】2/2(Fukui Naoki)
【语言学/哲学/政治】探索语言(乔姆斯基)
一个小学生发现了数学悖论
【Doomer】你是数学界独一无二的天才,但是你明天就要因决斗而死
PS3是人类最虚幻的时期
【神经科学/认知心理学】记忆: 使我们成为人类的潜藏路径(World Science Festival)
【语言学/哲学/人工智能】语法、语言和递归算数能力的关系以及对于语言理论质疑的回应(乔姆斯基)
南开逻辑讲座第五十五期--Rizos Sklinos
芝诺悖论:你永远也追不上一只乌龟,也永远无法达到你要去的地方!
高二了数学47正常吗