计算梦想，从莱布尼茨到图灵