Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=COPELAND,B. Jack
cover
Computability: Turing, Gödel, Church, and Beyond
Comment Share
COPELAND,B. JackPOSY,Carl J.SHAGRIR, Jack Oron

Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments. In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic …

Edition
-
ISBN/ISSN
9780262312677
Collation
-
Series Title
-
Call Number
004 COM