Odifreddi P. (EN) — Classical Recursion Theory

Тут можно читать онлайн книгу Odifreddi P. (EN) - Classical Recursion Theory - бесплатно полную версию (целиком). Жанр книги: Иностранная литература. Вы можете прочесть полную версию (весь текст) онлайн без регистрации и смс на сайте Lib-King.Ru (Либ-Кинг) или прочитать краткое содержание, аннотацию (предисловие), описание и ознакомиться с отзывами (комментариями) о произведении.

Classical Recursion Theory
Язык книги: Английский
Прочитал книгу? Поставь оценку!
0 0

Classical Recursion Theory краткое содержание

Classical Recursion Theory - описание и краткое содержание, автор Odifreddi P. (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gdel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Classical Recursion Theory - читать онлайн бесплатно полную версию (весь текст целиком)

Classical Recursion Theory - читать книгу онлайн бесплатно, автор Odifreddi P. (EN)

Поделиться книгой

Оставить отзыв