Аннотация:Это доклад, сделанный 11 сентября 1986 г. В нём проведён анализ процесса доказательства с точки зрения научности и выделены знания и умения, которые необходимы для успешной реализации этого процесса.
Рассмотрен пример модели-конфигуратора - универсальной формулировки теоремы, которая позволила осуществить конфигурирование знаний по разработке различных способов доказательства теорем. Это один из примеров практического применения научного метода восхождения от абстрактного к конкретному.