Математика обрела новые символы

Не так давно художница Тауба Ауэрбах (Tauba Auerbach) создала вместе с американским математиком Байроном Куком 9 новых математических символов.

Вероятнее всего, эти символы будут включены в TeX - издательскую систему, которая используется учёными для верстки математических текстов. Кук полагает, что они очень сильно облегчат работу исследователей в теории алгоритмов.

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

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