Нещодавно я натрапив на досить цікавий теоретичний конструкт. Так звана машина Gödel
Це загальне вирішення проблем, яке здатне до самооптимізації. Він підходить для реактивних середовищ.
Як я розумію, вона може бути реалізована як програма для універсальної машини Тьюрінга, хоча її вимоги виходять далеко за межі апаратних засобів, які є в даний час. Але я не міг знайти багато деталей.
Чи можна такі машини побудувати на практиці? Вони принаймні здійсненні у нашому Всесвіті?
Відповіді:
Чи можна такі машини побудувати на практиці?
Так. Під "машиною" Шмідхубер просто означає "комп'ютерна програма".
Вони принаймні здійсненні у нашому Всесвіті?
Не в їх нинішньому вигляді - алгоритми занадто неефективні.
З точки зору десяти тисяч метрів Юрген Шмідхубер (і колишні студенти, як Маркус Хаттер) досліджували ідею поєднання пошуку Левіна з міркуванням Байєса для розробки алгоритмів загального вирішення проблем.
Вони провели неабияку роботу над тим, щоб зробити постійні чинники менш дивовижними, жахливо жахливими та впевнені, що така схема може працювати на практиці. Я (ґрунтуючись на моєму досвіді автоматизованого доведення теорем) дуже скептичний, оскільки хороші структури даних мають вирішальне значення для доведення теореми, а кодування Геделя - жахливі структури даних.
Але ви не знаєте, що це не може працювати, поки ви не спробуєте змусити його працювати! Зрештою, ми вже живемо у світі, де люди вирішують проблеми шляхом зменшення до SAT.