Title: Computability: Computable Functions, Logic, and the Foundations of Mathematics
Publisher: Advanced Reasoning Forum
Publication Date: 2008
Language: English
ISBN 10: 098155072X
ISBN 13: 9780981550725
Binding: Hardcover
Edition: 3rd Edition
Condition: new

About this title

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".

"About this title" may belong to another edition of this title.

Store Description

We love books and pride ourselves of giving the customer the best buying experience.

Visit Seller's Storefront

Seller's business information

Toscana Books
TX, U.S.A.

Sale & Shipping Terms

Terms of Sale

All returns are accepted within 30 days.

Shipping Terms

All books will be shipped through media mail. All books will be shipped within 2 business days.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	14 to 21 business days	13 to 14 business days
First item	US$ 4.30	US$ 14.50

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.