математика

Формализм (философия математики)

1) направление в философии математики XX в. (Гильберт, Гёдель и др.), считавшее классическую (содержательную) математику достаточно надежным видом знания с точки зрения его практического использования в науке и практике, однако недостаточно строго построенным и обоснованным с точки зрения логических критериев.

Философия математики

1) раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, ее различных направлений, дисциплин и теорий.

Методология математики

1) одна из отраслевых методологий, предметом которой является описание и анализ многообразия методов построения, обоснования и применения математического знания, оценка их специфики и познавательных возможностей.

Математика

1) область научного знания, предметом которой является исследование количественных отношений, пространственных форм или структур в чистом виде, то есть взятых в отвлечении от их возможных материальных носителей. Благодаря высоко абстрактному характеру современную математику часто определяют как «науку об абстрактных структурах» (Н. Бурбаки).