Российская Информационная Сеть
English   Контакты
Политика  Общество  Экономика  Деловые  Наука  Hi-Tech  Культура  Шоу-бизнес  Спорт  Происшествия  Криминал  Скандалы  Пикантные  Зарубежные  ИноСМИ
ТОП-дайджест  Хроника  Эксклюзив  Фоторепортажи  Личное мнение  Погода  Комментарии  Поиск  RSS  Интернет-радио  
 Топ 20 сегодня Топ 20 сегодня 
В России с июля запустят систему биометрического распознаванияВ России с июля запустят систему биометрического распознавания
Лавров раскритиковал "истерику на Западе" вокруг российского центра в СербииЛавров раскритиковал "истерику на Западе" вокруг российского центра в Сербии...
Израиль и США испытали установку ПРО для перехвата ракет в космосеИзраиль и США испытали установку ПРО для перехвата ракет в космосе
Тиллерсон допустил введение новых санкций в отношении РоссииТиллерсон допустил введение новых санкций в отношении России
Россия призвала США прекратить поддержку "пещерного национализма" на УкраинеРоссия призвала США прекратить поддержку "пещерного национализма" на Украине...
В Германии раскритиковали идею постепенной отмены санкций против РоссииВ Германии раскритиковали идею постепенной отмены санкций против России...
Назван лауреат премии BAFTA в номинации "Лучший фильм"Назван лауреат премии BAFTA в номинации "Лучший фильм"
Белоруссия готова отправить миротворцев в ДонбассБелоруссия готова отправить миротворцев в Донбасс
В Кизляре местный житель устроил стрельбу на масленичных гулянияхВ Кизляре местный житель устроил стрельбу на масленичных гуляниях
В Дагестане неизвестный устроил стрельбу на масленичных гулянияхВ Дагестане неизвестный устроил стрельбу на масленичных гуляниях
далее топ дня...
 Фотожурнал: фото-топ за месяц, галерея всех фото Фотожурнал 
 Новости партнеров
 Топ новости разделов сегодня Топ новости разделов 
В России с июля запустят систему биометрического распознаванияВ России с июля запустят систему биометрического распознавания
Центробанк отозвал лицензию у "Уральского капитала"Центробанк отозвал лицензию у "Уральского капитала"
В Минобороны опровергли сообщения об атаке на авиабазу ХмеймимВ Минобороны опровергли сообщения об атаке на авиабазу Хмеймим
В архипелаге Новая Земля образовался еще один островВ архипелаге Новая Земля образовался еще один остров
В Великобритании создадут радар на случай "российской агрессии" в воздухеВ Великобритании создадут радар на случай "российской агрессии" в воздухе...
При пожаре в Самарской области погибли трое детей, сообщил источникПри пожаре в Самарской области погибли трое детей, сообщил источник
Отец детей, погибших при пожаре в Самарской области, признался в поджогеОтец детей, погибших при пожаре в Самарской области, признался в поджоге...
Саакашвили выдворили с УкраиныСаакашвили выдворили с Украины
Если вы уже слушаете новогодние песни, то у нас для вас плохая новостьЕсли вы уже слушаете новогодние песни, то у нас для вас плохая новость
В Госдуму внесли проект о запрете на вход для журналистов американских СМИ-иноагентовВ Госдуму внесли проект о запрете на вход для журналистов американских...
далее...
 Личное мнение Личное мнение 

 Новости о знаменитостях Знаменитости 
Новость: 25 августа 09:35: Новый пляжный хитНовый пляжный хит

Новость: 21 июля 08:55: John MartinJohn Martin


 Заплатим за ваше мнение!
Получайте до 1,5 долларов за каждую заполненную анкету!



 Новости общества Новости общества 
24 октября, 19:13

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

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

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

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

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

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

Узнав о конкурсе, Алекс Смит, студент третьего курса Бирмингемского университета, изучающий электротехнику, сразу взялся за работу. Сведя задачу к эквивалентной, но более простой, Смит доказал универсальность "вольфрамовской" машины, за что и получит 25 тысяч долларов.
[Читать все комментарии] [Напечатать новость]
LENTA.RU http://lenta.ru
  Комментарии к новости 
