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

Новые знаки

Художница Тауба Ауэрбах совместно с математиком Байроном Куком вместе предложила девять новых математических символов, предназанченных для развития теории алгоритмов.

Об этом сообщает Lenta.ru.

Данные символы планируется включить в издательскую систему TeX, предназначенную для вёрстки математических текстов.

Теоретически, новые символы должны помочь в деле исследования теории алгоритмов, в частности для решения задачи остановки. Эта задача формулируется следующим образом. Для конкретной программы необходимо предложить алгоритм, который при известных входных данных выдаст ответ на вопрос: зависнет программа или нет? Еще в 30-х годах прошлого века было доказано, что универсального алгоритма, то есть применимого ко всем программам одновременно, не существует.

Однако данное доказательство не отрицает того факта, что для конкретной программы подобный алгоритм создать можно. Именно решая подобную задачу, математики столкнулись с тем, что записи его рассуждений в традиционных символах слишком громоздки — в этот момент и потребовалась помощь художницы.

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