книги Дом, семья, хобби, спорт Игры, развлечения, праздники Головоломки

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

Код 3126488

  • ISBN: 978-5-85582-335-6
  • 316 страниц
  • ноябрь 2012
  • Лори
  • 352 г

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 21.05.2024; планируемая отправка: 22.05.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 24.05.2024; планируемая отправка: 25.05.2024

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

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

Оставить комментарий

Оцените книгу:

Издательство: Лори
Дата выхода: ноябрь 2012
ISBN: 978-5-85582-335-6
Тираж: 200 экземпляров
Объём: 316 страниц
Масса: 352 г
Обложка: мягкая

Книга находится в категориях

Пятница 2018

Вместе с этой книгой покупают