三 计算主义的六个里程碑