Наркобарона вычислила и поймала полиция из-за фото жены в соцсетях 
Создайте свой интернет-магазин на новой платформе ReadyScript 
Хостинг, домены, VPS/VDS, размещение серверов 04/12/2009 14:01
Новые символы для математики разработала художница
Художница Тауба Ауэрбах совместно с американским математиком Байроном Куком создала девять новых математических символов, сообщает Wired. Эти символы на данный момент планируют включить в TeX - издательскую систему, которую ученые используют для верстки математических текстов. По мнению Кука, они очень сильно облегчат работу исследователей в теории алгоритмов. Символы потребовались Куку для решения задачи остановки. Эта задача формулируется следующим образом. Для конкретной программы необходимо предложить алгоритм, который при известных входных данных выдаст ответ на вопрос: зависнет программа или нет? Еще в 30-х годах прошлого века было доказано, что универсального алгоритма, то есть применимого ко всем программам одновременно, не существует. Однако данное доказательство не отрицает того факта, что для конкретной программы подобный алгоритм создать можно. Именно решая подобную задачу, Кук столкнулся с тем, что записи его рассуждений в традиционных символах слишком громоздки. Поэтому математик прибег к помощи Ауэрбах, которая помогла ему в создании новых символов.
Постоянный адрес новости:
http://news.rufox.ru/texts/2009/12/04/183658.htm
Источник:
![Лицензия Минпечати Эл No ФС77-34854](javascript:wopen("https://res.rufox.ru/img/news/licensia_smi.jpg",480,693)){kind=link}
Чтобы оставить комментарий, вам необходимо авторизоваться! Если у Вас еще нет аккаунта, то Вы можете получить его прямо сейчас!