Computability and Logic.pdf

《Computability and Logic.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、P1:FhNCY186-FMCB421-BoolosJuly15,20073:5CharCount=0ThispageintentionallyleftblankP1:FhNCY186-FMCB421-BoolosJuly15,20073:5CharCount=0ComputabilityandLogic,FifthEditionComputabilityandLogichasbecomeaclassicbecauseofitsaccessibilitytostudentswith-outamathemat

2、icalbackgroundandbecauseitcoversnotsimplythestapletopicsofanintermediatelogiccourse,suchasG¨odel’sincompletenesstheorems,butalsoalargenum-berofoptionaltopics,fromTuring’stheoryofcomputabilitytoRamsey’stheorem.ThisfiftheditionhasbeenthoroughlyrevisedbyJohnP.

3、Burgess.Includingaselectionofexercises,adjustedforthisedition,attheendofeachchapter,itoffersanewandsimplertreatmentoftherepresentabilityofrecursivefunctions,atraditionalstumblingblockforstudentsonthewaytotheG¨odelincompletenesstheorems.Thisneweditionisalso

4、accompaniedbyaWebsiteaswellasaninstructor’smanual.“[Thisbook]givesanexcellentcoverageofthefundamentaltheoreticalresultsaboutlogicinvolvingcomputability,undecidability,axiomatization,definability,incompleteness,andsoon.”–AmericanMathMonthly“Thewritingstyleis

5、excellent:Althoughmanyexplanationsareformal,theyareperfectlyclear.Modern,elegantproofshelpthereaderunderstandtheclassictheoremsandkeepthebooktoareasonablelength.”–ComputingReviews“Avaluableassettothosewhowanttoenhancetheirknowledgeandstrengthentheirideasin

6、theareasofartificialintelligence,philosophy,theoryofcomputing,discretestructures,andmathematicallogic.Itisalsousefultoteachersforimprovingtheirteachingstyleinthesesubjects.”–ComputerEngineeringiP1:FhNCY186-FMCB421-BoolosJuly15,20073:5CharCount=0iiP1:FhNCY18

7、6-FMCB421-BoolosJuly15,20073:5CharCount=0ComputabilityandLogicFifthEditionGEORGES.BOOLOSJOHNP.BURGESSPrincetonUniversityRICHARDC.JEFFREYiiiCAMBRIDGEUNIVERSITYPRESSCambridge,NewYork,Melbourne,Madrid,CapeTown,Singapore,SãoPauloCambridgeUniversityPressTheEdin

8、burghBuilding,CambridgeCB28RU,UKPublishedintheUnitedStatesofAmericabyCambridgeUniversityPress,NewYorkwww.cambridge.orgInformationonthistitle:www.cambridge.org/9780521877527©GeorgeS.Boolos,JohnP.Burgess,Richar