Вовеки неразрешимо Головоломное руководство по Гёделю Лори 978 5 85582 335 6 В

Цена: 1099 руб.

Категория: Научно-популярная литература, Философские науки. Социология, Прикладная философия
Производитель: Лори
Артикул: 978-5-85582-335-6
Модель:

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

Магазин: Буквоед

ISBN: 978-5-85582-335-6
Объем: 312
Автор: Смаллиан Р.
Издательство: Лори
Год: 2018
Код номенклатуры: ORS104062487983135
Электронная: Нет
noСкидка: no