内容简介
"Aclearlywritten，well-presentedsurveyofanintriguingsubject."—ScientificAmerican.Classictextconsidersgeneraltheoryofcomputability，computablefunctions，operationsoncomputablefunctions，Turingmachinesself-applied，unsolvabledecisionproblems，applicationsofgeneraltheory，mathematicallogic，Kleenehierarchy，computablefunctionals，classificationofunsolvabledecisionproblemsandmore.
作者简介
MartinDavis:ComputerSciencePioneer
Dover'spublishingrelationshipwithMartinDavis,nowretiredfromNYUandlivinginBerkeley,goesbackto1985whenwereprintedhisclassic1958bookComputabilityandUnsolvability,widelyregardedasaclassicoftheoreticalcomputerscience.AgraduateofNewYork'sCityCollege,DavisreceivedhisPhDfromPrincetoninthelate1940sandbecameoneofthefirstcomputerprogrammersintheearly1950s,workingontheORDVACcomputeratTheUniversityofIllinois.HelatersettledatNYUwherehehelpedfoundtheComputerScienceDepartment.Notmanybooksfromtheinfancyofcomputersciencearestillaliveafterseveraldecades,butComputabilityandUnsolvabilityistheexception.AndTheUndecidableisananthologyoffundamentalpapersonundecidabilityandunsolvabilitybymajorfiguresinthefieldincludingGodel,Church,Turing,Kleene,andPost.CriticalAcclaimforComputabilityandUnsolvability:
"Thisbookgivesanexpositoryaccountofthetheoryofrecursivefunctionsandsomeofitsapplicationstologicandmathematics.Itiswellwrittenandcanberecommendedtoanyoneinterestedinthisfield.Nospecificknowledgeofotherpartsofmathematicsispresupposed.Thoughtherearenoexercises,thebookissuitableforuseasatextbook."—J.C.E.Dekker,BulletinoftheAmericanMathematicalSociety,1959CriticalAcclaimforTheUndecidable:
"Avaluablecollectionbothfororiginalsourcematerialaswellashistoricalformulationsofcurrentproblems."—TheReviewofMetaphysics"Muchmorethanamerecollectionofpapers...avaluableadditiontotheliterature."—MathematicsofComputation,,
