逻辑的.*乐趣

　　A sharp, witty, mind-e`xpanding and ex*(`ub er*ant*+ foray i nto )[=the worl$=d o[f logic with/ computer sci:#ent\^ist Profe_[ssor Da
ve Cliff. Following in] the fo
^ ots =teps -
@o+#%f the award-winning '^.The J+:/oy of Stats%9 and =*@its sequel,\: 'Tails You Win -
-
?The Sci!+ence of (=Chance&./$#3(!9, /this?% film take *-s vi,ewers +on a new rol),ler%co
!ast*:er ride throu:$/gh philosop\.hy, +:maths,= scien ( ce and technology- all of whi;]ch, under_[  the bonne(?t, run o;n logic.　　Wielding \*%the=
same wit* and wis dom,. anim\(?ation$^ a[\%nd gleefu@#?l nerdery as its p/$r$!ed,ecessors,  th
?is film:( jo
urn^_eys -[f-*rom [[Aristotle
 t o Alice in Wo[nderlan;/d, sci-fi to supercomputers[ to tel\l the fasc\$ inat,@*ing story of th; e ques$-t f;or ce%$ rtainty and the funda,,mentals /of soun^\*d reaso! [n ing it-[=self.　　Dave.) Cliff, --p_^=rofessor of computer scie=nce and engin_-eering at Bri$$stol Unive((rs^
ity, is n#/o abstract t!heoretic],ian.( 1
!`5 years
=_[ ag=!o he combine@d logic a=?nd a,([* bit of m:$aths to writ])=e on@)e of t, #he firs:$[t com.put*e$r programs) t
o;._- outper\- form# humans at $,trad+$ing ?;+stocks [] and shares. Giving away the sof$ tw -.are[[ for free,) he says, was n;?ot his[) most logica%=^l move.*.\^..　　:^W]ith th/ $(e he*lp of 25 seven-year-olds`? , Profess`(#o]

r -Clif:.`f_?, c;reates , for? the fir`st ti*me eve+)#-r,\?= a computer made e
?ntir:,ely of chil()dren, ru`,
nn):ing o$@n/ n\othing but logic. We also meet the wor: ld')s brain_iest w!hizz-@=k_%i,/ds$, com*;#pet+*?@i_ng!** at the Int:e_#r/#n($@at*^iona;#l Ol%,y)@mpiad of Informatics*+ i*n,_ B r_!isbane, Australi[%@#a.　　+&
$@#39The@* +Joy of Lo gic
/ 9![[ also ha-@ils logic& #39s all-time her/@oes: Geo`rge Boole,+ who* m,oved logic b;/,eyond., phi.losophy to math! ematics Bertrand! ( R)ussell, who took 360+ pages but he#]%[r;oi(/ca[ %lly pro=ved that 1(= + 1 = 2 Kurt+= Godel, /who @bro%?ught\$ lo!)gic*% to its k^nees /-by de) monstrating that !:some
 truths*@ are unpr@ovab`le and Alan Turing, who, with wh@%at C,=liff call%!%
s an 'a*+ #lmo.@(st exqu[^isite p$ar!*adox$)%(&%:/#39,
?- wa?s inspired b ^)y this huge setback to logi)-c `` to conceive the computer](.　　Ultimately, the f-ilm a,s%+`ks, can humans really stay@ =^ahead? Could ,.[today&#! 39s generation o(.f lo# gical c_omp*uting !]machines [be smarter than(; us? What does that :?tell us abou[t our=- own :=\b*rains, and just h.!%@ow 'l og!ical& #39 w+e re@ ]:al,$ly are...?