The significance for contemporary philosophy of mathematics

What is the significance for contemporary philosophy of mathematics of the fact that the Programme is unachievable?