That's not quite true. Curry-Howard only applies to constructivist mathematics, which is a very tiny subset of mathematics proper.