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

ForbesHi-Tech

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

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

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

Фото Navesh Chitrakar / REUTERS

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

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

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

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

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

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

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

Накрутил €50 млн: как Тадей Погачар стал самым высокооплачиваемым велогонщиком мира Накрутил €50 млн: как Тадей Погачар стал самым высокооплачиваемым велогонщиком мира

Как Тадей Погачар стал самым высокооплачиваемым велогонщиком мира

Forbes
«Донором можно становиться пять раз, так что я продолжаю»: история Таи «Донором можно становиться пять раз, так что я продолжаю»: история Таи

Тае 20 лет, она студентка медицинского и волонтер Фонда борьбы с лейкемией

Cosmopolitan
Безопасность использования ИИ в банках: что важно знать Безопасность использования ИИ в банках: что важно знать

Как именно работает искусственный интеллект в финансовом секторе

Inc.
Желтая субмарина: Стелла Маккартни посвятила коллекцию отцу и Beatles Желтая субмарина: Стелла Маккартни посвятила коллекцию отцу и Beatles

Желтая субмарина: Стелла Маккартни посвятила коллекцию отцу и Beatles

Cosmopolitan
«Средневековье в латах» «Средневековье в латах»

Как умирали и какие раны наносили друг другу средневековые воины

N+1
Пять самых кровавых чекистских палачей Пять самых кровавых чекистских палачей

Стахановская пятерка советских исполнителей смертных приговоров

Maxim
Уроки японского Уроки японского

Чем удивят нас невероятные японцы?

Лиза
Миллион деталей и десять месяцев: как собирали Bugatti Chiron из кубиков Lego Миллион деталей и десять месяцев: как собирали Bugatti Chiron из кубиков Lego

Даже не пытайся повторить этот шедевр из мира кубиков...

Maxim
Какие тренды не стоит заимствовать у героев стритстайла? Какие тренды не стоит заимствовать у героев стритстайла?

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

GQ
Эффект домино. Нужно ли прощать долги регионам Эффект домино. Нужно ли прощать долги регионам

Жителям Чечни спишут долги за газ на сумму 9 млрд рублей

Forbes
5 ошибок, которые мешают вашему пылесосу нормально работать 5 ошибок, которые мешают вашему пылесосу нормально работать

5 ошибок, которые мешают вашему пылесосу нормально работать

CHIP
В горе и в радости В горе и в радости

Скрепить союз перед Богом – важный шаг, на который не каждый способен

StarHit
Hyundai Santa Fe Hyundai Santa Fe

Hyundai Santa Fe. Ставка на комфорт, безопасность и премиальное качество

Quattroruote
Гости бизнес-завтрака Forbes нашли мотивы для инвестирования в образование Гости бизнес-завтрака Forbes нашли мотивы для инвестирования в образование

Гости бизнес-завтрака Forbes нашли мотивы для инвестирования в образование

Forbes
Здоровый цинизм. Поколение 30-летних откажется от державных ценностей Здоровый цинизм. Поколение 30-летних откажется от державных ценностей

Чем отличается поколение советских бэби-бумеров от того, что грядет ему на смену

Forbes
Взрыв газа и русская жизнь Взрыв газа и русская жизнь

Взрыв газа и русская жизнь. Почему город Шахты не собирается умирать

Русский репортер
Черным по белому Черным по белому

Писатель Гузель Яхина говорит как пишет

GQ
Игра на миллиарды Игра на миллиарды

Игры с вирусом. Моделирование глобальной пандемии

Популярная механика
Избушка на курьих ножках — это гроб, и еще 4 неожиданности русских народных сказок Избушка на курьих ножках — это гроб, и еще 4 неожиданности русских народных сказок

Жутковатые исторические толкования русских народных сказок

Maxim
Потребительское отношение Потребительское отношение

Мы потихоньку учимся отстаивать свои права потребителя

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

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

Vogue
Раздражитель общества. Куда исчез один из главных русских вопросов Раздражитель общества. Куда исчез один из главных русских вопросов

Эти вопросы были и остаются своеобразными «раздражителями» российского общества

Forbes
В томском небе обнаружили световую карту города В томском небе обнаружили световую карту города

Освещённые улицы зеркально отражаются в ночном небе, образуя световую карту

Популярная механика
«Сладкие плюшки». Почему в будущем система поощрений будет бесполезна «Сладкие плюшки». Почему в будущем система поощрений будет бесполезна

Технологический прогресс меняет мышление соискателей

Forbes
О чем врут мужчины: 12 распространенных уловок О чем врут мужчины: 12 распространенных уловок

Мужчины-манипуляторы склонны к патологической лжи. Как им удается обманывать?

Psychologies
Дур-Унташ, Иран Дур-Унташ, Иран

Зиккурат Дур-Унташ в Иране

Maxim
7 признаков, что твоя девушка устала от тебя (советуем проверить) 7 признаков, что твоя девушка устала от тебя (советуем проверить)

7 признаков, что твоя девушка устала от тебя (советуем проверить)

Playboy
Идея! Идея!

Чем занять питомца, как ходить по яйцам и как сэкономить на золоте и бриллиантах

Maxim
7 правил фитнес-гуру Джиллиан Майклз: следуй им и худей в 2 раза быстрее! 7 правил фитнес-гуру Джиллиан Майклз: следуй им и худей в 2 раза быстрее!

Следуй этим правилам и худей в 2 раза быстрее

Cosmopolitan
Гены обоняния совместно принимают важное решение Гены обоняния совместно принимают важное решение

Обнаружен механизм, координирующий работу генов обонятельных рецепторов

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