• 概述
逻辑的乐趣

高速15高速15(报错)

《逻辑的乐趣》剧情介绍

  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...?

《逻辑的乐趣》精彩影评

游客2019-01-25
到底什么是逻辑?

游客2019-01-25
看到自闭。逻辑的定义实在是太泛,而当今对逻辑的理解又高度数理化。基本上科普都是提一下形式逻辑,然后就变成了弗雷格和罗素的形式演绎逻辑,讲一下二进制和逻辑门,最后索性放弃,变成了电路和计算机通识课,实属管中窥豹。而罗素,居然在principia mathematics中用了360多页证明1+1=2,真是变态到冒烟,我一直认为数学和逻辑学显然不是科学的。哥德尔的不完全性定理…好像解决了我一直以来一个愚...

游客2019-01-25
乍一看好严肃的话题,却能如此简单让人着迷,而且还很幽默!BBC的纪录片真的好牛逼。

游客2019-01-25
布尔型逻辑,说到罗素的集合时居然连理发师悖论都没提。

游客2019-01-25
小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机~