Математики доказали, что алгоритмы машинного обучения упираются в проблему

ForbesHi-Tech

Искусственный интеллект оказался неразрешимой задачей

Математики доказали, что алгоритмы машинного обучения упираются в проблему теории множеств, не имеющую решения по фундаментальным причинам

Алексей Алексенко, Forbes Staff

Фото Navesh Chitrakar / REUTERS

Амир Йегудайоф из университета Тель-Авива и его коллеги занимались прикладной математической задачей — алгоритмами машинного обучения. Неожиданно оказалось, однако, что эта проблема упирается в фундаментальный математический парадокс, обнаруженный великими математиками XIX-ХХ веков Георгом Кантором и Куртом Гёделем. А именно, вопрос о том, достигает ли успеха алгоритм машинного обучения, оказался фундаментально неразрешимым. Об этом сообщает статья, опубликованная 7 января 2019 года в Nature Machine Intelligence.

Предыстория вопроса: знаменитые парадоксы ХХ века

Наглядный пример парадокса, обнаруженного математиком Бертраном Расселом еще столетие назад, дает задача о двух каталогах. Согласно ее условиям, в библиотеке все книги должны быть внесены в один из двух каталогов: в первый вносятся те книги, где есть ссылка на самих себя, а во второй — те, в которых ссылка на себя отсутствует. Поскольку эти каталоги сами представляют собой книги, их также нужно внести в один из каталогов. Однако сложность в том, что если в первый каталог можно записать ссылку на сам этот каталог (а можно и не записывать — все равно условие будет выполнено), то второй каталог нельзя записать никуда. Но и не записывать его тоже нельзя: условие задачи будет нарушено в любом случае.

Размышления о расселовском парадоксе привели Курта Геделя к формулировке его знаменитой «теоремы о неполноте». Рассуждал он так: возьмем некую систему математических аксиом и составим полный список всех возможных математических утверждений, которые следуют из этих аксиом (нечто вроде библиотечного каталога). Тогда, доказал Гёдель, можно сконструировать истинное математическое утверждение, которого точно не будет в этом списке («второй каталог» в вышеприведенном примере). Таким образом, любая система аксиом, даже бесконечная, обязательно окажется неполной: некоторое истинное утверждение будет невозможно вывести из нее математически. Оно будет, как выражаются математики, «неразрешимым» (undecidable). Но даже если назвать это утверждение «аксиомой» и добавить к списку, новая система аксиом снова окажется неполной: для нее также можно будет сконструировать

Авторизуйтесь, чтобы продолжить чтение. Это быстро и бесплатно.

Регистрируясь, я принимаю условия использования

Рекомендуемые статьи

50 самых высокооплачиваемых спортсменов в истории с учетом инфляции 50 самых высокооплачиваемых спортсменов в истории с учетом инфляции

Самые высокооплачиваемые и успешные спортсменов в истории

Forbes
Почему искусственному интеллекту нелегко живется в России Почему искусственному интеллекту нелегко живется в России

В России ИИ-стартапы сталкиваются с целым рядом проблем

Forbes
Вход в провал: какие гаджеты опередили свое время и потерпели неудачу Вход в провал: какие гаджеты опередили свое время и потерпели неудачу

Гаджеты, которые обещали перевернуть нашу жизнь, но в итоге потерпели крах

Forbes
Приправа для глинтвейна: что и сколько добавлять, чтобы согреться зимой Приправа для глинтвейна: что и сколько добавлять, чтобы согреться зимой

Какие специи нужны для глинтвейна

Playboy
Смертельно опасный тренд TikTok: почему мужчины бреют ресницы и чем это грозит? Смертельно опасный тренд TikTok: почему мужчины бреют ресницы и чем это грозит?

Для чего человеку нужны ресницы и что будет, если их сбрить?

Inc.
Проактивный гражданин. Что соискателю писать в графе «о себе» Проактивный гражданин. Что соискателю писать в графе «о себе»

Каким специалистам не обойтись без слов проактивность, эмпатия и многозадачность

Forbes
Контрзависимые мужчины: как с ними общаться Контрзависимые мужчины: как с ними общаться

Кто такие контрзависимые мужчины и как найти к ним правильный подход

