Undecidable Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions

Name: Undecidable Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
Price: 19.29 USD
Availability: InStock
ISBN: 9780486432281

ISBN-10: 0486432289

ISBN-13: 9780486432281

Edition: 2004

Authors: Martin Davis

List price: $24.95

30 day, 100% satisfaction guarantee!

Buy new: $20.27

Marketplace

2 new & used from $19.29

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Gdel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Gdel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.

Book details

List price: $24.95
Copyright year: 2004
Publisher: Dover Publications, Incorporated
Publication date: 2/18/2004
Binding: Paperback
Pages: 416
Size: 6.46" wide x 9.17" long x 0.87" tall
Weight: 1.408



On Formally Undecidable Propositions of the Principia Mathematica and Related Systems. I


On Undecidable Propositions of Formal Mathematical Systems


On Intuitionistic Arithmetic and Number Theory


On the Length of Proofs


Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics


An Unsolvable Problem of Elementary Number Theory


A Note on the Entscheidungsproblem


On Computable Numbers, with an Application to the Entscheidungsproblem


Systems of Logic Based on Ordinals


An Informal Exposition of Proofs of Godel's Theorem and Church's Theorem


Extensions of Some Theorems of Godel and Church


General Recursive Functions of Natural Numbers


Recursive Predicates and Quantifiers


Finite Combinatory Processes. Formulation I


Recursive Unsolvability of a Problem of Thue


Recursively Enumerable Sets of Positive Integers and Their Decision Problems


Absolutely Unsolvable Problems and Relatively Undecidable Propositions- Account of an Anticipation


Index