A sharp, witty, mind-expanding and exuberant foray into the world of logic with computer scientist Professor Dave Cliff. Following in the footsteps of the award-winning 'The Joy of Stats' and its sequel, 'Tails You Win - The Science of Chance', this film takes viewers on a new rollercoaster ride through philosophy, maths, science and technology- all of which, under the bonnet, run on logic.
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...?

数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念，为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。
本片分为4部分,为您讲述数学之谜.
1-数学-宇宙的语言.
2-中国东方的天才.
3-空间的边缘.
4-无穷大及其超越.

在这部纪录片里，大卫·马龙聚焦四位无与伦比的数学家：乔治·康托尔、路德维格・玻尔兹曼、哥德尔和阿兰·图灵。他们的天才光耀千古，他们的智慧深刻地影响了后世的我们。但是当同时代的人用尖刻的、猛烈的批评表达他们的反对意见时，它能产生一种悲剧性的结果，使他们精神错乱，最终都以自杀结束了自己的生命。
本片也与目前最著名的学者进行了对话。包括Greg Chaitin——纽约IBM TJ华生研究中心的数学家，以及罗杰·彭罗斯等人，他们仍在孜孜不倦地探寻世上到底是否有数学家不能弄明白的事。
《危险的知识》抓住了一些现实的深刻的问题，目前数学家仍在力图给出解答。请看一下下面的信息：这是一部完整的纪录片，只是因为技术原因才分为两部分。观看的时候要看完，而且请不要在看第一部分之前看第二部分。
1 of 2　上帝的信使
这部片子从乔治·康托尔开始讲起。他是一位伟大的数学家，创立的集合论已被尊为20世纪全部数学的基础。他认为自己是上帝的信使。因为他的老师利奥波德·克罗内克痛恨并敌视他以及他的理论，来自数学权威们的巨大精神压力终于摧垮了康托尔，结果康托尔精神失常，最终被疯狂所驱使，力图证明自己的无穷数理论。事实上，他的晚年是在精神病院度过的。
路德维格・玻尔兹曼力争证明原子和概率的存在，而奥斯特瓦尔德和马赫的强烈批评使他深感失望，导致了他最后的自杀。
2 of 2　谜团
哥德尔是爱因斯坦的一位性格内向的密友，一位智慧巨人。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题。他证明了形式数论（即算术逻辑）系统的「不完全性定理」：即使把初等数论形式化之后，在这个形式的演绎系统中也总可以找出一个合理的命题来，在该系统中既无法证明它为真，也无法证明它为假。哥德尔最终在一家疗养院绝食而死，因为他认为那些食物有毒。
阿兰·图灵，恩尼格玛密电码的破译者，计算机科学 “人工智能之父”，同性恋者。图灵为证明一些永远不能被证实的事情而死，外界的说法是服毒自杀，一代天才就这样走完了人生。（献给本文所有伟大而孤独的悲剧英灵。喵喵驴驴译，错误之处烦请各位达人指正，谢谢。部分资料来源于网络。）
In this one-off documentary, David Malone looks at four brilliant mathematicians - Georg Cantor, Ludwig Boltzmann, Kurt Gödel and Alan Turing - whose genius has profoundly affected us, but which tragically drove them insane and eventually led to them all committing suicide.
The film also talks to the latest in the line of thinkers who have continued to pursue the question of whether there are things that mathematics and the human mind cannot know. They include Greg Chaitin, mathematician at the IBM TJ Watson Research Center, New York, and Roger Penrose.
Dangerous Knowledge tackles some of the profound questions about the true nature of reality that mathematical thinkers are still trying to answer today. see notes below:1 documentary, only split for technical reasons. broadcast in 1, watch in 1, get both parts, don't start to watch pt2 before pt1.
1 of 2 God's messenger
The film begins with Georg Cantor, the great mathematician whose work proved to be the foundation for much of the 20th-century mathematics. He believed he was God's messenger and was eventually driven insane trying to prove his theories of infinity.
Ludwig Boltzmann's struggle to prove the existence of atoms and probability eventually drove him to suicide.
2 of 2 The Enigma
Kurt Gödel, the introverted confidant of Einstein, proved that there would always be problems which were outside human logic. His life ended in a sanatorium where he starved himself to death.
Finally, Alan Turing, the great Bletchley Park code breaker, father of computer science and homosexual, died trying to prove that some things are fundamentally unprovable.
转自VeryCD