Mohlo by se vám také líbit

Více informací o knize Definability and Computability

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 658 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Definability and Computability
• Autor: Yuri L. Ershov
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 264
• EAN: 9780306110399
• ISBN: 0306110393
• ID: 05246929
• Nakladatelství: Springer, Berlin
• Hmotnost: 576 g
• Rozměry: 235 × 155 × 19 mm
• Rok vydání: 1996

Oblíbené z jiného soudku

---

---

---