ФОРМАЛИЗМ

ФОРМАЛИЗМ в преподавании математики понимается двояко: во-первых, отрыв содержания этой дисциплины от формы ее изучения, т. е. преподавание, при котором математика изучается поверхностно, неглубоко; во-вторых, преподавание математики, при котором обращается внимание на развитие только логического, абстрактного мышления учащихся, без должного внимания на связь математики с жизнью, без указания на прикладной характер математики. Формализм в философии математики — одно из течений, сводящееся к аксиоматическому обоснованию математики и доказательству ее непротиворечивости. Крупным представителем формализма в философии математики является известный немецкий математик Д. Гильберт и его школа. Формализм возник в начале XX в. как ответ на критику интуиционистов (см. Интуиционизм).