https://www.zhihu.com/question/660298860/answer/1894666322194981393

从数学教育看，一个缺失是：让娃自己写定理。

刚看wiki，中文版里开头第二句瞩目：

定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。

作为对比，英文版里根本不提什么’重要或有趣‘。

当然，美国数学中小学教育的学案也暂时没看到对学生自行编写定理的提及。

定理完全可以是形形色色而且可以基于学生各阶段的认识，比如’自身求和与自身求积相等的自然数有哪些‘。

这直接锻炼娃对规律的发现归纳总结证明和各种联想，也会对他人发现的规律进行审视即基于公理的推导或推翻，或者加限定条件使之成立。

这些能力都可用于对‘听起来有理’的论断进行独立分析。

也许更重要的是，娃会知道：定理是人定的。

希望自动定理证明工具早日用于教学，尤其是辅助学生编写定理。