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

ForbesHi-Tech

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

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

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

Фото Navesh Chitrakar / REUTERS

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

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

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

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

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

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

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

Вода, еда, ночлег: что могут требовать туристы, попавшие в авиационный коллапс Вода, еда, ночлег: что могут требовать туристы, попавшие в авиационный коллапс

Как вести себя туристам во время авиационных коллапсов

Forbes
Диета, которая убивает Диета, которая убивает

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

Лиза
Как Мэй Хабиб заработала $285 млн на ИИ-агентах, способных заменить 90% работников Как Мэй Хабиб заработала $285 млн на ИИ-агентах, способных заменить 90% работников

Как Мэй Хабиб создает ПО на базе ИИ, которое берет на себя рутинные задачи

Forbes
Анфиса Чехова: Я научилась быть откровенной Анфиса Чехова: Я научилась быть откровенной

У телеведущей Анфисы Чеховой – премьера!

Лиза
Страдания от избытка красоты: что такое синдром Стендаля Страдания от избытка красоты: что такое синдром Стендаля

Что такое синдром Стендаля и в чем он выражается

ТехИнсайдер
Сколько теннисисты зарабатывают на турнирах Большого шлема Сколько теннисисты зарабатывают на турнирах Большого шлема

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

Forbes
Осторожно: ПМС! Осторожно: ПМС!

Предменструальный синдром – это не женский каприз, а реальный диагноз

Лиза
5 качеств партнера, которые важны для счастливых отношений 5 качеств партнера, которые важны для счастливых отношений

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

Psychologies
Минфин призвал фондовый рынок не ждать иностранных инвесторов Минфин призвал фондовый рынок не ждать иностранных инвесторов

Возвращения иностранных инвесторов на российский рынок можно не ждать

Forbes
Анатолий Белый: “Напороться на страсть любимой к другому – это страшно” Анатолий Белый: “Напороться на страсть любимой к другому – это страшно”

Встреча с приметным артистом, который ценит личную неприметность

Psychologies
Мутное дело Мутное дело

Сезоном пищевых отравлений считается лето. Но и зимой они не редкость!

Лиза
Я себя обесцениваю Я себя обесцениваю

Среди нас есть те, кто себя совсем не ценит и заявляет об этом вслух. Почему?

Psychologies
Протеиновый скачок Протеиновый скачок

Девелопер и финансист решили накормить человечество белком из бактерий

Forbes
Шесть опасных экспериментов, которые ученые проводили над собой Шесть опасных экспериментов, которые ученые проводили над собой

Проверять медицинские теории лучше всего на себе самом

Maxim
6 удивительных фактов о гаджетах 6 удивительных фактов о гаджетах

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

Популярная механика
Билет на собеседование: идеальное резюме с точки зрения рекрутера Билет на собеседование: идеальное резюме с точки зрения рекрутера

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

Forbes
Корпоративный баттл. Как бизнес уходит от традиционных застолий Корпоративный баттл. Как бизнес уходит от традиционных застолий

Вместо банкетов и спартакиад — тимбилдинги в формате рэп-баттлов и видеоигр

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

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

Forbes
Молодой папа народов Молодой папа народов

Актер Владимир Кошевой сделает историю России красивее, чем она есть

Tatler
Как маленький: что общего между воспитанием ребенка и управлением компанией Как маленький: что общего между воспитанием ребенка и управлением компанией

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

Forbes
Тест процессора Intel Core i7-9700K: новый ребенок, но без особых талантов Тест процессора Intel Core i7-9700K: новый ребенок, но без особых талантов

Новый процессор Intel Core i7-9700K  продемонстрировал хорошие результаты

CHIP
Надежда Михалкова Надежда Михалкова

Актриса, телеведущая, а с недавних пор и режиссер Надежда Михалкова

Собака.ru
«Интересный путь прямым не бывает» «Интересный путь прямым не бывает»

Музыкант Родион Газманов с этого сезона ведет на Первом канале утреннее шоу

OK!
Большие переходы Большие переходы

10 самых важных бизнес-событий 2018 года в спорте

Forbes
Онлайн с Марса: как спутники превратились в большой бизнес Онлайн с Марса: как спутники превратились в большой бизнес

Технологии для освоения Марса стали катализатором большого бизнеса на Земле

Forbes
Куда в квартире прятать деньги: 12 хитрых тайников Куда в квартире прятать деньги: 12 хитрых тайников

Как прятать ценности, которые ты по каким-то причинам не можешь сейчас съесть

Maxim
Что говорит о нас наш дом Что говорит о нас наш дом

Организуя свой дом, мы воплощаем наши неосознанные влечения и инстинкты

Psychologies
Как найти любимую работу и призвание всей жизни: полезные советы и лайфхаки Как найти любимую работу и призвание всей жизни: полезные советы и лайфхаки

Почему так важно найти любимую работу?

Playboy
Как доводить начатое до конца и получать энергию Как доводить начатое до конца и получать энергию

Как планировать жизнь, чтобы все успевать и получать энергию?

Psychologies
Страховой случай Страховой случай

Как Данил Хачатуров обрел и потерял «Росгосстрах»

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