Items related to Undecidable: Basic Papers on Problems Propositions...
Undecidable: Basic Papers on Problems Propositions Unsolvable Problems and Computable Functions - Hardcover
Synopsis
This anthology of fundamental papers dealing with undecidability and unsolvability begins with del's epoch-making paper of 1931. This paper demonstrated for the first time that systems of logic--no matter how powerful--could never admit proofs of all true assertions of arithmetic. Included in this outstanding volume are the basic papers of del, Church, Turing, and Post in which the class of recursive functions was singled out and seen to be just the class of functions that can be computed by finite algorithms. Also presented is the work of Church, Turing, and Post in which problems from the theory of abstract computing machines, from mathematical logic, and finally from algebra are shown to be unsolvable in the sense that there is no finite algorithm for dealing with them. Finally, the book presents the work of Kleene and of Post initiating the classification theory of unsolvable problems. Already the standard reference work on the subject, The Undecidable is also ideally suited as a text or supplementary text for courses in logic, philosophy, and foundations of mathematics.
"synopsis" may belong to another edition of this title.
Buy New
View this item
US$ 120.09
US$ 18.73 shipping from Germany to U.S.A.
Destination, rates & speeds
Search results for Undecidable: Basic Papers on Problems Propositions...
Stock Image
Undecidable: Basic Papers on Problems Propositions Unsolvable Problems and Computable Functions
Seller: Goodwill of Colorado, COLORADO SPRINGS, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. This item is in overall good condition. Covers and dust jackets are intact but may have minor wear including slight curls or bends to corners as well as cosmetic blemishes including stickers. Pages are intact but may have minor highlighting/ writing. Binding is intact; however, spine may have slight wear overall. Digital codes may not be included and have not been tested to be redeemable and/or active. Minor shelf wear overall. Please note that all items are donated goods and are in used condition. Orders shipped Monday through Friday! Your purchase helps put people to work and learn life skills to reach their full potential. Orders shipped Monday through Friday. Your purchase helps put people to work and learn life skills to reach their full potential. Thank you! Seller Inventory # 466OE3004AWW
Quantity: 1 available
Stock Image
Undecidable: Basic Papers on Problems Propositions Unsolvable Problems and Computable Functions
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fair. Acceptable condition. No Dust Jacket Former Library book. (Recursive Functions, Godel's Theorem, Turing Machines) A readable, intact copy that may have noticeable tears and wear to the spine. All pages of text are present, but they may include extensive notes and highlighting or be heavily stained. Includes reading copy only books. Seller Inventory # R06OS-00138
Quantity: 1 available
Stock Image
The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
Published by
Lippincott Williams & Wilkins, 1965
ISBN 10: 0911216014
ISBN 13: 9780911216011
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP105245190
Quantity: 1 available
Stock Image
Atlas of Electroencephalography in Coma and Cerebral Death
Seller: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Germany
Seller rating 4 out of 5 stars
gebundene Ausgabe. Condition: Neu. 1976; ASIN B0001718KG. 244 S. Sprache: Deutsch. Seller Inventory # 10384
Quantity: 3 available
Seller Image
The Undecidable, Basic Papers On Undecidable Propositions, Unsolvable Problems And Computable Functions (Including) Five Papers From Godel, Including Godel's "On Undecidable Propositions Of Formal Mathematical Systems" Etc., With New Supplementary Material From Godel, And Turing's "On Computable Numbers." And "Systems Of Logic Based On Ordinals", Also New Supplementary Material From Kleene For His Two Papers
Published by
Raven Press, Hewlett Ny, 1965
ISBN 10: 0911216014
ISBN 13: 9780911216011
Used
Hardcover
First Edition
Seller: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fine. Dust Jacket Condition: Fine. 1st Edition. 440 Pp. Blue Cloth, Gilt. Book Is 2.9 Cm Thick (An Otherwise Identical Issue In Blue Cloth Is 3.2 Cm Thick, But With A Different Typesetting Of Title Page And Completely Different Copyright Page , And In A Priced And Different Dust Jacket). Slight Usage; Book Fine, Dj Also Fine. The Book Is An Anthology Of 17 Papers, Most Previously Published, But Including Previously Unpublished Lectures By Godel And An Unpublished Account By Post Of His Early Work, And With Supplementary Material Furnished By Godel And Keene. Signed Bookplate And Also The Name Stamp Of Hal Berghel, Professor Of Computer Science At The University Of Nevada, Las Vegas Where He Has Previously Served As Director Of Both The Schools Of Computer Science And Informatics, And As Associate Dean Of The College Of Engineering. He Created And Directed The First Cybersecurity Degree Programs (Bachelors, Masters And Phd) In Nevada In 2005. He Was The Founding Director Of The Identity Theft And Financial Fraud Research And Operations Center And Cybersecurity Research Center. Seller Inventory # 057419
Quantity: 1 available
Stock Image
Undecidable: Basic Papers on Problems Propositions Unsolvable Problems and Computable Functions
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0911216014
Quantity: 1 available