закажи до 14.00 - получи завтра

8 (499) 753 80 02

время работы: Пн-Сб с 9:00 до 21:00

0

Корзина

0

Автор: Смаллиан Р.; Рэймонд Смаллиан

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

(0)
  • Код товара:

    389469

  • ISBN:

    978-5-85582-335-6

  • Автор:

    Смаллиан Р.; Рэймонд Смаллиан

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

    2013

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

    Лори

  • Переплет:

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

  • Тираж:

    200

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

    Лори

  • Формат:

    84x108/32 (130x200мм)

  • Вес:

    308 кг

  • Штрихкод:

    9785855823356

  • Количество страниц:

    320

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

полное описание

0

Нет в наличии

Дата с курьером по
Москве: 09.12.2016
Санкт-Петербургу: 10.12.2016

Дата самовывоза город Москва:
10.12.2016

  • Полное описание

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





Интернет-магазин Book&Shop предлагает Вам купить книгу "Вовеки неразрешимо. головоломное руководство по геделю" 2013 года издания по недорогой цене 0 руб. (код товара - 389469, номер ISBN - 978-5-85582-335-6). В каталоге нашего магазина представлен широкий ассортимент книжной продукции отечественных и зарубежных издательств. Вы можете заказать книгу "Вовеки неразрешимо. головоломное руководство по геделю" с доставкой в Москве и Московской области, а также забрать книгу в одном из пунктов самовывоза в г.Москве, г.Красногорск, г.Химки.

Чтобы купить книгу "Вовеки неразрешимо. головоломное руководство по геделю" онлайн, воспользуйтесь кнопкой "Купить в 1 клик" или оформите заказ через Корзину нашего магазина. Оплачивайте покупку удобным для Вас способом: наличными или банковской картой. Если у Вас возникли какие-то вопросы о книге "Вовеки неразрешимо. головоломное руководство по геделю", то Вы можете обратиться в службу поддержки клиентов по телефону в Москве +7(499) 753 80 02 с 09:00 до 21:00.




Внимание! Внешний вид товара может отличаться от фотографий на сайте.
Несовпадение внешнего вида и комплектности реального товара с фотографиями и описанием на сайте не является показателем ненадлежащего качества товара.