《邏輯的樂趣》 紀(jì)錄片于 2013 年上映，由 Dave Cliff 和 Kieran Edwards、Peter Henderson、Phillip Whiteman 和 Reuben Williams 主演。由凱瑟琳·蓋爾執(zhí)導(dǎo)。影片講述了夏普與計(jì)算機(jī)科學(xué)家戴夫·克里夫教授一起進(jìn)入邏輯世界的機(jī)智、拓展思維、令人興奮的旅程。乘坐過山車穿越哲學(xué)、數(shù)學(xué)、科學(xué)和技術(shù)——所有這些都在幕后，沒有邏輯。與前作一樣，這部電影秉承了前作的智慧、動(dòng)畫和引人入勝的規(guī)則，從亞里士多德到愛麗絲夢(mèng)游仙境，向科幻超級(jí)計(jì)算機(jī)講述了一個(gè)關(guān)于如何讓自己相信確定性和基本常識(shí)的引人入勝的故事。布里斯托大學(xué)計(jì)算機(jī)科學(xué)與工程教授 DaveCliff 并不是一位抽象理論家。計(jì)算機(jī)程序在股票交易方面的表現(xiàn)優(yōu)于人類。他說，免費(fèi)贈(zèng)送軟件并不是最合乎邏輯的舉動(dòng)……克里夫教授第一次在 25 歲的人的幫助下創(chuàng)造了一臺(tái)完全由兒童組成的計(jì)算機(jī)，無需任何資源即可運(yùn)行ingbutlogic。 Wealsome 集合了世界上最聰明的孩子們，參加在澳大利亞布里斯班舉行的國(guó)際信息學(xué)奧林匹克競(jìng)賽。“邏輯之樂”也屬于有史以來的英雄：George Boole，他通過了植物數(shù)學(xué)哲學(xué)背后的邏輯；Bertrand Russell 獲得了 獎(jiǎng)。 +頁并證明了 1+1=2；庫(kù)爾特·哥德爾 (Kurt Godel) 通過證明 Atsometry 使邏輯屈服無法證明的；艾倫·圖靈（Alan Turing）被克里夫稱為“一個(gè)近乎美麗的悖論”，他受到邏輯回歸的啟發(fā)，創(chuàng)造了一臺(tái)計(jì)算機(jī)。最后，電影面具，人類真的能保持領(lǐng)先嗎？今天的邏輯計(jì)算機(jī)能比我們自己的大腦更聰明嗎？它們到底有多“邏輯”？豆瓣評(píng)分達(dá)到7分，展現(xiàn)了復(fù)雜的人物關(guān)系和令人難忘的故事。