Psychologies
Лучшие роли Рэйчел Вайс Лучшие роли Рэйчел Вайс

Как начать карьеру с озвучки «Симпсонов», получить «Оскара» и «Золотой глобус»

GQ
Николай Колосунин: Лечишь — докажи! Почему медицина превратилась в науку лишь несколько десятилетий назад Николай Колосунин: Лечишь — докажи! Почему медицина превратилась в науку лишь несколько десятилетий назад

Стоит ли считать все лечебные методы равноправными?

СНОБ
Золотая рыбка: как снизить цены на продукты питания Золотая рыбка: как снизить цены на продукты питания

Цены на продукты взвинчены, но их можно снизить

Forbes
Пэчворк без цыганщины: как следует носить вещи Пэчворк без цыганщины: как следует носить вещи

Пэчворк без цыганщины: как следует носить вещи "с заплатками"

Cosmopolitan
Почти знаменит Почти знаменит

Перед вами — самые многообещающие молодые певицы страны и ближнего зарубежья

Vogue
Жизнь после развода: 12 шагов к счастью Жизнь после развода: 12 шагов к счастью

Как пережить развод и вернуться к счастливой жизни

Psychologies
Алкогений: Жерар Депардье Алкогений: Жерар Депардье

Вкус к вину Жерар Депардье приобрел с детства

Maxim
Похудеть и накачаться одновременно: что такое сывороточный протеин? Похудеть и накачаться одновременно: что такое сывороточный протеин?

Выглядит так идеально, будто сказка, однако факт

Playboy
Широко шагая Широко шагая

Американский бестселлер Jeep Cherokee

Quattroruote
Эффективное обучение для взрослых: 7 советов Эффективное обучение для взрослых: 7 советов

Как выбрать, чему учиться и как получить знания, которые пригодятся в будущем

Psychologies
Операция «Хромированный купол»: как так вышло, что американцы уронили на Испанию четыре ядерные бомбы Операция «Хромированный купол»: как так вышло, что американцы уронили на Испанию четыре ядерные бомбы

Жуткая операция разворачивалась над головами землян с 1960 по 1968 год

Maxim
Когда в офисе все затекло: 9 спасительных упражнений для перерыва Когда в офисе все затекло: 9 спасительных упражнений для перерыва

С этими упражнениями и жить, и работать станет легче!

Playboy
РБК создает рейтинговое агентство с выходцем из АКРА во главе РБК создает рейтинговое агентство с выходцем из АКРА во главе

РБК создает рейтинговое агентство с выходцем из АКРА во главе

Forbes
Край света Край света

Гостевой коттедж, который выглядит так, словно его родила гора

AD
7 причин, почему ты можешь быть умнее окружающих 7 причин, почему ты можешь быть умнее окружающих

Как узнать, что у тебя высокий интеллект?

Maxim
Пир на весь мир. Как русские сказки воспитывают у детей сексизм Пир на весь мир. Как русские сказки воспитывают у детей сексизм

Пир на весь мир. Как русские сказки воспитывают у детей сексизм

Forbes
А вам Слабко? А вам Слабко?

Ради сына жительница Челябинска изменила жизнь и похудела на 49 килограммов

StarHit
Почему все любят флисовые куртки? Почему все любят флисовые куртки?

Почему все любят флисовые куртки?

GQ
Как сделать так, чтобы она любила тебя вечно: 9 железных правил Как сделать так, чтобы она любила тебя вечно: 9 железных правил

Как обеспечить крепкую любовь и привязанность своей девушки

Playboy
Корпорация монстров Корпорация монстров

Какие ужасы снимают якутские кинематографисты

GQ
50 лет покушению на Брежнева 50 лет покушению на Брежнева

Ровно полвека назад в дорогого Леонида Ильича было выпущено 11 пуль

Maxim
Явь, а не сон: 5 горячих актрис, которые сами предлагают переспать Явь, а не сон: 5 горячих актрис, которые сами предлагают переспать

В подобные моменты экран почти что дымится, а фантазия пускается в полет

Playboy
Кризис веры. Как экономический рост зависит от доверия к власти Кризис веры. Как экономический рост зависит от доверия к власти

Низкий уровень доверия россиян к власти сказывается на развитии экономики

Forbes
Открыть в приложении