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

Name: Computability par Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)
SKU: 9780534103569
Price: 60.00 EUR
Availability: InStock

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

€60.00

État - Très bon état

Disponible en seulement 1 exemplaire(s)

Très bon état

Résumé

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

Computability Résumé

Computability: Computable Functions Logic and the Foundations of Math 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.

À propos de 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)

Sommaire

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.

Informations supplémentaires

Sku

GOR011081191

ISBN 13

9780534103569

ISBN 10

0534103561

Titre

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

Auteur

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

État

Occasion - Très bon état

Relié

Éditeur

Taylor & Francis Inc

Année de publication

19900515

Nombre de pages

320

Prix

N/A

Note de couverture

La photo du livre est présentée à titre d'illustration uniquement. La reliure, la couverture ou l'édition réelle peuvent varier.

Note

Il s'agit d'un livre d'occasion - par conséquent, il a été lu par quelqu'un d'autre et il présente des signes d'usure et d'utilisation antérieure. Dans l'ensemble, nous nous attendons à ce qu'il soit en très bon état, mais si vous n'êtes pas entièrement satisfait, veuillez prendre contact avec nous.