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

Проблемы управления [Текст] : Научно-технический журнал / Ин-т проблем управления им. В.А. Трапезникова; РАН // Проблемы управления - М. : ООО "СенСиДат". — М. : ООО "СенСиДат", 2005.

• УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних