Анализ подходов к решению проблемы правильности математических знаний

Рассмотрены различные подходы к решению проблемы правильности математических знаний, предлагаемые математической практикой, математической и компьютерной логикой. Обсуждены критерии правильности математических знаний: универсальный, интуитивный, логический, формально-логический и компьютерный. Показано, что компьютерный критерий потенциально наиболее надёжен для обеспечения правильности математических знаний, а системы автоматизированного (человеко-машинного) доказательства теорем – наиболее перспективный путь его применения. Определены направления дальнейшего продвижения в решении указанной проблемы.