Ежедневно мы обращаемся к компьютерам (смартфонам, персональным ассистентам, облачным сервисам …) за решением нужных нам задачи — найти самый быстрый маршрут по городу или форму, в которую входит белок, рассчитать доходность инвестиций или подобрать музыку под наш вкус… Все большее и большее число задач для нас решают компьютеры. И скоро будут решать почти всё.
Для большинства задач пространство возможных решений весьма и весьма обширно.
НО:
• Почему для некоторых проблем мы можем быстро локализовать область поиска решений, а для других — это превращается в бесконечный поиск иголки в стоге сена?
• Что в математической структуре проблемы делает ее легко решаемой на компьютере или обуславливает противоположное — решить очень трудно, а может быть и невозможно?
Проблема определения пределов возможности компьютинга (что на компьютере можно решить, а что нельзя) — важнейшая проблема не только современности, но и всего обозримого будущего. По крайней мере, до тех пор, пока человечество не придумает более совершенный способ решения задач, чем компьютинг.
Ибо уже ясно -
✔️ все сложные задачи, которые человек сможет решить в будущем, он сможет решить только на компьютерах;
✔️ и если компьютер не может решить какую-то задачу, то людям её в принципе не решить.
Проф. Крис Мур рассматривает вопрос пределов возможности компьютинга, проводя аналогию между вычислением и эволюцией на примерах от простых головоломок до высот универсальных вычислений, от неалгоритмизированной задачи Тьюринга до природы математической истины и творчества.
Эта лекция (1:22:00) прочитана только позавчера в театр Ленсика в Санта-Фе, вместившим только 800 зрителей. И в сети успели посмотреть лишь пять сотен.
Так что это — не менее эксклюзив, чем позавчерашняя премьера оперы в Ла Скала или мюзикла на Бродвее.
_________________________
Хотите читать подобные публикации? Подписывайтесь на мой канал вТелеграме, Medium, Яндекс-Дзене
Считаете, что это стоит прочесть и другим? Дайте им об этом знать, кликнув на иконку “понравилось”.