Computability Theory 可计算性理论：递进理论导论

"ComputabilityTheory:AnIntroductiontoRecursionTheory",providesaconcise,comprehensive,andauthoritativeintroductiontocontemporarycomputabilitytheory,techniques,andresults.Thebasicconceptsandtechniquesofcomputabilitytheoryareplacedintheirhistorical,philosophicalandlogicalcontext.Thispresentationischaracterizedbyanunusualbreadthofcoverageandtheinclusionofadvancedtopicsnottobefoundelsewhereintheliteratureatthislevel.Thetextincludesboththestandardmaterialforafirstcourseincomputabilityandmoreadvancedlooksatdegreestructures,forcing,prioritymethods,anddeterminacy.Thefinalchapterexploresavarietyofcomputabilityapplicationstomathematicsandscience."ComputabilityTheory"isaninvaluabletext,reference,andguidetothedirectionofcurrentresearchinthefield.Nowhereelsewillyoufindthetechniquesandresultsofthisbeautifulandbasicsubjectbroughtaliveinsuchanapproachableway.FrequenthistoricalinformationpresentedthroughoutMoreextensivemotivationforeachofthetopicsthanothertextscurrentlyavailableConnectswithtopicsnotincludedinothertextbooks,suchascomplexitytheory.