Хотите видеть только хорошие новости?

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

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

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

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

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

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

Обсудить
People walk past the walls of Jerusalem's Old City lit in blue, white and red, colours of the French flag, in solidarity with Paris, in Jerusalem November 15, 2015Французский исход
Что заставляет евреев бежать из Пятой Республики в Израиль
Монастырь Мар Маттай«Саддам покончил бы с этим бардаком за пару недель»
Рассказ монаха древнего иракского монастыря о жизни по соседству с террористами
Министр обороны Саудовской Аравии принц Мухаммед объявляет о создании блокаНАТО с Кораном и гуриями
Саудовская Аравия строит собственный военный блок
Эффект обратного действия
Теракт в Берлине укрепил позиции Меркель и доверие немцев к стражам порядка
Лошадиные силы
Мустанги, воспитанные за решеткой, несут службу на границе
От 200 и выше
Может ли рост цен на водку снизить ее потребление
Ничего личного
О причинах закрытия печатных медиа
Триллион из продуктовой корзины
Российские ретейлеры подсчитали прошлогоднюю выручку
Жадность не порок
На чем экономят миллиардеры
Морозный рейс
Как авиакомпании решают проблему нелетной погоды
Хейтеры возненавидят
Обычные женщины, прославившиеся в Instagram благодаря лишнему весу
Качайся как девчонка
Пауэрлифтинг вошел в моду у представительниц прекрасного пола
«Живу обычно, ем летучих мышей»
История москвича, переехавшего в Камбоджу
Ким КардашьянСтарики-разбойники
Выслежена банда преступников-пенсионеров, ограбивших Ким Кардашьян
Тест: угадай автомобиль под камуфляжем
Получится ли у автопроизводителей провести настоящего знатока? Давайте проверять
Бандитские тачки суровых времен
Самые известные машины 1990-х
Цена слезам не верит
Страны, в которых автомобили намного дороже, чем в России
Красивейшие машины Советского Союза
Самые красивые машины СССР, так и не увидевшие конвейера
«Теперь она бомж и живет в закутке под лестницей»
История преподавательницы, лишившейся трех квартир в Москве
«Мы начали решать свои проблемы, как в 90-х»
За потребительские кредиты смогут отбирать квартиры
Развели тут бордель
Экскурсия по самому большому публичному дому Южного полушария
Война дворцам
Каких домов лишились в 2016 году звезды Голливуда