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