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

Description

Tools

Cite this Export citation file

Main Author: Davis, Martin, 1928-
Language(s): English
Published: Hewlett, N.Y., Raven Press, 1965.
Subjects: Turing machines
Gödel's theorem.
Recursive functions
Physical Description: 440 p., 25 cm.
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of Michigan
Limited (search only)	University of Michigan

View HathiTrust MARC record

Similar Items

Lectures on modern mathematics

Author: Davis, Martin, 1928-
Published: 1967

A first course in functional analysis

Author: Davis, Martin, 1928-
Published: 1967

Applied nonstandard analysis

Author: Davis, Martin, 1928-
Published: 1977

Computability & unsolvability

Author: Davis, Martin, 1928-
Published: 1982

Computability & unsolvability

Author: Davis, Martin, 1928-
Published: 1958

Computability, complexity, and languages : fundamentals of theoretical computer science

Author: Davis, Martin, 1928-
Published: 1983

Solvability, provability, definability : the collected works of Emil L. Post

Author: Post, Emil Leon, 1897-1954.
Published: 1994

Extensions and corollaries of recent work on hilbert's tenth problem

Author: Davis, Martin, 1928-
Published: 1961

Diophantine sets over polynomial rings

Author: Davis, Martin, 1928-
Published: 1961

Introduction to modern algebra and matrix theory

Author: Schreier, O. (Otto), 1901-1929,
Published: 1959