Вовеки не разрешимо. Головоломное руководство по Геделю

Код товара: 265

Бумажная книга

3.36 USD

Добавить в корзину

Внимание! Книгу продает: Дмитрий Андреевич

Условия продажи:

оплата и доставка товара через books.ru

Оплата и доставка через books.ru

Написать продавцу

Доставка:

Аннотация к книге "Вовеки не разрешимо. Головоломное руководство по Геделю"

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Дата выхода:	декабрь 2012
ISBN:	978-5-85582-335-6
Тираж:	200 экземпляров
Объём:	320 страниц
Масса:	250 г
Размеры(высота, ширина, толщина), см:	20 x 13 x 2
Обложка:	мягкая
Бумага:	офсетная
Переводное издание	+