Новые знаки
Художница Тауба Ауэрбах совместно с математиком Байроном Куком вместе предложила девять новых математических символов, предназанченных для развития теории алгоритмов.
Об этом сообщает Lenta.ru.
Данные символы планируется включить в издательскую систему TeX, предназначенную для вёрстки математических текстов.
Теоретически, новые символы должны помочь в деле исследования теории алгоритмов, в частности для решения задачи остановки. Эта задача формулируется следующим образом. Для конкретной программы необходимо предложить алгоритм, который при известных входных данных выдаст ответ на вопрос: зависнет программа или нет? Еще в
Однако данное доказательство не отрицает того факта, что для конкретной программы подобный алгоритм создать можно. Именно решая подобную задачу, математики столкнулись с тем, что записи его рассуждений в традиционных символах слишком громоздки — в этот момент и потребовалась помощь художницы.