20-летний Алекс Смит, британский студент Бирмингемского университета, который заканчивает факультет электроинженерии, решил математическую задачу, за решение которой известный американский математик Стивен Вольфрам (Stephen Wolfram) учредил приз в 25 тысяч долларов, сообщает журнал Nature.
В мае этого года Стивен Вольфрам, известный как создатель распространенной компьютерной программы Mathematica, предложил всем желающим доказать, что конкретная машина Тьюринга с двумя состояниями каретки и алфавитом из трех символов является универсальной или же доказать обратное.
Машиной Тьюринга в честь британского математика Алана Тьюринга (Alan Turing) называют абстрактный исполнитель алгоритмов, который упрощает модель вычислительной машины. В состав машины Тьюринга входит бесконечная в обе стороны лента, разделенная на ячейки, а в каждой ячейке может быть записан один из символов заданного алфавита. Над лентой передвигается каретка, которая может находиться в одном из заданных состояний.