Нет отзывов
Купили 14 человек
Аннотация
| Издательство | |
|---|---|
| Переплет | Мягкий переплёт |
| Страниц | 312 |
| Год, тираж | 2018 |
Нет в наличии, но есть в 1 магазине в других городах, 1 599 ₽
Добавьте этот товар в избранное, чтобы узнать, когда он снова появится в наличии в интернет-магазине.
Отзывы
0Описание и характеристики
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
| Код | 2630313 |
|---|---|
| Издательство | |
| Автор | |
| Переплет | Мягкий переплёт |
| Кол-во страниц | 312 |
| Год издания | 2018 |
| ISBN | 978-5-8558-2335-6 |
| Раздел | Общие вопросы |
| Размеры | 1.3 см × 12.8 см × 20.1 см |
| Вес | 0.28 кг |