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

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

70.62 BYN

61.44 BYN

В корзину

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

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

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

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

Артикул

3179501

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

Лори

Тип обложки

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

Автор

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

Штрих код

9785855823356

Год

2018

Страниц

312

Томов

Размеры

130x200 мм

Вес

284 гр.

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

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