Художница разработала новые символы для математиков

Новые символы показаны красным. Иллюстрация авторов исследования

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

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

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

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

Обсудить
Протоиерей Павел Хондзинский«Это что-то вроде саморефлексии Церкви»
Первый кандидат теологии о том, почему эта дисциплина достойна называться наукой
Владимир Путин в Национальном музее Республики Марий ЭлРекорд по самоварам
Зачем Путин предложил создать этнокультурные бренды
«Ощущение стабильности исчезло»
Почему россияне перестали верить в светлое будущее
Алексей Навальный«Пожалуйста, больше не обращайся в ЕСПЧ»
Как жалобы Навального могут помешать россиянам восстановить справедливость
Затяжной прыжок в могилу
Как приживалась в России готическая субкультура и почему не прижилась
Крепче стали
Еврочиновники вышли на тропу антидемпинговой войны с российскими металлургами
Чудо техники
Почему «Восточный Порт» называют лучшим угольным терминалом России
Не лезь в бутылку
Помогут ли безалкогольные выходные в борьбе с пьянством
Мясо в шоколаде
Какие продукты Россия продает загранице
Расходимся
Что скрывается за слухами об iPhone 8
Дотыкались
Зачем отправляли на смерть чернокожих коммунистов
Опасные гады
Найден настоящий виновник старения и смерти
Планета Х (в представлении художника)Сколько их
В Солнечной системе обнаружили новую планету
Завтрак сумоиста
Фотоистория про закулисную жизнь хранителей древнего японского единоборства
Кто с мечом к нам придет
С копьем, абордажной саблей и клинком в зонтике — против бандитов и террористов
«В этой стране я ощущаю социальную стабильность»
История москвички, переехавшей в Бельгию
Любовница с процессором
Кому нужны секс-роботы и чем они могут быть опасны
«Я ничего не делаю, и мне это нравится»
Откровения москвички, которая сдает жилье и принципиально не работает
Зарыться в песок
Купить квартиру на море теперь можно за миллион рублей и дешевле
Входят и выходят
Самые известные, необычные и дорогие бордели мира
У вас упало
Что на самом деле происходит с ценами на квартиры в Москве