rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Computability & unsolvability
  title info:
    title: Computability and unsolvability
  name:
    name part: Davis, Martin
    name part: 1928-2023
    role:
      role term: creator
    role:
      role term: author
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: nyu
    date issued: 1982
    edition: Dover ed.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xxv, 248 pages ; 22 cm
  abstract: Classic graduate-level introduction to theory of computability, usually referred to as theory of recurrent functions. New preface and appendix.
  table of contents: Introduction -- Heuristic remarks on decision problems -- Suggestions to the reader -- Notational conventions -- Part I. The General Theory of Computability -- Computable functions -- Turing Machines -- Computable functions and partially computable functions -- Some examples -- Relatively computable functions -- Operations on computable functions -- Preliminary lemmas -- Composition and minimalization -- Recursive functions -- Some classes of functions -- Finite sequences of natural numbers -- Primitive recursion -- Primitive recursive functions -- Recursive sets and predicates -- Turing machines self-applied -- Arithmetization of the theory of Turing machines -- Computability and recursiveness -- A universal Turing machine -- Unsolvable decision problems -- Semicomputable predicates -- Decision problems -- Properties of semicomputable predicates -- Recursively enumerable sets -- Two recursively enumerable sets -- A set which is not recursively enumerable -- Part 2. Applications of the General Theory -- Combinatorial problems -- Combinatorial systems -- Turing machines and semi-thue systems -- Thue systems -- The word problem for semigroups -- Normal systems and post systems -- Diophantine equations -- Hilbert's tenth problem -- Arithmetical and diophantine predicates -- Arithmetical representation of semicomputable predicates -- Mathematical logic -- Logics -- Incompleteness and unsolvability theorems for logics -- Arithmetical logics -- First-order logics -- Partial propositional calculi -- Part 3. Further Development of the General Theory -- The Kleene hierarchy -- The iteration theorem -- Some first applications of the iteration theorem -- Predicates, sets, and functions -- Strong reducibility -- Some classes of predicates -- A representation theorem for P subscript 2 superscript A -- Post's representation theorem -- Computable functionals -- Functionals -- Complete computable functionals -- Normal form theorems -- Partially computable and computable functionals…
  note: Martin Davis.
  note: Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new preface and appendix).
  note: Also issued online.
  note: Includes bibliographical references (pages 237-241) and index.
  subject:
    topic: Recursive functions
  subject:
    topic: Unsolvability (Mathematical logic)
  subject:
    topic: Computable functions
  subject:
    topic: Fonctions récursives
  subject:
    topic: Non-résolubilité (Logique mathématique)
  subject:
    topic: Fonctions calculables
  subject:
    topic: Computable functions
  subject:
    topic: Recursive functions
  subject:
    topic: Unsolvability (Mathematical logic)
  classification: QA9.615 .D38 1982
  classification: 511.3
  related item:
    title info:
      title: Computability & unsolvability
    name:
      name part: Davis, Martin, 1928-
    origin info:
      publisher: New York : Dover, 1982
      edition: Dover ed.
    identifier: (OCoLC)565053613
  related item:
    title info:
      title: McGraw-Hill series in information processing and computers
  identifier: 0486614719
  identifier: 9780486614717
  identifier: 82007287
  identifier: http://catdir.loc.gov/catdir/toc/dover031/82007287.html
  identifier: http://catdir.loc.gov/catdir/description/dover032/82007287.html
  related item:
    location:
      url: http://catdir.loc.gov/catdir/toc/dover031/82007287.html
  related item:
    location:
      url: http://catdir.loc.gov/catdir/description/dover032/82007287.html
  location:
    physical location: TAG TAGC
  record info:
    record content source: DLC
    record creation date: 820429
    record change date: 20240807190545.9
    record identifier: in00004810875
    language of cataloging:
      language term: eng