КОД (ISBN):
978-5-85582-335-6

Книга: Вовеки неразрешимо

Товар № 10347449

головоломное руководство по Геделю

Автор: Смаллиан Р.

Издательство: Лори

Вес: 0.280 кг.

Год издания: 2018

Формат: 84х108/32

Страниц: 312 Переплет: Мягкая обложка

Цена: 1 507 руб.

В КОРЗИНУ

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