Невозможно задать алгоритм работающий над Continuous множествами идеально, потому что бесконечное количество вариантов. Цифровой алгоритм как правило является дискретным приближением к задаче-проблеме алгоритма.

Посему и UML диаграммой задать модель реальной системы невозможно. Потому что работает все равно как приближение к реальной системе.

Подумайте что такое мотор и модель мотора. Можно ли сделать хорошую полностью формализованную математическую модель мотора?

Не возможно построить диаграмму модель над Соntinuous Algorithm-ом. Потому что призвольную диаграмму НЕ ПОСТРОИТЬ. Есть модель - диаграмма - блок схема, но над Соntinuous Algorithm-ом невозможно сделать эту диаграмму с произвольной точностью (не хватит double, к примеру), то есть смоделировать реальную систему невозможно. Оценка точности не дает полной уверенности в реальности системы.

Например, не возможно под произвольную математическую функцию сделать полноценное приближение, потому что возможны важные полупики вне дискретизации приближения. Алгоритм приближения является Соntinuous Algorithm-ом. То есть Соntinuous Algorithm не описывает точно реальную систему. Возможны отклонения.

ВЫВОД-ПАРАДОКС: Поэтому, можно сказать, что Соntinuous Algorithm НЕ РЕШАЕТ задачу полноценно.

ОТСТУПЛЕНИЕ ПРО ТЕСТИРОВАНИЕ: Существует ПРОБЛЕМА проверки Соntinuous Algorithm-а, назовем Continuous Tests(CT). Как протестировать модель-программу если бесконечное множество вариантов? Но поверхностные тесты можно делать с приближениями. Отсюда, кстати, следует что реальную систему не протестировать на сто процентов. 100% покрытие НЕВОЗМОЖНО.

Как следствие в системах которые программируются при помощи Continuous Algorithm-а, не все формализуемо. И Искусственный Интеллект тоже подтверждение, так как нельзя формализовать человеческую речь. А то что есть-есть только приблежение. Отмечу, что в живущих системах все меняется и Vibe-программа тоже.

Интересный факт, что запрограммировав искусственный интеллект мы получаем отдаленную модель. То есть программу которая не формализует реальность полностью. НЕФОРМАЛИЗУЮЩАЯ ПРОГРАММА? Что она выдаст?