|
|
libcats.org
UnknowableGregory J. ChaitinThis essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical survey of the work of this century on the foundations of mathematics, in which the author was a major participant. The Unknowable is a very readable and concrete introduction to Chaitin's ideas, and it includes a detailed explanation of the programming language used by Chaitin in both volumes. It will enable computer users to interact with the author's proofs and discover for themselves how they work. The software for The Unknowable can be downloaded from the author's Web site.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Технические задачи исследования операцийАвтор: Чуев Ю.В., Автор: Спехова Г.П.
Размер книги: 4.27 Mb
Introduction to the Perturbation Theory of Hamiltonian SystemsАвтор: Dmitry Treschev, Автор: Oleg Zubelevich
Размер книги: 2.29 Mb
Helping Parents with Challenging Children Positive Family Intervention Parent Workbook (Programs That Work)Автор: V Mark Durand, Автор: Meme HienemanКатегория: Домоводство, досуг
Размер книги: 560 Kb
|
|
|