McAfee SECURE helps keep you safe from identity theft, credit card fraud, spyware, spam, viruses and online scams.

Don't MissDon't Miss

More at Powell's

403 Forbidden

Forbidden

You don't have permission to access /user/ on this server.

Original Essays | September 1, 2010

Mary Helen Stefaniak: IMG Why Georgia? Why Baghdad?

0 comments By Mary Helen Stefaniak

You say you've written a novel called The Cailiffs of Baghdad, Georgia, and people ask you: Why Georgia? Why Baghdad? (Many of these people know... Continue »
  1. $17.47 Sale Hardcover add to wish list

    The Cailiffs of Baghdad, Georgia

    Mary Helen Stefaniak
spacer
Ships free on qualified orders.
Add to Cart
$21.27
List price: $22.99
Adobe Digital Editions
Available for immediate download
(learn more).
Add to Wishlist
Store Section
Adobe eBookstore Mathematics- Logic and Philosophy

This title in other editions

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

by Richard L. Epstein

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

Electronic Book


  1. Download this eBook Worldwide.
  • File Size: 18.3Mb
  • Macintosh Compatible: Mac OS X v10.4.10 or v10.5
  • Windows Compatible: Windows 2000 with Service Pack 4, Windows XP with Service Pack 2, or Windows Vista
  • Text-to-Speech Compatible: No.
  • Printable: Yes. (Unlimited pages every 30 days)
  • Format: Adobe Digital Editions encrypted PDF. Compatible with eBook devices.
  • Handheld Compatible: Yes. Click here to see a list of compatible devices.

To download and read this electronic book, you'll need to have Adobe Digital Editions installed. If you don't have it already, click here to download it now.

Synopses & Reviews

Publisher Comments:

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 Gdel'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.
back to top
back to top

Product Details

ISBN:
9780981550732
Author:
Epstein, Richard L.
Publisher:
Advanced Reasoning Forum
Author:
Carnielli, Walter A.
Subject:
Mathematics : Logic
Subject:
Philosophy : Logic
Subject:
Computers : Computer Science
Publication Date:
June 2008
Binding:
eBooks
Language:
English
back to top

Other books you might like

  1. $19.00 New Trade Paper add to wish list

    Mathematics Problems with Separate Progressive Solutions: Hints, Algorithms, Proofs. Volume 1 -- Intermediate and College Algebra

    Catalin Barboianu
    eBook available
back to top

Related Aisles

spacer
spacer
  • back to top

Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.