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

ForbesHi-Tech

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

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

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

Фото Navesh Chitrakar / REUTERS

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

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

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

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

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

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

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

От Петра I до коней на Манежной площади: главные работы Зураба Церетели От Петра I до коней на Манежной площади: главные работы Зураба Церетели

Ключевые работы Зураба Церетели, без которых сложно представить облик городов

Forbes
Блог изобилия Блог изобилия

Кем надо быть, чтобы делать горы денег на блоге

Maxim
Вовсе не для развлечения: зачем на самом деле в Windows были встроены игры «Косынка» и «Сапер» Вовсе не для развлечения: зачем на самом деле в Windows были встроены игры «Косынка» и «Сапер»

«Косынка» и «Сапер»: какой замысел Билла Гейтса они в себе таили?

ТехИнсайдер
Всевидящее око. Как управлять удаленной командой Всевидящее око. Как управлять удаленной командой

Чтобы организовать работу удаленно, стоит развить несколько «мягких» навыков

Forbes
Что такое биполярное аффективное расстройство и как живут люди с таким диагнозом Что такое биполярное аффективное расстройство и как живут люди с таким диагнозом

Что такое БАР, действительно ли он распространен или стал искусственным трендом?

Forbes
Сибирь и Канада сражаются за магнитный полюс Сибирь и Канада сражаются за магнитный полюс

Северный магнитный полюс в последние годы движется очень необычно

Forbes
«Он снял носки?»: 14 мыслей девушек во время догги-стайла, о которых ты не подозревал «Он снял носки?»: 14 мыслей девушек во время догги-стайла, о которых ты не подозревал

Признайся, тебе бы хотелось узнать, о чем она думает, но что не скажет вслух?

Playboy
Упс! 5 самых частых неловких ситуаций в постели (ты не одинок) Упс! 5 самых частых неловких ситуаций в постели (ты не одинок)

Какое твое худшее воспоминание о провале, случившемся в постели?

Playboy
Эталон уюта Эталон уюта

Загородный дом в Подмосковье превратился в уютное современное шале

SALON-Interior
Как выбрать электрический накопительный водонагреватель для дома или квартиры Как выбрать электрический накопительный водонагреватель для дома или квартиры

Как выбрать электрический накопительный водонагреватель и какой лучше?

CHIP
15 мыслей Эрика Булатова 15 мыслей Эрика Булатова

15 мыслей Эрика Булатова

GQ
IBM против D-Wave: наступила ли эра квантовых компьютеров IBM против D-Wave: наступила ли эра квантовых компьютеров

Принес ли новый квантовый компьютер IBM долгожданную революцию

Forbes
Как сделать кальвадос в домашних условиях: классический рецепт (+3 попроще) Как сделать кальвадос в домашних условиях: классический рецепт (+3 попроще)

Кальвадос в домашних условиях из яблок — не настоящий, разумеется, но почти

Playboy
Барон и очень опасен: жизнь и легенда Карла Маннергейма Барон и очень опасен: жизнь и легенда Карла Маннергейма

Барон и очень опасен: жизнь и легенда Карла Маннергейма

Maxim
Карта памяти из окрошки Карта памяти из окрошки

Фотографии и заметки Сергея Максимишина для будущих внуков

Русский репортер
Как перестать врать Как перестать врать

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

Psychologies
Лихо закрутили! 5 захватывающих фильмов для скучных праздников Лихо закрутили! 5 захватывающих фильмов для скучных праздников

Пятерка фильмов, чтобы не умереть от скуки в начале января!

Playboy
Доктор Google. Главные тренды медицинского рынка Доктор Google. Главные тренды медицинского рынка

Персонализированная медицина, «интернет медицинских вещей» и другие явления

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

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

GQ
Какие позы любят девушки? 9 самых-самых (бонус: позиции, которые их бесят) Какие позы любят девушки? 9 самых-самых (бонус: позиции, которые их бесят)

Какие позы любят девушки? 9 самых-самых (бонус: позиции, которые их бесят)

Playboy
Самые яркие моменты Недель моды Haute Couture Самые яркие моменты Недель моды Haute Couture

Сенсации кутюрных показов, которые навсегда остались в истории

Vogue
Приступить к ликвидации Приступить к ликвидации

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

Psychologies
Туники — как и с чем носить: 5 идей для холодного времени года Туники — как и с чем носить: 5 идей для холодного времени года

Как обыграть тунику в современном гардеробе

Cosmopolitan
«И в горе, и в радости»: как пережить финансовый и семейный кризис «И в горе, и в радости»: как пережить финансовый и семейный кризис

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

Psychologies
Чье время настало? Чье время настало?

Сравнительный тест Kia Sportage и Mitsubishi Outlander

АвтоМир
Когда Льюис Хэмилтон завершит карьеру? Когда Льюис Хэмилтон завершит карьеру?

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

GQ
В Австралии арестовали миллионера из России, которого обвиняют в крупнейшей SMS-афере В Австралии арестовали миллионера из России, которого обвиняют в крупнейшей SMS-афере

Что будет, если незаконно создать программу автоматической рассылки платных SMS

Maxim
В здоровом теле здоровый дух В здоровом теле здоровый дух

О том, как важно соблюдать баланс во всем

OK!
Можно ли на русских сказках воспитать из ребенка миллионера Можно ли на русских сказках воспитать из ребенка миллионера

Помогают ли народные сказки сформировать в ребенке основы финансовой грамотности

Forbes
Спасет и сохранит: как выбрать самый надежный сейф Спасет и сохранит: как выбрать самый надежный сейф

Спасет и сохранит: как выбрать самый надежный сейф

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