За математическое доказательство британский студент получит 25 тысяч долларов
Задачу, предложенную в мае 2007 года известным американским математиком Стивеном Вольфрамом, решил двадцатилетний британский студент Алекс Смит. Теперь он получит учрежденный Вольфрамом приз в 25 тысяч долларов. Учредитель компании Wolfram Research Стивен Вольфрам известен как создатель распространенной компьютерной программы Mathematica. В мае этого года Вольфрам предложил всем желающим доказать, что конкретная машина Тьюринга с двумя состояниями каретки и алфавитом из трех символов является универсальной (или доказать обратное). Машиной Тьюринга называют абстрактный исполнитель алгоритмов, упрощенную модель вычислительной машины. В ее состав входит бесконечная в обе стороны лента, разделённая на ячейки. В каждой ячейке может быть записан один из символов заданного алфавита. Над лентой передвигается каретка, которая может находиться в одном из заданных состояний. Мысленный эксперимент с машиной Тьюринга редко непосредственно используется в современной математике, но в принципе на ней можно промоделировать любой алгоритм, который способен выполнить обычный компьютер. Студент третьего курса Бирмингемского университета Алекс Смит, изучающий электротехнику, взялся за работу, узнав о конкурсе. Сведя задачу к эквивалентной, но более простой, Смит доказал универсальность "вольфрамовской" машины, за что и получит 25 тысяч долларов, сообщает Lenta.ru.
