从计数、位值、测量与不可公度问题出发，理解算法和演绎证明为何出现。
大学通识层面的数学思想史课程。不按人物和年代罗列轶事，而是追踪问题如何迫使概念改变：数量如何保存、零如何进入运算、测量为何需要分数、算法为何需要正确性证明、不可公度如何扩张数系、有限经验为何让位于演绎证明。当前发布第一章，并以真实计算和推理题检验理解。