逻辑的#+乐趣
简介
A # @.s-harp, witt^*!y, mind-exp@anding and exube\!rant fora-?y*@ into the w?orld o -f l (;]$ogic with. #compute:=r scien#!.tis_t P rofessor =*@ Dave \ C @(liff. Followi[ng in the footsteps, of the award-w``inni= /ng % $@'The ]+@Joy o%f Stats?` 9 and;$? ?/it, ] s ,*sequel/, (9Tails You Win - ^ The[ Science of Chance&(#39,- ^; t ;hi :s f(i /lm takes viewer`!s o@;=n(! a new rollerco \aster ride/`\ through philosophy, maths, science and techn# olo=gy- a*= ^`ll of+ which, un ^der the bonnet, r*@un on logic. Wielding the same wit -_@ and wis+do$%m, anim]ati;o=n a@_nd gl eeful nerdery as; \ its predecessors, thi;_s fi:;lm ` ]*journeys[: . @ % from Aristotle to Al =ice in+_@ Wonderland, s:_ c@i -fi to sup@erco ?mputers to tell the fascinat%*!=$ing st+ory o=-;f-] the quest for certainty and the fundamental^/s of sound reas)=oni ng it$self.?+: Da^ve Clif-)f(?, p rofessor o$,f -`co @;.mputer s?:cience *_ and engi ne?$)ering + at /Bri) /stol Uni(;versit ^y, : is no ; abs#$ ?trac\$t :;theore[,\tici $ an. 15 years ago he combined @!lo(g_-ic and$:] a bit of maths to write one of the first co ) mputer programs *_to ou=/tpe` rform humans at tradi$.^ng s- to - =cks a nd sha]*/-res. Giving a = way =the s-]oft :.ware fo.._r f* .ree , -(\he:( says, w [:[a]s = no:t his mos:?t lo:)gical mo+/ ve... With # .`t] he hel+p of 25;[ se@ ! ven-#yea ,[r-olds, Pr ofessor,# Cliff creates, for the fi,)%rst \( tim?:e ever _), a@# computer$` m]ade ent! irel# .-y of chi( ld%ren, run-]ning on nothing but= log^.ic [_. ,?`We a%lso? m`eet t+ h $e world's br?ain iest ;whizz-kids, competing at the Internationa./l Oly^ )mpiad [!o`f Informatics i n Br isbane, Aust+r$ alia.? &#+- ( 39The Joy of#;\ Lo` %.:gi@c%?' ,also hails *!lo/%) gic's all -time hero es-=: Geor%?ge Bo@:ole who -mo ved_:! logic beyond philoso/^^phy to mathematics Bertrand?` % Russe[%=ll, who took 360+ p a.+_ges but !#-)heroically +?proved ;[that [(#1 + 1_ = 2 .$ Kurt G+ odel, who brought log(:@ic to i: ts knees. by de+monstrating that s]ome !.truths_? are unp#rovable` and!;; \-:+ Alan ) Turing,,, who, % !-w)?ith what C)+,?liff ca,`lls !.an 'a (lmo.@st exquisite -,^pa*:r;, (adox',[? wa,/ `,s/ inspired by: t$!his hug=#;e setback to logic to co]%`nce? ive the+)* compu=#t([]er. Ultimat( `:ely, the film a\sks, can- ^`!humans rea%$lly stay +/ ahead? Could] today&)( #39s gene[*ration of- logical compu ti,ng machines be^% sma_rter than us? +W hat ?does th)at tell ]us about our (?-own bra[in:s`, and` = just how 'logic= al'* we really are...?