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