Официальный магазин издательской группы ЭКСМО-АСТ
Доставка
8 (800) 333-65-23
Часы работы:
с 8 до 20 (МСК)

Смаллиан Рэймонд: Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан

Артикул: p6114671

Купили 21 раз

Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан - фото 1
Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан - фото 2
Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан - фото 3

О товаре

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.

Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".

Характеристики

ISBN:
Год издания:
2018
Количество страниц:
312
Переплет:
Мягкий переплёт
Формат:
129x201 мм
Вес:
0.28 кг

Отзывов ещё нет — вы можете быть первым.

Войдите или зарегистрируйтесь, чтобы получить скидку 30% на первый заказ