3 ms·
That's not quite true. Curry-Howard only applies to constructivist mathematics, which is a very tiny subset of mathematics proper.
by bjl 9y ago
That's not quite true. Curry-Howard only applies to constructivist mathematics, which is a very tiny subset of mathematics proper.
- gergoerdi 9y agoThat is a much more complicated question than you make it sound: https://cstheory.stackexchange.com/q/5245/1802 https://cstheory.stackexchange.com/q/5245/1802