Занимательная задачка по мотивам теоремы Гёделя о неполноте |
||
МЕНЮ Главная страница Поиск Регистрация на сайте Помощь проекту Архив новостей ТЕМЫ Новости ИИ Голосовой помощник Разработка ИИГородские сумасшедшие ИИ в медицине ИИ проекты Искусственные нейросети Искусственный интеллект Слежка за людьми Угроза ИИ ИИ теория Внедрение ИИКомпьютерные науки Машинное обуч. (Ошибки) Машинное обучение Машинный перевод Нейронные сети начинающим Психология ИИ Реализация ИИ Реализация нейросетей Создание беспилотных авто Трезво про ИИ Философия ИИ Big data Работа разума и сознаниеМодель мозгаРобототехника, БПЛАТрансгуманизмОбработка текстаТеория эволюцииДополненная реальностьЖелезоКиберугрозыНаучный мирИТ индустрияРазработка ПОТеория информацииМатематикаЦифровая экономика
Генетические алгоритмы Капсульные нейросети Основы нейронных сетей Распознавание лиц Распознавание образов Распознавание речи Творчество ИИ Техническое зрение Чат-боты Авторизация |
2022-11-27 08:35 Альберт Эйнштейн награждает Гёделя (второй справа) наградой, названной в честь него самого В 1931 году австрийский логик, математик и философ математики Курт Гёдель опубликовал свою теорему о неполноте. Эта работа считается одним из величайших интеллектуальных достижений современности. В теореме утверждается, что в любой разумной математической системе всегда будут существовать истинные утверждения, которые невозможно доказать. Это утверждение шокировало математическую общественность, в которой до того преобладал неистребимый оптимизм, касающийся мощи и всеобъемлющей природы математики. Предполагалось, что математика «полна» — то есть, любое утверждение можно доказать или опровергнуть. 25-летний Гёдель показал, что это не так, составив корректное утверждение, доказать которое невозможно. Таким образом он продемонстрировал ограничения математики. Теорема о неполноте преобразовала исследования основ математики и станет важным фактором развития информатики, поскольку из неё следует, что у возможностей всех формализованных систем, в том числе и языков программирования, есть свои ограничения. Эта же теорема лежит и в основе сегодняшней загадки. Гёдель доказал свою теорему через рекурсию – в формальной математической системе утверждение «Это предложение недоказуемо» будет истинным и формально недоказуемым. Технические детали теоремы тяжело описать простыми словами. Но американский логик Рэймонд Смальян придумал отличный способ передать дух неполноты через логические загадки о людях, говорящих правду или лгущих. Сегодняшняя загадка вдохновлена его трудами. Два племени острова Если В океане Дедукции находится логический остров Если. Рождённые здесь люди принадлежат к одному из двух племён – алетейцам или псевдианцам. Единственный способ отличить их друг от друга – поговорить с ними. Алетейцы всегда говорят правду. Псевдианцы всегда лгут. Источник: habr.com Комментарии: |
|