Как один бильярдный шар превращается в универсальный компьютер
Один шар. Два измерения. Неподвижные стенки особой формы. Этого теоретически достаточно, чтобы воспроизвести работу универсальной машины Тьюринга.
Математики Ева Миранда и Исаак Рамос свели идею вычисляющего «бильярда» к одной движущейся частице. Раньше таким моделям требовались несколько шаров, трёхмерные конструкции или движущиеся стенки. Здесь остаётся шар и странный лабиринт из углов и дуг.
Но вместе со способностью вычислять эта система наследует и фундаментальные ограничения вычислений —
и простая механика начинает выводить к более общим вопросам о предсказуемости физических систем.