[Добавить комментарий]

Комментариев к этой новости пока нет. Добавьте первым свой комментарий!
[Добавить комментарий]
 Хроника новостей: Новости общества Хроника новостей 
В Минобороны опровергли сообщения об атаке на авиабазу Хмеймим

13 февраля 19:04
Саратовские власти выплатят по миллиону рублей семьям погибших при крушении Ан-148

12 февраля 09:04
В МЧС назвали наиболее вероятные сценарии войны с Россией

10 февраля 04:04
В Воронеже похоронили погибшего в Сирии летчика Романа Филипова

8 февраля 18:04
Инспекторам ДПС запретили составлять протоколы на судей

8 февраля 17:04
Пилот второго Су-25 рассказал, как прикрывал майора Филипова в его последнем бою

7 февраля 03:04
Погибший в Сирии летчик получил звание Героя России

6 февраля 17:04
Названы проблемы, которые больше всего беспокоили россиян в 2017 году

6 февраля 05:04
Суд отменил арест врача Елены Мисюриной

5 февраля 17:04
Погибшего в Сирии пилота представили к званию Героя России

5 февраля 14:04
В Госдуме сообщили о работе спецназа в районе, откуда боевики сбили Су-25

4 февраля 14:04
ЦИК завершил прием подписей от кандидатов в президенты

31 января 19:04
Путин попросил прощения у российских олимпийцев

31 января 17:04
Путин пошутил о том, что его не включили в "кремлевский доклад"

30 января 16:04
Песков назвал "кремлевский доклад" фактически списком врагов США

30 января 13:04
Ежемесячные выплаты льготникам вырастут с февраля

29 января 12:04
Владельцев оружия хотят обязать носить спецжилеты

29 января 06:04
NI рассказал, чем грозит конфликт России и НАТО

26 января 02:04
Автошколы предложили обязать водителей пересдавать теорию при замене прав

24 января 11:04
В Госдуме предложили ограничить регистрацию детей в соцсетях

22 января 16:04
Пермская школа, где произошла поножовщина, возобновит занятия

17 января 08:04
В чем встречать Новый 2018 год

31 декабря 10:22
ЦИК уведомят о дате сбора инициативной группы по выдвижению Путина

19 декабря 22:04
В Крыму прокомментировали планы Киева расширить вещание на полуострове

18 декабря 11:04
СМИ сообщили о создании на Дальнем Востоке новой армии

18 декабря 08:04
Улюкаев отказался от передач в СИЗО

18 декабря 06:04
Украинцев стало меньше еще на 150 тысяч

17 декабря 06:04
Госдума приняла закон об ужесточении наказания за живодерство

13 декабря 15:04
Транзит газа через Украину в Евросоюз сократился почти на четверть

13 декабря 10:04
В России появятся новые дорожные знаки

12 декабря 09:04
 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25 >> 1864
 Главная новость дня Главная новость дня 
В России с июля запустят систему биометрического распознавания В России с июля запустят систему биометрического распознавания
 
 Эксклюзив Эксклюзив 
Пора ли продавать акции Apple? Пора ли продавать акции Apple?
 
  Топ новостей Опросы 
 Фоторепортажи: новости с подборкой фотографий Фоторепортажи 
Николай Носков впервые рассказал о тяжелой болезни
Волочкова показала миру знаменитый шпагат (фото)
Катя Жужа покидает Сейшельские острова
68-летняя Пугачева показала свои морщины (фото)
Microsoft впервые показала крупнейший самолёт-носитель
 Новости партнеров
 Новости дня Новости дня 
 
  Copyright © RIN 2000-
* Обратная связь
Контактная информация  
Политика  Общество  Экономика  Деловые  Наука  Hi-Tech  Культура  Шоу-бизнес  Спорт  Происшествия  Криминал  Скандалы  Пикантные  Зарубежные  ИноСМИ