You are using an outdated browser. Please upgrade your browser to improve your experience.
Мы используем «куки», чтобы было удобней пользоваться нашей интернет-страницей. Используя наш сайт, вы соглашаетесь с нашей политикой приватности. Для более подробной информации ознакомьтесь с нашей политикой конфиденциал
Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан
Description
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".