ГоловнаНаукаВсі новини розділу
 

Британський студент отримає $25 тисяч за вирішення задачі

Корреспондент.net, 24 жовтня 2007, 18:53
0
9

Двадцятирічний британський студент Алекс Сміт вирішив математичну задачу, за рішення якої відомий американський математик Стівен Вольфрам заснував приз у 25 тисяч доларів, повідомляє журнал Nature.

Стівен Вольфрам відомий, зокрема, як творець поширеної комп’ютерної програми Mathematica. У травні цього року Вольфрам запропонував усім охочим довести, що конкретна машина Тьюрінга з двома станами каретки й алфавітом із трьох символів є універсальною або ж довести зворотне.  

Машиною Тьюрінга на честь британського математика Алана Тьюрінга називають абстрактний виконавець алгоритмів, який спрощує модель обчислювальної машини. До складу машини Тьюрінга входить нескінченна в обидві сторони стрічка, розділена на осередки, а в кожному осередку може бути записаний один із символів заданого алфавіту. Над стрічкою пересувається каретка, яка може знаходитися в одному із заданих станів.  

Уявний експеримент із машиною Тьюрінга рідко безпосередньо використовується в сучасній математиці, але в принципі на ній можна промоделювати багато, в тому числі й досить складних, алгоритмів.  

А універсальною машиною Тьюрінга називають машину, яка здатна замінити собою будь-яку іншу машину Тьюрінга. Тому завдання, запропоноване Вольфрамом, полягало в тому, щоб з’ясувати, чи є машина Тьюрінга з двома станами каретки, алфавітом із трьох символів і конкретним набором правил універсальною та довести це.  

Переможцем став Алекс Сміт, студент третього курсу Бірмінгемського університету, що займається вивченням електротехніки. Він зумів довести універсальність вольфрамівської машини, за що й отримає 25 тисяч доларів.

Якщо ви помітили помилку, виділіть необхідний текст і натисніть Ctrl + Enter, щоб повідомити про це редакцію.
powered by lun.ua

ЧИТАЙТЕ ТАКОЖ

Loading...

Корреспондент.net в соцмережах