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

Вовеки разрешимо Головоломное...

Купить с кэшбэком
до 4,50%
1 049,00 руб.
Кэшбэк до 4,50%
Купить с кэшбэком
Купить с кэшбэком
Купить без кэшбэка
Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан фото

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

Поделиться:
Отложить Сравнить
Магазин: Буквоед
Артикул: 8673227
1 049,00 руб.
Купить с кэшбэком
до 4,50%
Купить с кэшбэком
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".

Отправьте эту ссылку другу. Если друг совершит покупку этого товара – вы получите за него кэшбэк.

Для получения кэшбэк-ссылки вам нужно Войти или Зарегистрироваться.

0,0

Всего оценок: 0|Всего отзывов: 0

Просмотренные товары

Похожие товары магазина

Другие товары магазина