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

ForbesHi-Tech

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

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

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

Фото Navesh Chitrakar / REUTERS

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

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

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

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

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

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

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

Тонны мусора: как современная экономика заставляет нас увеличивать количество отходов Тонны мусора: как современная экономика заставляет нас увеличивать количество отходов

О том, как гражданское общество в России строит систему сокращения отходов

Forbes
Инвестиции для осторожных: как защитить свой капитал в 2019 году Инвестиции для осторожных: как защитить свой капитал в 2019 году

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

Forbes
Чем гиперзвук отличается от суперзвука: то, что вы давно хотели знать, но стеснялись спросить Чем гиперзвук отличается от суперзвука: то, что вы давно хотели знать, но стеснялись спросить

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

ТехИнсайдер
Дорогу покажешь? Дорогу покажешь?

Дорогу покажешь? Шесть наиболее доступных автомобилей со встроенной навигацией

АвтоМир
Тихоходкам набили татуировки электронным пучком Тихоходкам набили татуировки электронным пучком

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

N+1
Лучшая еда в самолетах и поездах Лучшая еда в самолетах и поездах

Погода намекает на отпуск? Подкрепитесь перед дорогой

GQ
Что делать, если партнер не готов завести ребенка Что делать, если партнер не готов завести ребенка

Советы, которые помогут обсудить тему пополнения в семье с любимым человеком

Psychologies
Отмеченные позором. Стрельба в школе города Шардон, штат Огайо: семь лет спустя Отмеченные позором. Стрельба в школе города Шардон, штат Огайо: семь лет спустя

Вот уже 7 лет эти люди живут с последствиями ужасного преступления подростка

Esquire
Сергей Степанченко: «Мне помогал случай» Сергей Степанченко: «Мне помогал случай»

О своем актерском ремесле Сергей Степанченко говорит довольно легкомысленно

Караван историй
Почему гонщики «Формула-1» такие богатые? Почему гонщики «Формула-1» такие богатые?

Разбираемся в финансовых хитросплетениях самого дорогого вида спорта в мире

GQ
Битва с экстрасенсами: самые громкие суды против программы и ее участников Битва с экстрасенсами: самые громкие суды против программы и ее участников

В истории «Битвы экстрасенсов» было и несколько судов

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

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

Cosmopolitan
Любить Билла Любить Билла

К 90‑летию легендарного фотографа моды выходит документальный фильм о нем

Vogue
Йога для лица: 5 простых упражнений, которые избавят от морщин Йога для лица: 5 простых упражнений, которые избавят от морщин

Ты когда-нибудь слышала про йогу от морщин?

Cosmopolitan
Понимаешь, все еще будет Понимаешь, все еще будет

Эмма Стоун — признанная звезда

Glamour
Mitsubishi Pajero Sport Mitsubishi Pajero Sport

Mitsubishi Pajero Sport. Несколько новых способностей к традиционным ценностям

Quattroruote
Рассказ: «Монета» Дмитрия Липскерова Рассказ: «Монета» Дмитрия Липскерова

Публикация рассказа Дмитрия Липскерова из книги «Туристический сбор в рай»

Esquire
Новые отцы за равноправное партнерство Новые отцы за равноправное партнерство

Необходимо пересмотреть взгляды на распределение родительских обязанностей

Psychologies
Клетка для чемпиона Клетка для чемпиона

Клетчатый флаг и клетчатый принт для чемпиона «Формулы‑1» Льюиса Хэмилтона

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

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

Psychologies
План на выходные: номинанты на «Оскар» и ночь с Камбербэтчем План на выходные: номинанты на «Оскар» и ночь с Камбербэтчем

Forbes Life докладывает, чем заняться в Москве с 24 по 27 января

Forbes
Преодолеть разрыв. Могут ли большие данные в России стать новой нефтью Преодолеть разрыв. Могут ли большие данные в России стать новой нефтью

Как зарабатывать на топливе для цифровой экономики

Forbes
Мы посмотрели показ Y/Project, и у нас есть вопросы Мы посмотрели показ Y/Project, и у нас есть вопросы

Потенциал дизайнера Гленна Мартенса куда больше, чем может показаться

GQ
Приключения электроника Приключения электроника

Первый полностью электрический кроссовер Audi – e-tron

АвтоМир
«Наш брак нельзя было спасти»: откровенный рассказ бывших супругов «Наш брак нельзя было спасти»: откровенный рассказ бывших супругов

Рассказ бывших супругов о том, почему они разошлись

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

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

Дилетант
Второе дело Хоттабыча Второе дело Хоттабыча

Второе дело Хоттабыча. Карельского мемориальца Юрия Дмитриева снова посадили

Русский репортер
Миллиардер Троценко вложил $120 млн в строительство крупнейшего метанольного завода в России Миллиардер Троценко вложил $120 млн в строительство крупнейшего метанольного завода в России

О создании химического кластера в Волгограде

Forbes
Управляемое плавание. Как возвращение ЦБ на валютный рынок повлияет на рубль Управляемое плавание. Как возвращение ЦБ на валютный рынок повлияет на рубль

Управляемое плавание. Как возвращение ЦБ на валютный рынок повлияет на рубль

Forbes
Лучшие вещи лондонской Недели моды Лучшие вещи лондонской Недели моды

Возьмите на заметку, чем стоит обзавестись в следующем сезоне

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