Как один бильярдный шар превращается в универсальный компьютер

Один шар. Два измерения. Неподвижные стенки особой формы. Этого теоретически достаточно, чтобы воспроизвести работу универсальной машины Тьюринга.

Математики Ева Миранда и Исаак Рамос свели идею вычисляющего «бильярда» к одной движущейся частице. Раньше таким моделям требовались несколько шаров, трёхмерные конструкции или движущиеся стенки. Здесь остаётся шар и странный лабиринт из углов и дуг.

Но вместе со способностью вычислять эта система наследует и фундаментальные ограничения вычислений — и простая механика начинает выводить к более общим вопросам о предсказуемости физических систем.