В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Реальные Отзывы
Смаллиан Р. "Вовеки неразрешимо. Головоломное руководство по Гёделю"
Посмотреть: https://go.wmlogs.com/offter
Просим оставить максимально объективный отзыв. Это поможет остальным участникам группы избежать ошибок и сделать правильный выбор.
Посмотреть: https://go.wmlogs.com/offter
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
#Смаллиан #Вовеки #неразрешимо #Головоломное #руководство #делю #Нехудожественная литература