Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан
48,63 BYN58,36
Цена актуальна на 21.10.2026 — может отличаться от цены в магазине
В наличии
Перейти в Читай-Город →🎁Промокод −50%Продаёт магазин
Читай-Город
Описание
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Отзывы покупателей
Отзывов пока нет. Покупали этот товар? Расскажите о своём опыте — это поможет другим.