My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in Australia
Trustpilot
Proud to be B-Corp

Computability Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)

Computability By Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)

Computability by Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)

Reviews:
$66.99
Condition - Very Good
Only 1 left
Very Good

Summary

This book should be of interest to intermediate mathematics undergraduates; postgraduates in theoretical computer science/philosophy of mathematics.

Computability Summary

Computability: Computable Functions Logic and the Foundations of Math by Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)

This book should be of interest to intermediate mathematics undergraduates; postgraduates in theoretical computer science/philosophy of mathematics.

About Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)

Richard .L. Epstein (University of Campinas, Berkeley, CA, USA) (Author) , Walter Alexandr Carnielli (State University of Campinas, Brazil) (Author)

Table of Contents

Philosophy and mathematics. Some paradoxes. Whole numbers. Functions. An introduction to the nature of a proof. Infinite collections? Hilbert: on the infinite. Computability. Turing machines. The most amazing fact and Church's thesis. Primitive recursive functions. The Grzegorczyk hierarchy. Multiple recursion and recursion on order types. The least search operator. Partial recursion functions. Numbering the partial recursive functions. Listability. Turing machine computable = partial recursive. Logic and arithmetic, part 1: propositional logic. Logic and arithmetic, part 2: a review. Logic and arithmetic, part 3: first-order arithmetic. Functions representable in formal arithmetic. The undecidability of arithmetic. The unprovability of consistency. Church's thesis. Constructivist view of mathematics. Bibliography. Index of notation. Index.

Additional information

GOR011081191
9780534103569
0534103561
Computability: Computable Functions Logic and the Foundations of Math by Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)
Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)
Used - Very Good
Hardback
Taylor & Francis Inc
19900515
320
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us

Customer Reviews - Computability