Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 02.02.2026; планируемая отправка: 03.02.2026
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 05.02.2026; планируемая отправка: 06.02.2026
Технические характеристики
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".