학술논문
Внутренняя Модель Математической Практики Для Систем Автоматизированного Конструирования Доказательств Теорем Ч. 1. Общее Описание Модели
Document Type
redif-article
Author
Source
CyberLeninka;Общество с ограниченной ответственностью 'СенСиДат-Контрол', Проблемы управления. (4):32-35
Subject
Language
English
Abstract
Для разработки автоматизированных систем конструирования правильных доказательств математических утверждений на основе математических знаний предложена модель математической практики, более адекватная, чем модели математической логики. Модель математической практики представлена в виде комбинации двух моделей: внутренней модели формальной системы, и внешней модели, в рамках которой математик управляет процессом конструирования интуитивных доказательств. Сформулированы требования к внешней и внутренней моделям математической практики. Дано общее описание внутренней модели.