поиск 
 
 
 
 
 
 Белые страницы однополчан
 Ищу тебя
 Список погибших 1941-1945
 Солдатские медальоны 1941-45
 
 
 
 
 
 
 История Отечества
Русско-турецкая война
Русско-японская война
Первая мировая война
Гражданская война
Вторая мировая война
Необъявленные войны СССР
Война в Афганистане
Война в Чечне
Грузино-российский конфликт
Осетино-ингушский конфликт
 
 
 
 Великие битвы
 Аллея Славы
 Великие полководцы
 
 
 
 
 
 
 Знаменательные даты
 Фронтовые письма
 Истории очевидцев
 Военные потери в войнах XX в.
 Города-герои
 
 
 
 
 
 
 Военная геральдика
Флаги РСФСР, 1918-1922
Знаки СССР
Ордена СССР
Медали СССР
Юбилейные медали СССР
Флаги СССР
Знаки отличия РФ
Ордена РФ
Медали РФ
Флаги РФ
 Организации
 Законодательные документы
 Военные песни
 Энциклопедия военной техники
 Военная проза и поэзия
 Кинофильмы
 


 
 
Наши проекты
Мировые новости Сайты для компаний Служба рассылки Игровой сервер Открытки любимым
Тесты
 
 



 



Russian Information Network
 
 

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

<<назад

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

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

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

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

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

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

  • Советские партизаны в Италии
  • Победа с оговорками
  • Русско-турецкая война
  • Студент получит $25 тыс за математическое доказательство
  • В Москве впервые проходит фестиваль художественной математики
  • Компьютер проверит математические доказательства
  • Реконструкция аварии Як-42 (видео)
  • На демонстрации в Боливии застрелен студент
  • Варвуленко Дмитрий Григорьевич, Краснодар
  • Выговский Вячеслав Сергеевич, Житомир
  • Ганеев Камиль Самигуллович, деревня Верхние Бишинды


  •