Poetry Madness
 
 

Recently Viewed clear list


Interviews | March 17, 2014

Shawn Donley: IMG Peter Stark: The Powells.com Interview



Peter StarkIt's hard to believe that 200 years ago, the Pacific Northwest was one of the most remote and isolated regions in the world. In 1810, four years... Continue »
  1. $19.59 Sale Hardcover add to wish list

spacer
Qualifying orders ship free.
$59.50
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- Logic and Philosophy

This title in other editions

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

by

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

 

Synopses & Reviews

Synopsis:

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.

Synopsis:

This classic presentation of the theory of computable functions includes 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.

Product Details

ISBN:
9780981550725
Author:
Epstein, Richard L.
Publisher:
Advanced Reasoning Forum
Author:
Carnielli, Walter A.
Subject:
Logic
Subject:
Set Theory
Subject:
Mathematics-Logic and Philosophy
Publication Date:
20080631
Binding:
Hardcover
Language:
English
Pages:
384
Dimensions:
6.14x9.21x.88 in. 1.57 lbs.
Age Level:
18-18

Related Subjects

Computers and Internet » Networking » General
Humanities » Philosophy » Logic
Metaphysics » Parapsychology
Reference » Science Reference » General
Science and Mathematics » Mathematics » Advanced
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Set Theory

Computability: Computable Functions, Logic, and the Foundations of Mathematics New Hardcover
0 stars - 0 reviews
$59.50 In Stock
Product details 384 pages Advanced Reasoning Forum - English 9780981550725 Reviews:
"Synopsis" by , 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.
"Synopsis" by , This classic presentation of the theory of computable functions includes 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.
spacer
spacer
  • back to top
Follow us on...




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 gifts — here at Powells.com.