Корзина
Корзина пуста!
Войти

Забыли пароль?

Регистрация

Автотовары

Баня и сауна

Бижутерия

Бытовая техника

Дача и сад

Зоотовары

Игрушки

Интерьер

Канцтовары

Книги

Кожгалантерея

Красота и здоровье

Летние товары

Мебель

Оборудование

Одежда и обувь

Освещение

Посуда

Праздники

Продукты питания

Спорт и отдых

Стройка и ремонт

Сувениры

Творчество

Текстиль

Товары для детей

Упаковка

Хозтовары

Швейная галантерея

Эксклюзивные товары

Ваш город

Поиск
Информация

Как купить

Доставка и оплата

Гарантия

Вопросы - ответы

Магазины и пункты выдачи заказов

Вовеки неразрешимо. Смаллиан Р.

Вовеки неразрешимо. Смаллиан Р.

Артикул:829.02.55
2 38800 р.
Доставка по всей России и СНГ - стоимость от 180 р.*

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

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

Производитель ЛОРИ
Страна Россия
Количество страниц 312
Год издания 2021
Тип обложки Мягкий переплёт
Вес 274 г
Текст с картинки
Отзывы о товареОставить отзыв