Математика, конечно, находится в основе всего мира – и виртуального, и любого другого.
Насчёт же того, можно ли ставить знак равенства между программой и формулой – это вопрос игры в слова, зависящий от того, как мы определим одно и другое понятие.
В принципе это разное:
- программа (греч. пропись) – последовательность действий, которые нужно выполнить;
- формула (лат. образчик) – выражение определённой связи между величинами (переменными).
Т.е. формула отражает некое известное соотношение чего-то, это не процесс, а констатация, например, того, что площадь равна произведению ширины на длину. Собираемся ли мы её вычислять, или что ещё мы будем делать с формулой – решаем сами. Формула существует вне пространства и времени, может быть произвольно преобразована и применена.
А программа есть предписание выполнить какие-то шаги в нужной последовательности – в том числе например расчёты по формулам – но также и любые доступные действия. Выполнение программы подразумевает конкретное время исполнения (англ. runtime) на некоторой конкретной вычислительной машине (англ. hardware).
В компутерной программе в частности различают данные и команды: данные – это то, над чем производятся операции, а команды – это операции, которые над данными совершаются.
Можно ли в принципе утверждать, что программа является формулой? Можно, но только если очень сильно расширить понятие "формула" – как "любая осмысленная последовательность на абстрактном языке". Однако говорится "математическая формула" – а это задаёт некоторую конкретику и не благоволит подобному расширению.