Головоломное руководство по Геделю.
Введение в символическую логику.
Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Вовеки неразрешимо. Рэймонд Смаллиан.
500,00 ₽Цена
Издательство
Лори
Год издания
2018
ISBN
978-5-85582-335-6
Формат
Мягкая глянцевая обложка