刍议数学命题的非形式化解法及功能

教育部制订的《普通高中数学课程标准（实验）》所倡导课程基本理念的第7条是“强调本质，注意适度形式化”． 笔者注意到，在基础教育层面上提及“形式化”早已有之：1992年，陈重穆、宋乃庆首先提出了“淡化形式，注重实质”这样一个观点，认为“在数学教学中，（1）要淡化文字叙述；（2）要淡化形式追求，允许非形式化，注重对实质的理解．”