Смаллиан Рэймонд: Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан
Артикул: p6114671
Купили 21 раз
О товаре
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Характеристики
- Автор:
- Рэймонд Смаллиан
- Раздел:
- Прикладная философия
- ISBN:
- Год издания:
- 2018
- Количество страниц:
- 312
- Переплет:
- Мягкий переплёт
- Формат:
- 129x201 мм
- Вес:
- 0.28 кг
Отзывов ещё нет — вы можете быть первым.