Книга: Смаллиан Р. «Вовеки неразрешимо Головоломное руководство по Гёделю»

Вовеки неразрешимо Головоломное руководство по Гёделю

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

Формат: Мягкая глянцевая, 312 стр.

ISBN: 9785855823356

Купить за 636 руб в

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Сатана Кантор и бесконечность а также другие головоломкиНичто не будоражит человеческое воображение так сильно, как бесконечность! Ей присущи все странные… — (формат: Мягкая глянцевая, 362 стр.) Подробнее...2017636бумажная книга
Король Артур в поисках своей собаки и другие занимательные историиВашему вниманию предлагается издание "Король Артур в поисках своей собаки и другие занимательные истории" — (формат: Мягкая глянцевая, 192 стр.) Подробнее...2019509бумажная книга
Загадки Шехерезады и другие удивительные головоломкиКниги признанного мастера в области математической логики, американского ученого Рэймонда Смаллиана… — (формат: Твердая глянцевая, 256 стр.) Подробнее...2013405бумажная книга
Чародей и магия бесконечности Развивающие загадкиКниги признанного мастера в области математической логики, американского ученого Рэймонда Смаллиана… — (формат: Твердая глянцевая, 272 стр.) Подробнее...2017405бумажная книга

См. также в других словарях:

  • Смаллиан, Рэймонд Меррилл — Рэймонд Меррилл Смаллиан Raymond Smullyan Дата рождения: 25 мая 1919(1919 05 25) (93 года) Научная сфера: логика, математика, философия Рэймонд Меррилл Смаллиан ( …   Википедия

  • Задачи о рыцарях и лжецах — Задачи о рыцарях и лжецах  разновидность олимпиадных математических задач, в которых фигурируют персонажи: Лжец  человек (или иное существо), всегда говорящий ложь. и его антагонист Рыцарь, всегда говорящий правду. Решение подобных… …   Википедия

  • Популяризация науки — Популяризация науки  процесс распространения научных знаний в современной и доступной форме для широкого круга людей (имеющих определенный уровень подготовленности для получения информации). Популяризация науки, «перевод» специализированных… …   Википедия

  • Занимательная наука — Популяризация науки  процесс распространения научных знаний в современной и доступной форме для широкого круга людей (имеющих определенный уровень подготовленности для получения информации). Популяризация науки, «перевод» специализированных… …   Википедия

  • Популяризатор — Популяризация науки  процесс распространения научных знаний в современной и доступной форме для широкого круга людей (имеющих определенный уровень подготовленности для получения информации). Популяризация науки, «перевод» специализированных… …   Википедия

  • Рыцарь (математика) — Задачи о рыцарях и лжецах  разновидность олимпиадных математических задач, в которых фигурируют персонажи: Лжец  человек (или иное существо), всегда говорящий ложь. и его антагонист Рыцарь, всегда говорящий правду. Решение подобных задач обычно… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»