Цена решения 1 задания у нас:
  • для студентов (высшая математика) - 40 руб. (10 грн.)
  • для школьников (школьная математика) - 20 руб. (5 грн.)
Срочное решение задачи от 1 дня!
Решение контрольной работы от 2-ух дней!

Новости >> Художница создала новые символы для теории алгоритмов

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

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

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

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

Lenta.ru

Статистика 2/25/2021
Сегодня решено: 0 задач
Вчера решено: 0 задач
Общая статистика
Добавлено задач: 12170
Кол-во решений: 7956