A sharp, witty, mind-expanding and exuberant foray into the world of logic with
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...?
《逻辑的乐趣》下载观后评论：
很轻松愉快的了解我最恐惧的领域，因为自认为是最不擅长的。但这部给了我非常简洁有趣的背景知识。Aristotle: syllogism ➡️ Charles Dodgson/Lewis Carroll ➡️ George Boole ➡️ Gustav Klimt ➡️ Vienna Circle ➡️ Gottlob Frege ➡️ Bertrand Russell ➡️ Kurt Godel ➡️ Alan Turing ➡️ AI 逻辑清晰地解释世界的同时，也存在本身的矛盾，若是根基不稳，整个逻辑解释的世界也随之崩塌，造成不确定的混乱。看纪录片的时候有些好奇为什么一个画家可以如此深刻地让人们质疑逻辑推理，让人们反思现代文明的根本？未来人利用机器能开创怎样的世界呢？我应该害怕吗？
对逻辑学并无了解的人来说这个纪录片不是太友好啊，感觉是流水账一般的history of logic，并没有感受到joy of logic。幼儿园那一段如何用布尔逻辑进行加法运算，明明可以花个几分钟解释的却并没有，不过这里倒是会让人想起《三体》中的人列计算机，很生动形象的解释方式。还有罗素的1 1=2的证明，如果是放在《三体》中基础物理规律被三体人干扰的情境中，似乎是很有意义的。
