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

ForbesHi-Tech

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

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

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

Фото Navesh Chitrakar / REUTERS

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

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

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

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

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

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

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

Никаких шлепок и свадебных платьев: какой дресс-код советуют соблюдать музеи и театры Никаких шлепок и свадебных платьев: какой дресс-код советуют соблюдать музеи и театры

Какие рекомендации по выбору одежды мировые театры и музеи дают посетителям

Forbes
Александр: империя за 12 лет Александр: империя за 12 лет

Блестящие военные победы царя Македонии перекроили карту античного мира

Дилетант
Горе от интеллекта: как хайп вокруг ИИ вредит IT-продуктам Горе от интеллекта: как хайп вокруг ИИ вредит IT-продуктам

В каких случаях ИИ навредит продукту, а в каких — поможет

Forbes
На прежнем месте На прежнем месте

Детройтский автосалон снова открылся в американской автомобильной столице

АвтоМир
От Пушкина до «Твиттера»: как жила и развивалась запрещенная лексика в русской культуре От Пушкина до «Твиттера»: как жила и развивалась запрещенная лексика в русской культуре

Каким был длинный и богатый маршрут русского мата

Maxim
Человек, благодаря которому Мона Лиза стала легендарной Человек, благодаря которому Мона Лиза стала легендарной

Человек, благодаря которому Мона Лиза стала легендарной

Maxim
Новый взгляд на Словению Новый взгляд на Словению

Словения — необыкновенно уютная страна в Центральной Европе

Cosmopolitan
Жар-птица Жар-птица

Гога Ашкенази превратила старинное миланское палаццо в копию самой себя

Tatler
Опасный рейс. Удорожание перевозок поднимет цены на продукты и лекарства Опасный рейс. Удорожание перевозок поднимет цены на продукты и лекарства

Что ждет логистический рынок в этом году и как это скажется на стоимости товаров

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

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

Quattroruote
На Усачевском рынке открылся новый ресторан Аркадия Новикова «Алмаз» На Усачевском рынке открылся новый ресторан Аркадия Новикова «Алмаз»

На гастрономической карте Хамовников пополнение — открылся ресторан «Алмаз»

Cosmopolitan
На краю земли На краю земли

На краю земли. Зачем российский врач лечит жителей деревенской Гватемалы

Русский репортер
Почему мы так болезненно реагируем на вербальную агрессию Почему мы так болезненно реагируем на вербальную агрессию

О вреде вербального насилия

Psychologies
В США хакер напугал семью, отправив через камеру наблюдения сигнал о ядерном ударе В США хакер напугал семью, отправив через камеру наблюдения сигнал о ядерном ударе

«Умный дом» становится идеальным местом для тупых розыгрышей.

Maxim
Любовь, которая его не спасла: 5 женщин Владимира Высоцкого Любовь, которая его не спасла: 5 женщин Владимира Высоцкого

25 января 1938 года родился Владимир Высоцкий, поэт, актер и музыкант

Cosmopolitan
Премьерное поведение Премьерное поведение

В сегменте кроссоверов произойдет более тридцати обновлений

Quattroruote
Спасут ли москвичи дом Булошникова Спасут ли москвичи дом Булошникова

Спасут ли москвичи дом Булошникова. Против сноса поднялась общественная кампания

Русский репортер
Рэндзю для троих – игра, в которую можно выиграть не играя Рэндзю для троих – игра, в которую можно выиграть не играя

Одна из игр, построенных на основе рэндзю

Популярная механика
Контрацептивы как у подруги и 6 других мифов о женском здоровье Контрацептивы как у подруги и 6 других мифов о женском здоровье

Семь популярных мифов о женском здоровье

Cosmopolitan
Расследование BuzzFeed о «Трамп-тауэр» в Москве называют поводом для импичмента Трампа Расследование BuzzFeed о «Трамп-тауэр» в Москве называют поводом для импичмента Трампа

Трамп заставил юриста солгать под присягой

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

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

Playboy
Как создать реалистичное утреннее расписание Как создать реалистичное утреннее расписание

Эти принципы помогут продуктивно провести начало нового дня

Psychologies
Бразилия легализовала огнестрельное оружие для добропорядочных граждан Бразилия легализовала огнестрельное оружие для добропорядочных граждан

Закон, облегчающий владение огнестрельным оружием для граждан Бразилии

Maxim
Неизвестная история в фильме «Спасти Ленинград» Неизвестная история в фильме «Спасти Ленинград»

Фильм о военной катастрофе, информация о которой была засекречена до 2004 года

Forbes
Сколько можно заработать на недвижимости в Восточной Европе Сколько можно заработать на недвижимости в Восточной Европе

На какой доход от недвижимости можно рассчитывать в странах Восточной Европы

Forbes
Собираем офисный/домашний компьютер за 20 000 руб.: оптимальные комплектующие Собираем офисный/домашний компьютер за 20 000 руб.: оптимальные комплектующие

Попробуем собрать компьютер для дома и офиса

CHIP
Ты могла это знать! Ты могла это знать!

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

Лиза
Как компьютер обманывает патентную систему «Большой Фармы» Как компьютер обманывает патентную систему «Большой Фармы»

Как компьютер обманывает патентную систему «Большой Фармы»

Forbes
Стать счастливее: лайфхаки из разных стран Стать счастливее: лайфхаки из разных стран

В этих национальных концепциях счастья каждый найдет что-то своё

Psychologies
Анастасия Задорина: Анастасия Задорина:

Анастасия Задорина о командной работе и женщинах в бизнесе

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