猜你喜歡
劇照
詳細劇情
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...?
長篇影評
1 ) 邏輯其實很有趣的吖
作為一個INFP型人格的人，再加上多年文科式學習的熏陶，與嚴謹?shù)睦砜扑季S相去甚遠，也曾被人譴責邏輯能力有待提升，遂來看了這部片子。
這部片子最初以一個冷笑話似的小事切入，后期逐漸引入邏輯學科的發(fā)展以及與數(shù)學、計算機等應用科學的關系。前面還是比較有趣的，后半部分更像是邏輯學推動計算機的應用，整體還是比較淺顯易懂的，但是看完感覺這部片子改名為“邏輯學簡史”或許更為適當。
邏輯是很精練、基礎的，然而充滿復雜系統(tǒng)的世界卻可以用它去推理，每個人都在有意無意的使用邏輯，邏輯是人類運轉(zhuǎn)的基礎。印象比較深的還有“我們永遠不可能擁有完全的、確定性的事實”這個悖論。
2 ) 幼兒園那段，并不是演示 邏輯運算是四則運算，而是四則運算可以等價為邏輯運算吧？
這正好與片子在這里想表達的意圖相反。
片子此處想說明，所有的邏輯都是運算，這是從形式邏輯走向符號邏輯的一環(huán)。
小朋友演示的，是用與、或、非邏輯門實現(xiàn)2+3=5的四則運算，這是四則運算可以用邏輯來實現(xiàn)。
影評正文不得少于140字，“下一步按鈕”在屏幕的右上方，在PC機上超出視線范圍。這是專門為手機設計的么？
提問界面按“發(fā)布問題”按鈕沒有反應，在這之前剛剛向我介紹新編輯器如何之好。好么？
3 ) 邏輯的樂趣：一部看一遍就更聰明一點的科普紀錄片
邏輯是什么？邏輯就是事情的因果規(guī)律。而邏輯學，就是關于思維規(guī)律的學說。
2003年，BBC推出了《邏輯的樂趣》的紀錄片，紀律片由Dave Cliff教授，他基于邏輯和數(shù)學設計的ZIP程序，應用于交易所，準確提供市場供求變化。Dave Cliff教授以輕松有趣，淺顯易懂的方式介紹了邏輯及邏輯的一些重要理論。
適合學生黨看？因為數(shù)學、語言、哲學、科學、計算機及人工智能等學科和領域，都以邏輯作引擎。
也適合單身狗看？了解邏輯理論，你不僅能科學、合理的推導出自己單身的原因，從而積極行動，而且還為接下來的約會，提供了話題，贏得一臉的崇拜，成為撩妹神技。
說到邏輯學，首要提到的是亞里士多德，被稱為百科全書式的科學家，其中一個名號便是“邏輯學之父”。他的博學的成果，基于邏輯思維方式，對過去和同時代的理論持批判態(tài)度，提出并探討理論上的盲點，使用演繹法推理，用“三段論”的形式論證。
亞里士多德的“三段論”非常簡單，它包含三個命題，前兩個命題是前提，第三個即結論。舉個例子：人終有一死，蘇格拉是個人，得出結論“蘇格拉底終有一死”。
19世紀的查爾斯·路德維?！さ榔嫔?，英國數(shù)學家，他用真名寫作數(shù)學書，但寫邏輯游戲和數(shù)理邏輯的書時，卻化名路易斯·卡羅爾。沒錯他就是經(jīng)典名著《愛麗絲漫游仙境》的作者，同時，他還是普及邏輯推理和批判思維的第一人。
接下來是計算機及數(shù)學專業(yè)的同學們熟悉的喬治·布爾。他認為邏輯更傾向于數(shù)學，而非哲學。他的著作《邏輯的數(shù)學分析》是對符號邏輯的貢獻之一，《思維規(guī)律的研究》更為重要，書中介紹了后來以他名字命名的“布爾代數(shù)”。在他死后一個世紀，他的邏輯變成計算機語言，對計算機發(fā)展的起著革命性的作用，所以，計算機語言中將邏輯運算稱為布爾運算，將其結果稱為布爾值。
片中出場的著名人物，有德國數(shù)學家和邏輯學家弗雷格和英國哲學家伯特蘭 · 羅素，還有計算機之父阿蘭 · 圖靈，在這里，還可以看到阿蘭 · 圖靈和他的同事戈登·韋爾奇曼一起制造的“通用機器”。
總之，這是一部讓人看一遍，就會有所收獲，也會更聰明一點的紀錄片，不要忘了看哦!
4 ) 觀后感
什么是邏輯？什么是合乎邏輯的？
你只需要明白三個邏輯學家和一個酒館的故事。
一天，三個邏輯學家走進了一家酒吧。侍者問，你們每個人都要來一杯啤酒嗎？第一個邏輯學家說，我不知道。第二個邏輯學家說，我也不知道。第三個邏輯學家說，是的。請問，三位邏輯學家到底要不要啤酒？
原文作者給出的答案是這樣的：面對侍者的問題“你們每人都要一杯啤酒嗎？”第一個邏輯學家如果自己不要，就會說不是。他說不知道，因為他要啤酒，卻不知道后面?zhèn)z人要不要。同理，第二位邏輯學家知道第一位要啤酒，自己也要啤酒，卻不知道第三位要不要。所以說不知道。第三位知道前兩位都要啤酒，而自己也要，所以說，是。結論是三位都要啤酒。
你得出結論的質(zhì)量取決于你投入思想的質(zhì)量。
邏輯的源頭，2500萬年前亞里士多德的三段論。
256種三段論，亞里士多德確認19種是有效的。確認如果前提正確，結論也一定正確。
認為是一種數(shù)學，只要把邏輯轉(zhuǎn)化成一個方程式
布爾的新數(shù)學運算將所有的邏輯簡化到可以用新的方法整合的形式。
認為所有事物都可以精簡為符號和兩個數(shù)字：
死后的一個世紀，喬治·布爾提出的邏輯運算如此精煉，廣泛運用計算機領域。
計算機的根本就是一堆0和1.
and，or，not
編程：
推理現(xiàn)實世界發(fā)揮了很重要的作用。
公元前600年，悖論：威脅數(shù)學的根基。
布爾運算的一個不足：
哥德爾
任何想成為數(shù)學基礎的邏輯系統(tǒng)，必須完整不矛盾。發(fā)現(xiàn)數(shù)學和邏輯的局限，
對于絕對可以證明的數(shù)學邏輯結論經(jīng)歷到瓶頸。
所有的數(shù)學邏輯系統(tǒng)都是局限的。宣告邏輯紀元結束。
艾倫·圖靈 （受哥德爾啟示）
開始更注重實踐的邏輯革命
通用機器是一個想象中的東西，
1997年圖靈提出
象棋大師被“深藍”計算機打敗，引起轟動。
最后教授認為，人始終有一些機器無法替代的獨特屬性：比如，
利他主義，創(chuàng)造力和愛是人類獨有 我們創(chuàng)造了邏輯規(guī)則，使得真理和確定性能夠固定下來，否則我們很難找到他們。
確切地說應該叫邏輯簡史趣談
簡單生趣的介紹了邏輯以及從邏輯引發(fā)開的現(xiàn)實應用，沒有想到簡單邏輯居然在后人的發(fā)展下有如此之深的擴展與實踐，很具有現(xiàn)實意義的談資。
3.5星 講的太簡單了
從三段論到布爾邏輯再到奧地利學派，這條路徑是邏輯被自動化應用結果。但我覺得更重要的是另一條路徑，討論語言的邏輯，語義學，維特根斯坦，禪宗和人類認知，以及邏輯對人來說，除了是工具，它還是什么。
看的一愣一愣的，如果理解沒錯的話，主要講述的是邏輯的發(fā)展歷程吧？
沒想到哥德爾是餓死的，正在看集異璧。
挺好的 就是內(nèi)容有點少～
布爾型邏輯，說到羅素的集合時居然連理發(fā)師悖論都沒提。
推薦報計算機相關專業(yè)的學子多看看BBC出品的邏輯片，在系統(tǒng)學習專業(yè)課程前了解一些科學史、名人史有助于增進大家對底層邏輯的理解。推薦學英語的學子看BBC英字原版，雖然在講科學道理，但字幕卻很干凈利落，生詞和專業(yè)名詞不占據(jù)太多，真的是BBC良心制作了。另外，資源在Bilibili 上就有，是純英字的，在此感謝B站，為邏輯科普留下火種！
大多數(shù)中國人不講邏輯到底符不符合邏輯？
作為文科生，邏輯能力一般，但近幾年卻開始迷邏輯學和統(tǒng)計學。此片挺淺顯且風格幽默，很適合入門了解邏輯學。從亞里士多德到圖靈，一路展示邏輯學的發(fā)展和應用歷程。到最后引出了近幾年大熱的話題：人工智能和人類的角力，結合近期在看的《未來簡史》，簡直讓我腦洞大開。教授很萌。
這個片子不能叫the joy of logic 應該叫 the history of logic。
亞里士多德提出三段論后2000年，克林姆警告未來的理性，喬治布爾提出布爾邏輯，羅素的集合悖論，到哥德爾的不完備性，之后圖靈的機器。
近期看的最深入淺出的紀錄片的，而且講的還是一般人不感興趣的邏輯學，整個紀錄片條理很好，不斷的追問而不是一股腦的堆積史料，風格輕松！推薦！
準確講應該叫“邏輯學簡史”，內(nèi)容比較少。一群孩子演示邏輯門那段比較有趣。2019-02-11想看。
哎呀拍的好有意思啊，內(nèi)容屬于通俗易懂的常規(guī)介紹，不過這個教授實在是好萌，旁白有些用了很生動的聲音來講解的，給這個本身3★的紀錄片增添了很多妙趣。每次看計算機原理當時都能看懂，結果過后就忘= =
下面那個“從感興趣到放棄”哈哈哈哈哈。前半段確實比較有趣，后半段略meh...短評：小孩子扮演與或非門那里想起三體里面秦始皇的人列計算機～【same here】
小孩子扮演與或非門那里想起三體里面秦始皇的人列計算機～
maybe even better
人生在世還是要多看紀錄片啊～