libcats.org
Главная

The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

Обложка книги The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gödel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Gödel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: