Computability: Computable Functions, Logic, and the Foundations of Mathematics PDF (Adobe DRM) download by Walter A. Carnielli

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Advanced Reasoning Forum
Publication date: June 2008
ISBN: 9780981550732
Digital Book format: PDF (Adobe DRM)

Buy PDF

List price:
$22.99
Our price:
$20.99

You save: $2.00 (9%)
GET THIS EBOOK
FOR FREE!
Join our Facebook sweepstake, share and
get 10 likes. Winners
get notified in 24H!
Now in a new edition!--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".
Please sign in to review this product.
Format:
Devices:
Computability: Computable Functions, Logic, and the Foundations of Mathematics PDF (Adobe DRM) can be read on any device that can open PDF (Adobe DRM) files.

File Size:
18254 Kb
Language:
ENG
Copy From Text:
Disabled.
Printing:
Enabled. Unlimited number of pages within 30 days.