逻辑的乐趣 (2013)
类型:纪录片 记录
主演:Dave Cliff Kieran Edwards Peter Henderson Phillip Whiteman Reuben Williams
导演:Catherine Gale
地区:英国
更新:2024-10-20
简介:
Asharp,witty,mind-expandingandexuberantforayintoth
Asharp,witty,mind-expandingandexuberantforayintotheworldoflogicwithcomputerscientistProfessorDaveCliff.Followinginthefootstepsoftheaward-winning'TheJoyofStats'anditssequel,'TailsYouWin-TheScienceofChance',thisfilmtakesviewersonanewrollercoasterridethroughphilosophy,maths,scienceandtechnology-allofwhich,underthebonnet,runonlogic.Wieldingthesamewitandwisdom,animationandgleefulnerderyasitspredecessors,thisfilmjourneysfromAristotletoAliceinWonderland,sci-fitosupercomputerstotellthefascinatingstoryofthequestforcertaintyandthefundamentalsofsoundreasoningitself.DaveCliff,professorofcomputerscienceandengineeringatBristolUniversity,isnoabstracttheoretician.15yearsagohecombinedlogicandabitofmathstowriteoneofthefirstcomputerprogramstooutperformhumansattradingstocksandshares.Givingawaythesoftwareforfree,hesays,wasnothismostlogicalmove...Withthehelpof25seven-year-olds,ProfessorCliffcreates,forthefirsttimeever,acomputermadeentirelyofchildren,runningonnothingbutlogic.Wealsomeettheworld'sbrainiestwhizz-kids,competingattheInternationalOlympiadofInformaticsinBrisbane,Australia.'TheJoyofLogic'alsohailslogic'sall-timeheroes:GeorgeBoolewhomovedlogicbeyondphilosophytomathematics;BertrandRussell,whotook360+pagesbutheroicallyprovedthat1+1=2;KurtGodel,whobroughtlogictoitskneesbydemonstratingthatsometruthsareunprovable;andAlanTuring,who,withwhatCliffcallsan'almostexquisiteparadox',wasinspiredbythishugesetbacktologictoconceivethecomputer.Ultimately,thefilmasks,canhumansreallystayahead?Couldtoday'sgenerationoflogicalcomputingmachinesbesmarterthanus?Whatdoesthattellusaboutourownbrains,andjusthow'logical'wereallyare...?
详情