Без заголовка

По поводу вариационности и непрерывности, кстати. Физики нам говорят что мир вообще-то квантован. Но если мы будем составлять квантовые модели всего, то банально замучаемся с ними работать. Матмадели основанные на всяких непрерывных сущностях просто очень сильно облегчают нам рассуждения. Например, множество вещественных чисел есть замыкание множества рациональных чисел — т.е. множество пределов всеразличных последовательностей составленных из рациональных чисел. Т.е. посчитать длину гипотенузы не юзая вещественные числа не всегда получится. А площадь круга и длина окружности заведомо требуют использование вещественных чисел. Ну т.е. рассуждая о свойствах даже относительно простых объектов, неизбежно появляются уже всякие гораздо более сложные объекты. Но есть ли они в реальности? Тоже кста относится и к вероятностям. Там надо юзать зачастую еще более сложные объекты — какие-нить борелевы сигма-алгебры. Но есть ли они в реальности? На самом деле, это и не так важно, ибо они нам просто облегчают рассуждения о свойствах каких-то реальных объектов, пусть даже и квантованных. Хотя абстрактных это тоже касается.