Любая математическая теория строится НА ОСНОВЕ каких-то предположений. В результате получается такой, извините, бред, что известный греческий герой якобы (с математической точки зрения) не может обогнать черепаху.Представим нагляднее. Вот вы, бежите, догоняете кого-то. Скорость у вас - в 2 раза больше, чем у предмета преследования с вашей стороны. По идее - вы догоните. И даже можете сейчас написать формулу - когда именно, исходя из текущей дистанции.
Все верно? Все хорошо?
- А не тут то было! Позади вас стоит человек с ружьем и в вас стреляет. Вы падаете и никого вы не догнали.
А что изменилось? Мы ввели в контекст всего - один дополнительный фактор. Который не углядели сразу (стояли спиной к человеку с ружьем).
Я про все это стал размышлять, когда читал математические теории, которые лежат в основе SQL. Их нестройность критиковал сам автор учебного материала, ну а зыбкость изначальных допущений - была понятна даже мне, не сильно знающему математику.
***
Математика, математическая модель, как и другая модель - чем хороша? - Помогает моделировать какие-то вещи, явления в жизни, но с какой целью - СПРАВИТЬСЯ С БЕЗГРАНИЧНОЙ СЛОЖНОСТЬЮ ЭТОГО МИРА (точно так же, как и науки, изучаемые в школе - они зачем? - они помогают хоть немного - понять, выявить - отдельные "пласты", "срезы" безграничного хаоса Вселенной, нашего мира).
Поэтому это все хорошо - когда помогает. А вы сейчас ставите телегу впереди лошади - то что не удалось доказать математикам, сейчас, с помощью ограниченного списка математических теорий - совершенно не означает, что вы не получите пулю в спину. Да, сейчас, вы знаете о себе и об объекте, который вы догоняете. Но достаточно ввести маленькую деталь в вашу стройную систему обоснования, что вы догоните - и ваша теория разваливается в пух и прах. Она не стоит ничего, извините.
Математика такая математика.
;)