数学史：问题如何催生概念

从计数、位值、测量与不可公度问题出发，理解算法和演绎证明为何出现。