3 ms·
>all mathematical proofs are actually programs This is not true. Only a subset is stated by Curry-Howard correspondence.
by doall 11y ago
>all mathematical proofs are actually programs
This is not true. Only a subset is stated by Curry-Howard correspondence.