Одна куля на більярдному столі може виконувати будь-які обчислення — дослідження

Математики Ева Міранда з Політехнічного університету Каталонії та Ісаак Рамос з Цюрихського технологічного інституту показали: одна куля, що відскакує від спеціально сконструйованого двовимірного столу, може імітувати роботу універсальної машини Тюрінга. Результати опубліковано в журналі Proceedings of the National Academy of Sciences.

Машина Тюрінга — фундаментальна математична модель обчислень, яку Алан Тюрінг запропонував ще 1936 року. У новій моделі положення кулі кодує інформацію, а форма стінок визначає реакцію системи. Раніші підходи вимагали кількох куль, тривимірних структур або рухомих стінок, тоді як тут достатньо однієї частинки між нерухомими межами. Для Міранди це кульмінація роботи зі зведення механічної системи до мінімуму деталей: програма вписана в геометрію межі, а алгоритм — це безпосередня траєкторія руху частинки.

Водночас такий більярд успадковує й фундаментальні обмеження комп’ютерів, зокрема відому «проблему зупинки». Дослідники показали: досягнення точкою певного кута удару відповідає зупинці алгоритму, а хаос створює логічний бар’єр для точності.

Що це означає на практиці? Замінити кремнієві процесори більярдними столами не вийде — досягти необхідної необмеженої точності фізично неможливо. Ідеться про ідеалізовану математичну модель, яку вчені називають «скелетом класичної механіки». Такі моделі допомагають фізикам описувати складніші системи — від газу в резервуарах до небесної механіки й задачі трьох тіл — і ставлять нові питання про межі передбачуваності Всесвіту.

Отже, для студентів і батьків це насамперед приклад того, як абстрактна математика пояснює межі обчислень. Ані в школах, ані в університетах практичного застосування більярдного комп’ютера найближчим часом не буде — але саме такі дослідження формують розуміння того, що взагалі можливо обчислити.