(21.11.2010 12:43)Efrit Wrote:  В моём же представлении, математика - это наука, которая нужна исключительно для того, чтобы что-то высчитать. Все эти её формулы, теоремы и определения подчинены одной общей цели - высчитать какое-то значение (или же показать, что это вычисление невозможно). И ни для чего другого. Причём эта цель есть у абсолютно всех разделов математики - матана, вышки, функана, тервера с матстатом, вычметодов и методов оптимизации... Все они, по большому счёту, нужны лишь для того, чтобы что-то высчитать.

Уж у функана точно не так - в вычислениях он вовсю применяется, но это точно не главное. По-моему, в математике главное - доказательства, аксиомы, иногда доказательства ради самого доказательства. Вычисления, как цель - только в прикладной математике. Для меня матлогика - и по духу математическая дисциплина, и по определению.

(21.11.2010 12:43)Efrit Wrote:  (а вот понятия "присваивания" нету ни в математике, ни в матлогике, хе-хе)

Ну как же, "введем обозначение" и поехали присваивать.