Peace, Justice and Computation: Leibniz’ Program and the Moral and Political Significance of Church’s Theorem