Рубрики
МЕНЮ
Виталий Войчук
Художница Тауба Ауэрбах создала вместе с американским математиком Байроном Куком девять новых математических символов, сообщает Wired. Эти символы в настоящее время планируют включить в TeX — издательскую систему, которую ученые используют для верстки математических текстов. По мнению Кука, они очень сильно облегчат работу исследователей в теории алгоритмов.
(Новые символы показаны красным. Иллюстрация авторов исследования)
Символы потребовались Куку для решения задачи остановки. Эта задача формулируется следующим образом. Для конкретной программы необходимо предложить алгоритм, который при известных входных данных выдаст ответ на вопрос: зависнет программа или нет? Еще в 30-х годах прошлого века было доказано, что универсального алгоритма, то есть применимого ко всем программам одновременно, не существует.
Однако данное доказательство не отрицает того факта, что для конкретной программы подобный алгоритм создать можно. Именно решая подобную задачу, Кук столкнулся с тем, что записи его рассуждений в традиционных символах слишком громоздки. Поэтому математик прибег к помощи Ауэрбах, которая помогла ему в создании новых символов.
По материалам "Lenta.ru".
Читайте Comments.ua в Google News
Обсуждения
Новости партнеров
Новости
-
сегодня, 09:42СМИ объяснили, какой сценарий войны в Украине приведет к расколу Европы
-
сегодня, 09:30В МИД РФ заявили, что ядерные объекты в Польше станут военной целью России
-
сегодня, 09:20Кулеба дал новое объяснение по приостановке консульские услуг для мужчин: будет ли отменено решение
-
сегодня, 09:07В США назвали условия для Украины по использованию ракет ATACMS
-
сегодня, 09:05Войну в Украине пора заканчивать: какое послание Байден передал через Блинкена Си Цзиньпину
-
сегодня, 08:52Россия заблокировала резолюцию о запрещении ядерного оружия в космосе: реакция США
-
сегодня, 08:50Помощь в войне: у Байдена ответили, как долго смогут быть вместе с Украиной
-
сегодня, 08:27Не только союзники РФ: Кулеба рассказал, кто на Западе хочет переговоров с Путиным
-
сегодня, 08:22В Германии ответили, будут ли возвращать украинских мужчин в Украину
-
сегодня, 08:08В США ответили, смогут ли ATACMS помочь Украине переломить ход войны
-
сегодня, 07:52Зеленский рассказал о планах Путина и договоренностях с Байденом
-
сегодня, 07:35В Польше сделали настораживающее заявление: будут ли возвращать украинских мужчин на Родину
-
сегодня, 07:15Украина потеряла территории на востоке: в Белом доме назвали виновных
-
сегодня, 07:00По каким целям Украина ударит ATACMS: станут ли эти ракеты оружием победы
-
сегодня, 00:35Враг эксплуатирует украинских школьников: что заставляют делать подростков
-
26 мая 2022, 20:32 Беларусь создает военное командование Юг на границе с Украиной: что это значит – что задумал Лукашенко
-
26 мая 2022, 16:18 Дефицит соли в Украине: можно ли было его избежать – как скоро проблема будет решена
-
26 мая 2022, 15:32 Почему расширение НАТО важно для США и Украины – стоит ли Киеву искать альтернативу
-
26 мая 2022, 13:05 На Западе снова хотят умиротворить Путина: почему звучат такие заявления – правильно ли реагирует Украина
-
26 мая 2022, 10:42 Визы для россиян: какова вероятность их введения Украиной – почему именно сейчас поднят этот вопрос
-
26 мая 2022, 08:02В Генштабе назвали главную цель врага на ближайшие дни
-
25 мая 2022, 17:00 Путин хочет «спасать» россиян в Херсоне и Запорожье: о чем новый указ президента РФ – как реагировать Киеву
-
25 мая 2022, 15:02 Мир на пороге Третьей мировой: как избежать такого сценарий – о чем говорит предупреждение Сороса
-
25 мая 2022, 13:40 Шаг к дефолту РФ: почему теперь вероятность почти 100% – как США решились на такой шаг
-
25 мая 2022, 12:50 Освобождение Крыма и других территорий: когда прогноз президента начнет воплощаться в жизнь
-
24 апреля 2024, 19:02
Почему санкции против РФ утратили свою эффективность: как изменить ситуацию
-
24 апреля 2024, 15:50
Популизм или стоящее дело: почему в Раде захотели забрать деньги у партий и направить их на ВСУ
-
24 апреля 2024, 14:50
Свободная торговля с Украиной: о чем говорит решение ЕС, закончится ли теперь польская блокада
-
24 апреля 2024, 13:15
Чего добилась власть запретом на консульские услуги для мужчин: какие будут последствия
-
24 апреля 2024, 12:40
К чему приведут новые поставки вооружения от США: на что теперь может рассчитывать Украина
-
24 апреля 2024, 11:00
Почему украинцам запретили повышать пенсии и соцвыплаты: какие будут последствия
-
24 апреля 2024, 10:00
Украинцы за границей не могут получить консульские услуги: плюсы и минусы такого решения власти
-
23 апреля 2024, 18:24
Какой сценарий Кремль готовит для Молдовы: почему Украине и Западу важно среагировать
-
23 апреля 2024, 14:55
Как решить проблемы с наполнением армии: почему закон о мобилизации серьезно запоздал
-
23 апреля 2024, 14:27
О чем говорят заявления Польши и РФ о ядерном оружии: какими могут быть последствия
