资源描述：
《To_Mock_a_Mockingbird_and_Other_Logic_Puzzles__Including_an_Amazing_Adventure_in_Combinatory_Logic英文学习资料》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、FPT$14.95Inthisentertainingandchallengingnewcollectionoflogicpuzzles,RaymondSmullyan-authorofWhatIstheNameofThisBook>andTileLadyortheTiger?-continuestodelightandastonishuswithhisgiftformakingavailable,inthethoroughlypleasurableformofpuzzles,someofthemostim•portantmathematicalthinkingofourt
2、ime.Inthefirstpartofthebook,hetransportsusonceagaintothatwonderfulrealmwhereknights,knaves,twinsisters,quadrupletbrothers,gods,demons,andmortalseitheralwaystellthetruthoralwayslie,andwheretruth-seekersaresetavarietyoffascinatingproblems.Thesectionculminatesinanenchantingandprofoundmetapuzz
3、le(apuzzleaboutapuzzle),inwhichInspectorCraigofScot•landYardgetsinvolvedinasearchfortheFountainofYouthontheIslandofKnightsandKnaves.Inthesecondandlargersection,weaccompanytheInspectoronasummer-longadventureintothefieldofcombinatorylogic(abranchoflogicthatplaysanimportantroleincomputerscien
4、ceandar•tificialintelligence).Hisadventure,whichincludesenchantedforests,talkingbirds,birdsociologists,andaclassicquest,providesforusalongthewaythepleasureofsolvingpuzzlesofincreasingcomplexityuntilwereachtheMasterForestand-thankstoGodel'sfamoustheorem-thefinalrevelation.ToMorkaMork;t1gbir
5、dwilldelightallpuzzlelov•ers-thecuriousneophyteaswellastheseriousstu•dentoflogic,mathematics,orcomputerscience.\RaymondSmullyan,awell-knownmathematicianandlogician,isOscarOwingProfessorofPhiloso•phyatIndianaUniversityandProfessorEmeritusoftheCityUniversityofNewYork-LehmanCollegeandGraduat
6、eCenter,Hismanywritingsincludethreepreviousvolumesofrecreationallogicandmathproblems,WhatIstheNameofThisBook?,TheLadyortheTiger',andAliceinPuzzle•land;twostudiesofdeductivelogicinchess,TheChessMysteriesofSherlockHolmesandTheChessMysteriesoftheArabianKnights;andthreecollec•tionsofphilosophi
7、calessaysandaphorisms,TheTaoIsSilent,ThisBookNeedsNoTitle,and5000B.C.JacketillustrationanddesignbyStevenMaxSinger~AlfredA.Knopf,Publisher,NewYork6/8STOMOCKAMOCKINGBIRDALSOBYRAYMONDSMULLYANTheoryofFormalSystemsFirstOrderLogicTheTaoIsSilentWhatIstheNameofThisBoo
