Средства и методы разработки

+1 чистый формализЬм лишён неоднозначностей, Как пример - математические формулы/правила (ну к примеру правила приоритета вычислений). Вопросы возникают, когда пытаемся натянуть сову на глобус ограниченными средствами формализованных языков решить сложные задачи :) Так что движение в сторону усложнения, вопреки известной максиме "чем проще, - тем надёжнее" - неизбежно. Упрощение будет на макроуровне. Внутри же язык программирования будет неимоверно сложен. Ну как пример: программа управления климатом в авто на естественном языке, могла бы выглядеть так: "поддерживай параметры воздуха в салоне, как я установил в настройках" И всё! что там дальше у неё внутри - никого не волнует. А можно ит ещё проще: "сделай, чтобы в салоне было хорошо" :)) но тут уже возникают неоднозначности :))) Как всё это запрограммировать на формализованном языке - страшно даже представить.