3.36 USD
Внимание! Книгу продает:
Дмитрий Андреевич
Условия продажи: оплата и доставка товара через books.ru
Дата выхода: | декабрь 2012 |
ISBN: | 978-5-85582-335-6 |
Тираж: | 200 экземпляров |
Объём: | 320 страниц |
Масса: | 250 г |
Размеры(В x Ш x Т), см: | 20 x 13 x 2 |
Обложка: | мягкая |
Бумага: | офсетная |
Переводное издание | + |
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания (печатать предложения, выражающие эти высказывания), и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Лёба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость».