Вовеки неразрешимо. Головоломное руководство по Геделю. Смаллиан Р.
![]() |
Автор:Рэймонд Смаллиан Издательство:Лори Страниц:312 Год:2021 Обложка:Мягкий переплет Размер:84x108/32 SKU:RU153877 ISBN:9785855823356 Наша цена:US $64.00
Отправляется через 16-24 дня
|
Описание
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".©2024 Troyka Online All rights reserved.