Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Definability and Computability

Name: Definability and Computability
Brand: Springer, Berlin
SKU: 9780306110399
Price: 231.04 EUR
Availability: InStock

Автор: Yuri L. Ershov

Език:

Корици: С твърди корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 10-13 дни

231.04 € 451.88 лв

In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regard...

Информация за книгата

Автор

Yuri L. Ershov

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1996

страници

264

EAN

9780306110399

ISBN

0306110393

Enbook ID

05246929

Издател

Springer, Berlin

Теглоt

576

Размери

155 x 235 x 19

Пълно описание

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.