Книга: Смаллиан Рэймонд М. «Вовеки неразрешимо. Головоломное руководство по Геделю»
Серия: "-" В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Лёба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость». Эта книга для тех, кто желает: - не только научиться успешно искать свою подругу, которая иногда улетает на острова, населенные всегда говорящими правду рыцарями и бессовестно лгущими плутами, но даже стать в этом деле мастером, не хуже сыщиков из Скотланд-Ярда;-блеснуть в компании интеллектуалов своим нестандартным пониманием сути знаменитых результатов из области математической логики, известных как теоремы Гёделя о неполноте и теорема Лёба;-решая увлекательные задачи, познакомиться с серьезной научной дисциплиной, именуемой «символическая логика»; - познакомиться с модальной логикой в форме «возможных миров» — миров человеческих мнений или убеждений; понять, какие трудности подстерегают нас при доказательстве непротиворечивости наших рассуждений и в рассуждениях о непротиворечивости наших доказательств. Издательство: "Лори" (2018)
ISBN: 978-5-85582-335-6 |
См. также в других словарях:
Смаллиан, Рэймонд Меррилл — Рэймонд Меррилл Смаллиан Raymond Smullyan Дата рождения: 25 мая 1919(1919 05 25) (93 года) Научная сфера: логика, математика, философия Рэймонд Меррилл Смаллиан ( … Википедия
Задачи о рыцарях и лжецах — Задачи о рыцарях и лжецах разновидность олимпиадных математических задач, в которых фигурируют персонажи: Лжец человек (или иное существо), всегда говорящий ложь. и его антагонист Рыцарь, всегда говорящий правду. Решение подобных… … Википедия
Рыцарь (математика) — Задачи о рыцарях и лжецах разновидность олимпиадных математических задач, в которых фигурируют персонажи: Лжец человек (или иное существо), всегда говорящий ложь. и его антагонист Рыцарь, всегда говорящий правду. Решение подобных задач обычно… … Википедия
Парадокс пьяницы — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Этот парадокс формулируется следующим образом: В любом кабаке существует по крайней мере один человек такой, что если он … Википедия
Прелюдия и Фуга ля минор, BWV 543 — «Великая» Прелюдия и Фуга ля минор, BWV 543 произведение для органа, написанное Иоганом Себастьяном Бахом во время его пребывания в Веймаре в качестве придворного органиста (1708 1717). Это произведение является конечным вариантом Фуги ля… … Википедия
Индианский университет в Блумингтоне — По английски Indiana University Bloomington … Википедия