Похожие книги
Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги».
Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science)
C. J. van Rijsbergen, N. Shankar
The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Godel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems
Получить эту книгу или продать свою
ПерейтиСодержание
Дополнительная информация об издании
ISBN: 0521585333
Язык: Русский
