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