О книге: Вовеки неразрешимо. Головоломное руководство по Гёделю; Лори, 2018
О книге
| Параметр | Значение |
|---|---|
| Автор(ы) | Смаллиан Рэймонд Меррилл |
| Переплет | Мягкий переплёт |
| Издатель | Лори |
| Год издания | 2018 |
| Возрастные ограничения | 12 |
| Кол-во страниц | 312 |
| Жанр | философия |
| Количество страниц | 312 |
| Вес | 280 |
| Формат | 20.1 x 12.9 x 1.4 |
| Издательство | Лори |
| Возрастное ограничение | 16+ |
| Оформление обложки | частичная лакировка |
| Тип обложки | твердая |
| Автор | Смаллиан Рэймонд Меррилл |
| Количество книг | 1 |
| Страниц | 312 |
| Переплёт | мягкий |
| ISBN | 978-5-8558-2335-6 |
| Размеры | 12,90 см × 20,10 см × 1,40 см |
| Тематика | Другие издания |
| Раздел | Прикладная философия |
Где купить (1)
Цена от 1599 р. до 1599 р. в 1 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| book24 | 1349 р. | 06.01.2026 |
| Мегамаркет | 1184 р. | 24.12.2024 |
| OZON | 661 р. | 24.06.2024 |
| Буквоед | 1349 р. | 06.01.2026 |
Описание
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
![]()
Смотри также о книге.
Отзывы (0)
Добавить отзыв
Книги: Общие вопросы - издательство "Лори"
Книги: Общие вопросы
Категория 1279 р. - 1918 р.