Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан — Рэймонд Смаллиан
Аннотация к книге «Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан»
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость».
Автор: Рэймонд Смаллиан