Computability
Crc Press Inc (Verlag)
978-0-534-10356-9 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Richard .L. Epstein (University of Campinas, Berkeley, CA, USA) (Author) , Walter Alexandr Carnielli (State University of Campinas, Brazil) (Author)
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.
| Erscheint lt. Verlag | 15.5.1990 |
|---|---|
| Verlagsort | Bosa Roca |
| Sprache | englisch |
| Maße | 210 x 280 mm |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-534-10356-1 / 0534103561 |
| ISBN-13 | 978-0-534-10356-9 / 9780534103569 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
