 Until fairly recently, the subject of computation did not receive much attention in the philosophy of mathematics. This may be due in part to the fact that in Hilbert-style axiomatizations of number theory, computation is reduced to proof in Peano Arithmetic. But this situation has changed in recent years. It seems that along with the increased importance of computation in mathematical practice, philosophical reflections on the notion of computation will occupy a more prominent place in the philosophy of mathematics in the years to come.