3 ms·
The proofs/programs (Howard/Curry) correspondance has been fairly well established I think.
by adamddev1 11mo ago
The proofs/programs (Howard/Curry) correspondance has been fairly well established I think.
- marcosdumay 11mo agoIt's the requirements discovery phase that always breaks every pure mathematical treatment of software development. (And also, like DW points, that software is way more complex. But on this case, it's the requirements discovery.)
- moi2388 11mo agoThat’s because it’s not pure math, but applied math. Which also has the requirements discovery phase.
- marcosdumay 11mo agoYes, and constructing mathematical theories is completely different from finding proofs.
- bazoom42 11mo agoIt is a bit like architecture is just physics or painting is just chemistry. Technically true in some reductionist sense, but not necessarily the most useful way to think about it.