Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан
Где читать или купить
Буквоед · бумага
Реклама
1 349 ₽
Купить у партнёра
«Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан» у партнёра Буквоед — реклама, внешняя ссылка
Описание
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
О книге
| Издательство | Лори |
|---|---|
| Год издания | 2018 |
| Язык | rus |
| ISBN | 978-5-8558-2335-6 |
Похожие книги
Частые вопросы
О чём книга «Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан»?
«Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан» — это современная зарубежная философия. В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные…
Где читать или купить «Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан»?
Книгу можно читать или купить у партнёра Буквоед (бумажная книга). Цена у партнёра — 1349 ₽. Переход — по кнопке в блоке «Где читать или купить».
Что почитать похожее на «Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан»?
Близкие по теме книги: «Искусство побеждать в спорах. Мысли», «Сущность цвета и тайна радуги», «Капитал. С комментариями и иллюстрациями». Полный список — в блоке «Похожие книги».