嘟嘟博士

嘟嘟博士:图解定理证明者。本文介绍了Dr.Doodle系统,一个使用图表表示的交互式定理证明程序。这个项目的基本假设是,对于某些领域(主要是几何),图解推理比传统的代数方法更容易理解——至少对相当多的人来说是这样。Doodle博士系统是为度量空间分析领域(一个几何领域,但传统上是用枯燥的代数形式教学)开发的。进行了试点实验,以评估其作为教育工具基础的潜力,取得了令人鼓舞的结果。