Picture 1 of 7
Stock photo
Picture 1 of 7
Stock photo
Computability : Computable Functions, Logic, and the Foundations of Mathematics by Walter A. Carnielli and Richard L. Epstein (2008, Hardcover)
Booktacular (666)
99.6% positive feedback
Price:
US $18.00
ApproximatelyRM 75.41
+ $35.81 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherAdvanced Reasoning Forum
ISBN-10098155072X
ISBN-139780981550725
eBay Product ID (ePID)24038836050
Product Key Features
Number of Pages382 Pages
LanguageEnglish
Publication NameComputability : Computable Functions, Logic, and the Foundations of Mathematics
Publication Year2008
SubjectGeneral, Set Theory, Logic
TypeTextbook
Subject AreaMathematics, Philosophy
AuthorWalter A. Carnielli, Richard L. Epstein
FormatHardcover
Dimensions
Item Height0.8 in
Item Length9.2 in
Item Width6.2 in
Additional Product Features
Intended AudienceCollege Audience
SynopsisThe 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".
Be the first to write a review
