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

Гаврилова Т. Л. and Клещев А. С.
Additional contact information
Гаврилова Т. Л.: Институт автоматики и процессов управления
Клещев А. С.: Институт автоматики и процессов управления

Проблемы управления, 2005, issue 3, 13-19

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

Date: 2005
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/analiz-podhodov-k ... tematicheskih-znaniy

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:scn:009530:14051852

Access Statistics for this article

More articles in Проблемы управления from CyberLeninka, Общество с ограниченной ответственностью "СенСиДат-Контрол"
Bibliographic data for series maintained by CyberLeninka ().