Недавно я наткнулся на довольно интересную теоретическую конструкцию. Так называемая машина Гёделя
Это общее решение проблем, способное к самооптимизации. Подходит для реактивных сред.
Как я понимаю, он может быть реализован как программа для универсальной машины Тьюринга, хотя его требования выходят далеко за рамки имеющегося оборудования. Я не мог найти много деталей, хотя.
Можно ли создавать такие машины на практике? По крайней мере, они осуществимы в нашей Вселенной?
Ответы:
Можно ли создавать такие машины на практике?
Да. Под «машиной» Шмидхубер означает просто «компьютерная программа».
По крайней мере, они осуществимы в нашей Вселенной?
Не в их нынешнем виде - алгоритмы слишком неэффективны.
С точки зрения десяти тысяч метров Юрген Шмидхубер (и его бывшие ученики, такие как Маркус Хаттер) исследовали идею объединения поиска Левина с байесовскими рассуждениями для разработки алгоритмов для общего решения проблем.
Они проделали немалую работу по созданию постоянных факторов, менее громадных, ужасно ужасных, и надеются, что такая схема может работать на практике. Я (основываясь на моем опыте в автоматическом доказательстве теорем) очень скептически, так как хорошие структуры данных имеют решающее значение для доказательства теорем, а кодировки Геделя являются ужасными структурами данных.
Но вы не знаете, что это не может работать, пока вы не попытаетесь заставить это работать! В конце концов, мы уже живем в мире, где люди решают проблемы, переходя на SAT.