Статья
5 Декабря 2009 0:01

Новые знаки

Новые знаки
Фото: Lenta.ru

<p>Художница Тауба Ауэрбах совместно с математиком Байроном Куком вместе предложила девять новых математических символов, предназанченных для развития теории алгоритмов.</p>
<p>Об этом сообщает <a href="http:///lenta.ru/news/2009/12/04/math/">Lenta.ru</a>.</p>
<p>Данные символы планируется включить в издательскую систему TeX, предназначенную для вёрстки математических текстов.</p>
<p>Теоретически, новые символы должны помочь в деле исследования теории алгоритмов, в частности для решения задачи остановки. Эта задача формулируется следующим образом. Для конкретной программы необходимо предложить алгоритм, который при известных входных данных выдаст ответ на вопрос: зависнет программа или нет? Еще в <nobr>30-х</nobr> годах прошлого века было доказано, что универсального алгоритма, то есть применимого ко всем программам одновременно, не существует.</p>
<p>Однако данное доказательство не отрицает того факта, что для конкретной программы подобный алгоритм создать можно. Именно решая подобную задачу, математики столкнулись с тем, что записи его рассуждений в традиционных символах слишком громоздки — в этот момент и потребовалась помощь художницы.</p>
  • вконтакте
  • facebook
  • твиттер

© 2008-2016 НО - Фонд «Центр политической конъюнктуры»
Сетевое издание «Актуальные комментарии». Свидетельство о регистрации средства массовой информации Эл № ФС77-58941 от 5 августа 2014 года. Издается с сентября 2008 года. Информация об использовании материалов доступна в разделе "Об издании".