Вовеки неразрешимо Головоломное руководство по Гёделю Лори 978-5-85582-335-6, Смаллиан Р
Цена: 1099 руб.
Категория: Научно-популярная литература, Философские науки. Социология, Прикладная философия
Цены на книгу в магазинах: | ||
![]() | Буквоед | - 1099 руб. 0% |
![]() | Читай-город | - 1099 руб. 0% |
![]() | book24 RU | - 1099 руб. 0% |
![]() | books.ru | - 1545 руб. 0% |
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний
мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Издательство: Лори
ISBN: 978-5-85582-335-6
Объем: 312
Автор: Смаллиан Р.
Год: 2018
Код номенклатуры: ORS104062487983135
Электронная: Нет
noСкидка: no
подробнее...
ISBN: 978-5-85582-335-6
Объем: 312
Автор: Смаллиан Р.
Год: 2018
Код номенклатуры: ORS104062487983135
Электронная: Нет
noСкидка: no
подробнее...
Комментарии, отзывы о "Вовеки неразрешимо. Головоломное руководство по Гёделю":
Добавить первый отзыв ...
Посетители интересовались: