На вопрос "Что же такое математика? ", как и на вопрос "Что же такое философия" ответить однозначно и конкретно в принципе не возможно. Эти две области мировоззрения весьма обширны и постоянно богатеют все новыми и новыми идеями, так что даже для того, чтобы сделать только поверхностный обзор математики потребуется очень много времени, поэтому этим я заниматься не буду, а рассмотрю со своей точки зрения, опираясь на точку зрения Канта, только небольшой вопрос, касающийся математики, и может частично (далеко не полностью) попытаюсь ответить, что же все-таки такое математика.

Всякая математика по Канту имеет приложение только к области явлений, а математика чистая, т.е. теоретическая, — только к априорно-созерцательным формам, будучи ими же порождена. Кант отрицает, что математические построения отражают свойства объективной реальности. Он прав, полагая, что собственно геометрическое пространство реально вне нас не существует, а абсолютное пространство Ньютона не реально. У Канта пространство и время тоже "абсолютны", но уже в том смысле, что абсолютно не зависят ни от вещей в себе, ни от чувственной эмпирии. Однако очень трудной задачи выяснения статуса математических абстракций и их отношения к действительности он разрешить не смог. Хотя исторически арифметика и геометрия выросли из практического опыта древних, но исходными пунктами при аксиоматическом построении математических дисциплин оказываются не индуктивные обобщения и во многих случаях даже не идеализирующие абстракции от этих обобщений, а так называемые чистые идеальные конструкты. Правда, в случае, например, геометрии Евклида, в единственности и абсолютной универсальности которой у Канта в общем нет сомнений, ее аксиомы и постулаты в совокупности представляют собой гносеологически еще более сложное образование, будучи совокупным результатом идеализирующего абстрагирования и идеального, т.е. чисто абстрактного, конструирования. В последнем случае отражение объективной реальности в теории происходит "окольным" путем приблизительной интерпретации. Только физическая интерпретация, проверяемая затем в практике научных экспериментов, в состоянии решить, какая из известных ныне геометрических систем истинна, т.е. соответствует свойствам реального физического пространства. Заметим так же, что изображенная Кантом структура математики, которая включает в себя не только чувственную интуицию и синтезирующую конструкцию, но и аналитичность, как бы по частям возродилась в интуиционистском, конструктивистском и чисто аналитическом направлениях философии математики ХХ в. Но каждое из этих направлений односторонне.

Важный вопрос заключается в том, можно ли считать, что открытие Лобачевским неевклидовых геометрий в принципе подорвало учение об априорности пространства, поскольку оно показало, что тезис об априорной общеобязательности геометрии Евклида как единственного будто бы возможного для всякого субъекта способа восприятия чувственных феноменов не имеет силы.