Items related to Computability: Computable Functions, Logic, and the...
Synopsis
The classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".
"synopsis" may belong to another edition of this title.
- PublisherAdvanced Reasoning Forum
- Publication date2008
- ISBN 10 098155072X
- ISBN 13 9780981550725
- BindingHardcover
- LanguageEnglish
- Edition number3
- Number of pages370
- Rating
Search results for Computability: Computable Functions, Logic, and the...
Seller Image
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 5688185-n
Quantity: Over 20 available
Seller Image
Computability: Computable Functions, Logic, and the Foundations of Mathematics (Hardback or Cased Book)
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Computability: Computable Functions, Logic, and the Foundations of Mathematics (Hardback or Cased Book) 1.57. Seller Inventory # BBS-9780981550725
Quantity: 5 available
Stock Image
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780981550725
Quantity: Over 20 available
Stock Image
Computability Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
New
Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780981550725
Quantity: Over 20 available
Seller Image
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5688185
Quantity: Over 20 available
Stock Image
Computability Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780981550725
Quantity: Over 20 available
Stock Image
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
New
Hardcover
Seller: Russell Books, Victoria, BC, Canada
Seller rating 5 out of 5 stars
hardcover. Condition: New. 3rd Edition. Special order direct from the distributor. Seller Inventory # ING9780981550725
Quantity: Over 20 available
Stock Image
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780981550725_new
Quantity: Over 20 available
Seller Image
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5688185-n
Quantity: Over 20 available
Stock Image
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Published by
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 790. Seller Inventory # C9780981550725
Quantity: Over 20 available