...]гарно...
і тут наступає потреба розібратись із гуманітаркою (в хорошому сенсі слова...)
Тобто розібратись з термінологією?
Мова програмування - мова...
...
Письменник - це сюжет (тобто алгоритм), а не мова. Будь-яка мова програмування - це мова команд. Тобто перпендикулярна природній мові. Природна мова - це засіб сказати іншим що ти бачив "за рогом"
Вся згадана Вами "інформатизація" - це просто вплив наступного виду носіїв інформації на людство. Тобто технології, які використовують науковці та військові, продають і звичайним споживачам нових продуктів та послуг.
Щодо формалізації думок - це дуже особисто От формалізація цілей - це більш цікава (для суспільства у цілому) тема. Але засідка тут тільки у критерії. Що є ознакою досягнення цілі?
Тобто все ж таки писар?
Коли розшифрували вавилонські таблички, виявилося, що там не про те що за рогом, а різноманітна технічна інформація, боргові забов'язання, судові рішення і т.ін.
Тобто щось близьке до "набору команд".
Щодо інформатизації, то все ж таки справа не стількі в носіях, скількі в швидкості доступу. Саме ця швидкість та легкість дуже змінює світ (і навіть руйнує імперії).
А стосовно формалізації цілей, то їх формалізація і в вербальному виглядлі не дуже легка справа. Мова - це лише інструмент. Мова програмування - теж. Мабуть в майбутньому ним повинен буде володіти кожен. Наприклад будь який науковець володіючі мовою програмування зможе краще (самостійно) вирішувати своі проблеми, та передавати своі знання іншим...