2013英国纪录片7.7《逻辑的乐趣》高清1080p
更新时间:2024-01-18 类别: 纪录片 评论 下载
Wielding the same wit and wisdom, animation and gleeful nerdery as its predecessors, this film journeys from Aristotle to Alice in Wonderland, sci-fi to supercomputers to tell the fascinating story of the quest for certainty and the fundamentals of sound reasoning itself.
Dave Cliff, professor of computer science and engineering at Bristol University, is no abstract theoretician. 15 years ago he combined logic and a bit of maths to write one of the first computer programs to outperform humans at trading stocks and shares. Giving away the software for free, he says, was not his most logical move...
With the help of 25 seven-year-olds, Professor Cliff creates, for the first time ever, a computer made entirely of children, running on nothing but logic. We also meet the world's brainiest whizz-kids, competing at the International Olympiad of Informatics in Brisbane, Australia.
'The Joy of Logic' also hails logic's all-time heroes: George Boole who moved logic beyond philosophy to mathematics; Bertrand Russell, who took 360+ pages but heroically proved that 1 + 1 = 2; Kurt Godel, who brought logic to its knees by demonstrating that some truths are unprovable; and Alan Turing, who, with what Cliff calls an 'almost exquisite paradox', was inspired by this huge setback to logic to conceive the computer.
Ultimately, the film asks, can humans really stay ahead? Could today's generation of logical computing machines be smarter than us? What does that tell us about our own brains, and just how 'logical' we really are...?……
Wielding the same wit and wisdom, animation and gleeful nerdery as its predecessors, this film journeys from Aristotle to Alice in Wonderland, sci-fi to supercomputers to tell the fascinating story of the quest for certainty and the fundamentals of sound reasoning itself.
Dave Cliff, professor of computer science and engineering at Bristol University, is no abstract theoretician. 15 years ago he combined logic and a bit of maths to write one of the first computer programs to outperform humans at trading stocks and shares. Giving away the software for free, he says, was not his most logical move...
With the help of 25 seven-year-olds, Professor Cliff creates, for the first time ever, a computer made entirely of children, running on nothing but logic. We also meet the world's brainiest whizz-kids, competing at the International Olympiad of Informatics in Brisbane, Australia.
'The Joy of Logic' also hails logic's all-time heroes: George Boole who moved logic beyond philosophy to mathematics; Bertrand Russell, who took 360+ pages but heroically proved that 1 + 1 = 2; Kurt Godel, who brought logic to its knees by demonstrating that some truths are unprovable; and Alan Turing, who, with what Cliff calls an 'almost exquisite paradox', was inspired by this huge setback to logic to conceive the computer.
Ultimately, the film asks, can humans really stay ahead? Could today's generation of logical computing machines be smarter than us? What does that tell us about our own brains, and just how 'logical' we really are...?
我不明白啊!!!我没有感到逻辑的乐趣hhhh,我只是沉迷推理,emmm看别人推理,我自己推不清。我就记住了什么布尔逻辑就是什么东西都可以用0或1表示,连接就是not,and,or吧这三个,由此奠定了以后计算机二进制的基础。最后讲到艾伦·图灵还有AI,我有点不太明白这个连接是啥,估计是逻辑对数学和engineering的作用和基础啥的吧。啧,想要离理科近一点真难啊。
一段逻辑学的发展,趣味的讲述,虽然从中没看到太多乐趣??但是作为对逻辑学的一个简单入门了解还是挺好的。从亚里士多德到图灵,正是这些伟人的哲思,才构建了现在的数字帝国。现如今如火如荼的AI将会给未来带来什么,结合之前看过的《未来简史》,确实很难预料,也许在生活中少偷懒,多用用逻辑,说不定会给我们带来更多灵感??
这部有点太散乱了。而且讲了太多历史和结论,却没有讲明白促成这些结论的过程。起码《统计的乐趣》就能很好讲明白统计是怎么回事,我们能用统计做什么。这部就不行。
从用人类语言学的逻辑 到用数学作为通用语言在分析解决问题的逻辑,再到数学作为电脑语言的逻辑,最后去寻求人类大脑和电脑共同的逻辑。
我们创造了逻辑,逻辑是支配我们思考到底原则,逻辑使得真理和确定性固定下来并装进了计算机。逻辑学是数学的一个分支,是否可以用逻辑描述大部分数学问题?编程是否就是逻辑的推理和运算,然后交给计算机执行,计算机根据接收到的条件,按照程序(逻辑规则)执行相应的结果?也许逻辑的本质就是数学?
逻辑有趣,纪录片有趣!逻辑是需要严谨的推理,像亚里士多德的三段论也有的逻辑漏洞,布尔逻辑运用于计算机编程,谁能想到简简单单的01构成计算机,应用逻辑和量子力学一样,神秘而又具有魅力
10 最后的最后这个逻辑是精髓,人的思维底层逻辑是什么,一切都可以被编码吗?包括爱和创造,肯定有比底层逻辑更底层的逻辑,我们目前只是一些从有限大数据中找到的规律来推论的。
啊哈,大概对这个片子的内容有一个错误的预判了,我以为会讨论那256个三段论逻辑的正误呢。前十多分钟还是蛮有意思的,后面感觉更多的是在讲逻辑的发展过程,数学逻辑,计算逻辑,太学术了要集中注意力看好累哦
把很多零散的知识串联在一起。以前对逻辑的认识,认为在文学、数学、哲学中都有逻辑。这部影片讲述的逻辑是数学运算,从而推衍到现代计算机基础以及以后对AI的思考。想当年自己的逻辑电路和单片机是学的最好的呢。多看纪录片,保持思考,学会讲逻辑。
这部讲逻辑的纪录片本身逻辑性不强,有点像堆砌事实的流水账,内容缺乏内在联系或内在联系不突出。逻辑在证明数学基本定律上失败,但是在计算机等工程领域获得成功,且为人们把真理确定下来,便于保存真理提供了很好的工具,逻辑跟AI有密不可分的关联,不得不承认这是逻辑非常有价值的领域,也许是最有价值的领域,不过我还是想知道逻辑在社会人文领域的应用。
作为一个INFP型人格的人,再加上多年文科式学习的熏陶,与严谨的理科思维相去甚远,也曾被人谴责逻辑能力有待提升。这部片子最初以一个冷笑话似的小事切入,后期逐渐引入逻辑学科的发展以及与数学、计算机等应用科学的关系。前面还是比较有趣的,后半部分更像是逻辑学推动计算机的应用,整体还是比较浅显易懂的,看完感觉这部片子改名为“逻辑学简史”更为适当。逻辑是很精练、基础的,然而充满复杂系统的世界却可以用它去推理,每个人都在有意无意的使用逻辑,逻辑是人类运转的基础。印象比较深的还有“我们永远不可能拥有完全的、确定性的事实”这个悖论。
推荐报计算机相关专业的学子多看看BBC出品的逻辑片,在系统学习专业课程前了解一些科学史、名人史有助于增进大家对底层逻辑的理解。推荐学英语的学子看BBC英字原版,虽然在讲科学道理,但字幕却很干净利落,生词和专业名词不占据太多,真的是BBC良心制作了。另外,资源在Bilibili 上就有,是纯英字的,在此感谢B站,为逻辑科普留下火种!