数学提供推导工具，但是必须要有出发点，逻辑上不可能无限后退，所以需要研究哲学，研究从哪些地方出发，到什么问题结束，否则就是昏昏沉沉的程序员。

独断地说，好的程序员必然是计算哲学家，不管他是否意识到自己在研究哲学。