Research Catalog

The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.

Title
The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.
Author
Davis, Martin, 1928-
Publication
Hewlett, N.Y. : Raven Press, [1965]

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA248.5 .D293Off-site

Holdings

Details

Description
440 pages; 25 cm
Subject
  • Recursive functions
  • Gödel's theorem
  • Turing machines
  • Unsolvability (Mathematical logic)
  • Computable functions
Bibliography (note)
  • Includes bibliographical references.
LCCN
65003996
OCLC
ocm00232930
Owning Institutions
Columbia University Libraries