行走在“朴素理解”与“形式化”之间

弗赖登塔尔曾经这样描述数学的表达形式：没有一种数学思想，以它被发现时的那个样子公开发表出来。一个问题被解决后，相应地发展为一种形式化技巧，结果把求解过程丢在一边，使得火热的发明变成冰冷的美丽，因此他说：教材是“教学法的颠倒”。