По просьбе математика художница создала новые символы для теории алгоритмов

Автор темы Даниил Кальченко 
ОбъявленияПоследний пост
ОбъявлениеИщем преподавателя для углубленного обучения статистическим методам29.05.2020 13:22
ОбъявлениеМатематик-алгоритмист (Vehicle Routing Problem) – удаленная работа03.06.2020 17:58
ОбъявлениеМатематики, программисты, репетиторов (платформа SapioX)28.01.2021 12:47
10.12.2009 00:58
По просьбе математика художница создала новые символы для теории алгоритмов
Художница Тауба Ауэрбах (Tauba Auerbach) создала вместе с американским математиком Байроном Куком девять новых математических символов, предназначенных для использования в теории алгоритмов, сообщает Wired.

Эти символы в настоящее время планируют включить в TeX – издательскую систему, которую ученые используют для верстки математических текстов. По мнению Кука, они очень сильно облегчат работу исследователей в теории алгоритмов.

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

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

Lenta.ru
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти