Информационный портал
 ПОЛИТИКА И ОБЩЕСТВО
 ЭКОНОМИКА

    ВСЕ НОВОСТИ    |    ПОЛИТИКА И ОБЩЕСТВО    |    ЭКОНОМИКА    |    HI-TECH    |    E-BUSINESS    |    ПРОИСШЕСТВИЯ    |    НОВОСИБИРСК    |    ШОУ-БИЗНЕС
Новости / Hi-Tech / Британский студент получит $25 тысяч за математическое доказательство
 

"Вольфрамовская" машина Тьюринга в виде конечного автомата: первые двести переходов. Направление "капельки" (вверх/вниз) символизирует состояние каретки, цвет квадратика (белый, желтый, оранжевый) - символ алфавита. Изображение с сайта wolframscience.com

Британский студент получит $25 тысяч за математическое доказательство

Двадцатилетний британский студент Алекс Смит решил задачу, предложенную в мае 2007 года известным американским математиком Стивеном Вольфрамом, и теперь получит учрежденный Вольфрамом приз в $25 тысяч, сообщает журнал Nature.

Вольфрам родился в Лондоне, но впоследствии переехал в Америку и основал там компанию Wolfram Research. Известен, в частности, как создатель распространенной компьютерной программы Mathematica. В мае этого года Вольфрам предложил всем желающим доказать, что конкретная машина Тьюринга с двумя состояними каретки и алфавитом из трех символов является универсальной (или доказать обратное).

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

Каретка может перемещаться влево и вправо по ленте, читать и записывать в ячейки ленты символы алфавита. Правила перемещения (вида "прочти символ", "перейди на такую-то клетку", "запиши символ", "сотри символ") задаются программой, которая тоже является частью конкретной машины Тьюринга. Мысленный эксперимент с машиной Тьюринга редко непосредственно используется в современной математике, но в принципе на ней можно промоделировать любой алгоритм, который способен выполнить обычный компьютер.

Универсальной называют машину Тьюринга, которая, упрощенно говоря, способна заменить собой любую другую машину Тьюринга. Задача, предложенная Вольфрамом, состояла в том, чтобы выяснить, является ли машина Тьюринга с двумя состояними каретки, алфавитом из трех символов (считая пустой) и конкретным набором правил (позволяющим при простых начальных условиях заполнять ленту весьма сложными узорами символов) универсальной, и доказать это.

Узнав о конкурсе, Алекс Смит, студент третьего курса Бирмингемского университета, изучающий электротехнику, сразу взялся за работу. Сведя задачу к эквивалентной, но более простой, Смит доказал универсальность "вольфрамовской" машины, за что и получит $25 тысяч.

Дата: 25.10.2007, 12:00, Источник: info.sibnet.ru, Просмотров: 197

Схожие новости по теме:

Британский бизнесмен обвинил Тони Блэра в моральном разложении
Британское министерство обороны не нашло виноватых в захвате моряков Ираном
Журналист Washington Post получил британскую литературную премию
Скандальный британский комик зовет Казахстан в суд.
Британская полиция ликвидировала преступную сеть
Британская полиция накрыла сеть из 700 интернет-педофилов
Британские военные дали бой шиитским боевикам
Похищенный в Газе британский журналист будет освобожден
Роджер Долтри стал Командором Британской империи.
В Ираке погиб британский военнослужащий - министерство обороны
Капитан Манчестер Юнайтед награжден орденом Британской империи
Советский перебежчик награжден британским орденом
Британский МИД обеспокоен судьбой похищенного репортера Би-би-си Джонстона
Британское посольство в Тегеране забросали краской и яйцами
Тони Блэр предложил британской прессе внешнее регулирование
На продажу выставлены британские люксовые бренды
Покойного британского актера оживили для съемок в телерекламе
Британские полицейские впервые за 27 лет застрелили женщину
Акции британской газораспределительной компании Centrica выросли
Будущий британский премьер прибыл в Ирак для оценки ситуации в стране






РЕСУРСЫ РАЗДЕЛА

2016, SWEET211.RU | Сделано с любовью
Автор: Maksim Semeykin

Дизайн: Master Daemon
Web Builder Engine v.2.78c, 2004-2016

Страница создана за 0,0312 секунд
Версия сайта 3.4.4
Версия админовки 1.6.2f
SQL запросов: 6 Время: 0,015625 сек.

Сейчас: 05.12.2016, 11:29
Участник рейтинга sweet211.ru

синонимайзер текста онлайн