Магазин `Купить с доставкой`

Доставка до пунктов выдачи или почтой.

TwitterRSS

Научно-популярная, общеобразовательная литература
ISBN 978-5-85582-335-6



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

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

Производитель: Лори

Цена: 672.00 руб.

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



Отобрано товаров 1
(c) nzrv.ru

Яндекс.Метрика