download process

Computability: Computable Functions, Logic, and the Foundations of Mathematics - , Walter A. Carnielli

Download
Price: 22.99 USD
ePub format
Apps only
non-refundable!


Download

Instant Download from ebook-reader, digital version


Pay for Computability: Computable Functions, Logic, and the Foundations of Mathematics - , Walter A. Carnielli
top quality provided by
ingram
for Adobe Digital Editions

Works on PC, Mac and modern smartphones and tablets!
  1. Create an Adobe account.
  2. Install/update Adobe Digital Edition.
  3. Buy this book on TRADEBIT.COM.
    See the How-To!

Standard iOS and Android reader apps work, too!
- code:ingram:9780981550725 -

File Data:

Contact Seller:
ebook-reader, US, Member since 09/08/2010

URL:

Embed:
Create JavaScript Mobile Tag Widgets for your homepage

Resell product:

Description:

(ID 109936941)
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".

Author: Epstein, Richard L.
Author: Carnielli, Walter A.
Publisher: Advanced Reasoning Forum
Illustration: N
Language: ENG
Title: Computability: Computable Functions, Logic, and the Foundations of Mathematics
Pages: 00000 (Encrypted PDF)
On Sale: 2008-06-01
SKU-13/ISBN: 9780981550725
Age: 18-18
Reading Level: 13-13
Category: Mathematics : Logic
Category: Mathematics : Set Theory
Category: Philosophy : Logic


More Files From This User

Related Files