ПРАЙС-ЛИСТ Скачать
Обновлен 13.09.2018


ИЗДАТЕЛЬСТВО «КАНОН +
РООИ «РЕАБИЛИТАЦИЯ»

Почтовый адрес:
Российская Федерация
111672 Москва,
ул. Городецкая, д.8, кор.3, кв.28
Офис:
Российская Федерация
г. Москва,
Малый Харитоньевский, д.4. оф. 3
Здание Института машиноведения РАН (ИМАШ РАН)

Тел. / факс (495)702-04-57

kanonplus@mail.ru



Понедельник 2018/09/24 03:30:18

Готовятся к изданию


Вовеки неразрешимое. Путь к Геделю через занимательные загадки
Смаллиан Рэймонд

Вовеки неразрешимое. Путь к Геделю через занимательные загадки

Книга Рэймонда Смаллиана «Вовеки неразрешимое. Путь к Геделю через занимательные загадки» представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.


Книга Рэймонда Смаллиана посвящается всем непротиворечивым мыслителям, которые никогда не смогут узнать, что они непротиворечивы.

Возможно ли для рационального человека находиться в таком состоянии, когда он не может поверить в свою соб­ственную непротиворечивость, не теряя в то же время этой самой непротиворечивости? Это одна из главных тем данной книги. Она смоделирована на знаменитом открытии Курта Геделя (так называемая Вторая Теорема о Неполно­те), что любая достаточно сильная непротиворечивая ма­тематическая система, известная как элементарная арифме­тика, подвержена удивительному ограничению, суть кото­рого в том, что она не может доказать своей собственной непротиворечивости!

Есть несколько причин, по которым я перевел аргумент Геделя из формальной области математических систем и доказуемых предложений в область человеческих существ и предложений, в которые они верят. Прежде всего, люди с их верами гораздо более понятны неспециалистам, неже­ли абстрактные математические системы, и поэтому я могу объяснить суть идей Геделя на языке, понятном любому человеку. Кроме того, изложение этих вопросов в терминах общечеловеческих представлений имеет огромную психо­логическую привлекательность и оказывается в высшей степени близким к быстро развивающимся исследованиям в области искусственного интеллекта.

ISBN 978-5-88373-319-1
2013 г.
304 стр.

Возврат к списку