Книга: Смаллиан Р. «Вовеки неразрешимо Головоломное руководство по Гёделю»
|
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров" :эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями" непротиворечивость", "доказуемость" и"разрешимость" . Формат: Мягкая глянцевая, 312 стр.
ISBN: 9785855823356 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Сатана Кантор и бесконечность а также другие головоломки | Ничто не будоражит человеческое воображение так сильно, как бесконечность! Ей присущи все странные… — (формат: Мягкая глянцевая, 362 стр.) Подробнее... | бумажная книга | ||
| Король Артур в поисках своей собаки и другие занимательные истории | Вашему вниманию предлагается издание "Король Артур в поисках своей собаки и другие занимательные истории" — (формат: Мягкая глянцевая, 192 стр.) Подробнее... | бумажная книга | ||
| Загадки Шехерезады и другие удивительные головоломки | Книги признанного мастера в области математической логики, американского ученого Рэймонда Смаллиана… — (формат: Твердая глянцевая, 256 стр.) Подробнее... | бумажная книга | ||
| Чародей и магия бесконечности Развивающие загадки | Книги признанного мастера в области математической логики, американского ученого Рэймонда Смаллиана… — (формат: Твердая глянцевая, 272 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Смаллиан, Рэймонд Меррилл — Рэймонд Меррилл Смаллиан Raymond Smullyan Дата рождения: 25 мая 1919(1919 05 25) (93 года) Научная сфера: логика, математика, философия Рэймонд Меррилл Смаллиан ( … Википедия
Задачи о рыцарях и лжецах — Задачи о рыцарях и лжецах разновидность олимпиадных математических задач, в которых фигурируют персонажи: Лжец человек (или иное существо), всегда говорящий ложь. и его антагонист Рыцарь, всегда говорящий правду. Решение подобных… … Википедия
Популяризация науки — Популяризация науки процесс распространения научных знаний в современной и доступной форме для широкого круга людей (имеющих определенный уровень подготовленности для получения информации). Популяризация науки, «перевод» специализированных… … Википедия
Занимательная наука — Популяризация науки процесс распространения научных знаний в современной и доступной форме для широкого круга людей (имеющих определенный уровень подготовленности для получения информации). Популяризация науки, «перевод» специализированных… … Википедия
Популяризатор — Популяризация науки процесс распространения научных знаний в современной и доступной форме для широкого круга людей (имеющих определенный уровень подготовленности для получения информации). Популяризация науки, «перевод» специализированных… … Википедия
Рыцарь (математика) — Задачи о рыцарях и лжецах разновидность олимпиадных математических задач, в которых фигурируют персонажи: Лжец человек (или иное существо), всегда говорящий ложь. и его антагонист Рыцарь, всегда говорящий правду. Решение подобных задач обычно… … Википедия
