{"product_id":"the-undecidable-martin-davis-9780486432281","title":"The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions","description":"An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Gel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Martin Davis\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0486432289\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780486432281\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Dover Publications\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/18\/2004\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 413\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.16lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.16h x 6.44w x 0.85d","brand":"Martin Davis","offers":[{"title":"Paperback","offer_id":43993967689983,"sku":"9780486432281","price":24.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_83f144c4-9434-45df-99a9-718596436654.jpg?v=1683327341","url":"https:\/\/www.whiterainbookhouse.com\/products\/the-undecidable-martin-davis-9780486432281","provider":"WR Book House","version":"1.0","type":"link"}