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

ForbesHi-Tech

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

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

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

Фото Navesh Chitrakar / REUTERS

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

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

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

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

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

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

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

«Звук падения»: одна из самых громких премьер в Каннах — о судьбе четырех девочек «Звук падения»: одна из самых громких премьер в Каннах — о судьбе четырех девочек

В «Звуке падения» уживаются камерное пространство и масштабное время действия

Forbes
Перестаньте уже носить Balenciaga Triple S Перестаньте уже носить Balenciaga Triple S

Тренд, который ушел вместе с 2018-м

GQ
VisionLabs внедрила систему распознавания дипфейков в банках четырех стран VisionLabs внедрила систему распознавания дипфейков в банках четырех стран

VisionLabs внедрил систему обнаружения дипфейков в банки России

Forbes
Высший свет Высший свет

Нюта Федермессер вдохнула жизнь в сельский дом милосердия в Ярославской области

Tatler
11 способов становиться немного умнее каждый день 11 способов становиться немного умнее каждый день

Интеллект, как и тело, требует правильного питания и регулярных тренировок

Psychologies
В Петербурге на сайте бюджетных инициатив утвердили идею покрасить чаек в цвета российского флага В Петербурге на сайте бюджетных инициатив утвердили идею покрасить чаек в цвета российского флага

В Петербурге утвердили идею покрасить чаек в цвета российского флага

Maxim
Приправа для глинтвейна: что и сколько добавлять, чтобы согреться зимой Приправа для глинтвейна: что и сколько добавлять, чтобы согреться зимой

Какие специи нужны для глинтвейна

Playboy
Чего ждать от смартфонов: топ-5 технологий и трендов Чего ждать от смартфонов: топ-5 технологий и трендов

Главные технологии и тренды мобильной индустрии, которые мы увидим в этом году

Популярная механика
«Я очень печальный человек» «Я очень печальный человек»

Китаянка Ян Гэ приехала в Россию без денег, без бэкграунда и четкой стратегии

OK!
Прачечная на замке Прачечная на замке

Как российские деньги и прибалтийские банки потеряли друг друга

Forbes
Мыльные пузыри Мелоди Янг Мыльные пузыри Мелоди Янг

Мелоди Янг всю жизнь посвятила мыльным пузырям

Популярная механика
Быть Ульфом Старком Быть Ульфом Старком

О творчестве одного из самых любимых шведских писателей

Seasons of life
Мечта каждого мужчины: 9 мест для бешеного отдыха холостяка Мечта каждого мужчины: 9 мест для бешеного отдыха холостяка

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

Playboy
Как выбрать посудомоечную машину: советы эксперта Как выбрать посудомоечную машину: советы эксперта

Рекомендации по выбору посудомоечных машин

CHIP
Что такое плохо Что такое плохо

Дима Билан попытался убедить Glamour, что он плохой мальчишка

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

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

Лиза
12 ядовитых мыслей, от которых срочно надо избавиться, чтобы стать счастливее 12 ядовитых мыслей, от которых срочно надо избавиться, чтобы стать счастливее

Пусть эти мысли станут для тебя табу

Playboy
Lada Vesta SW Cross Lada Vesta SW Cross

Lada Vesta SW Cross. Мнение итальянских испытателей насчет российской новинки

Quattroruote
Золотая рыбка: как снизить цены на продукты питания Золотая рыбка: как снизить цены на продукты питания

Цены на продукты взвинчены, но их можно снизить

Forbes
Виктория Лопырева: травля и сложности еще больше сблизили меня с Игорем Виктория Лопырева: травля и сложности еще больше сблизили меня с Игорем

Виктория Лопырева дала первое эксклюзивное интервью Cosmo после скандала

Cosmopolitan
Достичь равновесия Достичь равновесия

Утончённый интерьер для давней заказчицы

SALON-Interior
Почему не стоит одинаково одеваться со своей девушкой? Почему не стоит одинаково одеваться со своей девушкой?

Одеваться одинаково со своей второй половиной - на самом деле не очень мило

GQ
«Давайте покричим»: кто и как нами манипулирует «Давайте покричим»: кто и как нами манипулирует

Как нами управляют с помощью напряженно-кричащей атмосферы

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

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

Русский репортер
Уперлись в стену. Как разногласия из-за бюджета США повлияют на рынки Уперлись в стену. Как разногласия из-за бюджета США повлияют на рынки

Что может привести к замедлению американской экономики и переносу крупных IPO

Forbes
Зачем «Челси» выложил €64 млн за 20-летнего американца Зачем «Челси» выложил €64 млн за 20-летнего американца

Как Кристиан Пулишич стал самым дорогим в истории футболистом из США

Forbes
Как быть спокойным и счастливым на работе Как быть спокойным и счастливым на работе

Стресс на работе распространяется, как инфекция, но ему можно противостоять

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

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

Esquire
Почивая на лавре Почивая на лавре

Какие книги любит писатель Евгений Водолазкин

GQ
Тест и обзор Bluetooth-колонки JBL Charge 4: высокое качество по разумной цене Тест и обзор Bluetooth-колонки JBL Charge 4: высокое качество по разумной цене

Тест и обзор Bluetooth-колонки JBL Charge 4: высокое качество по разумной цене

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