Вовеки неразрешимо. Головоломное руководство по Геделю. Смаллиан Р.
Оформить заказ
Автор:Рэймонд Смаллиан
Издательство:Лори
Страниц:312
Год:2021
Обложка:Мягкий переплет
Размер:84x108/32
SKU:RU153877
ISBN:9785855823356
Наша цена:US $61.00
Пункты выдачи магазин ТРОЙКА
Отправка почтой: June 8th от US $12.00, бесплатно при заказе от US $100.00.
Точная стоимость доставки будет рассчитана при оформлении заказа.
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".