Вовеки неразрешимо. Головоломное руководство по Геделю. Рэймонд Смаллиан
629 руб
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Вес
330
Ширина упаковки
130
Высота упаковки
20
Глубина упаковки
202
Оригинальное название
Forever Undecided: A Puzzle Guide to Godel
Автор
Рэймонд М. Смаллиан
Тип издания
Отдельное издание
Тип обложки
Мягкая обложка
Тираж
200
Переводчик
П. Быстров
Произведение
Вовеки неразрешимо. Головоломное руководство по Геделю
» Каталог
» Книги » Нехудожественная литература » Общественные и гуманитарные науки » Философия » Логика