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