Zobacz książki o podobnej tematyce

Więcej informacji o Definability and Computability

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 603 punkty

Opis

In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Mathematics Mathematical foundations

• Pełny tytuł: Definability and Computability
• Autor: Yuri L. Ershov
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 264
• EAN: 9780306110399
• ISBN: 0306110393
• ID: 05246929
• Wydawca: Springer, Berlin
• Waga: 576 g
• Wymiary: 235 × 155 × 19 mm
• Rok wydania: 1996

Ulubione w innej kategorii

---

---

---