Name: Вовеки неразрешимо. Головоломное руководство по Геделю
Brand: Лори
SKU: 1308163
Price: 61.44 BYN
Availability: InStock

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

70.62 BYN

61.44 BYN

В корзину

Дата доставки.

Доставка в Минск: 14 Мая (Вт) - 15 Мая (Ср)

Доставка в регионы: 20 Мая (Пн) - 22 Мая (Ср)

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

Артикул

1308163

Издательство

Лори

Тип обложки

мягкая обложка

Автор

Смаллиан Рэймонд Меррилл

Штрих код

9785855823356

Год

2013

Страниц

320

Томов

Вес

308 гр.

Изготовитель

ЗАО "Издательство "Лори". 123100, РФ, г. Москва, Шмитовский пр-д, д. 13/6, корп. 1