Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан
Цена: 1599 ₽
Магазин: Читай-город
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечи
Сравнение цен и переход в магазин — на Navila. Итоговую цену, наличие и условия доставки уточняйте у продавца.