3 ms·
I would suggest a clearer example to be long division or euclid's method. Or that software is like stating the Pythagorean theorem and then proving it construct
by Dn_Ab 15y ago
I would suggest a clearer example to be long division or euclid's method. Or that software is like stating the Pythagorean theorem and then proving it constructively. This way the process of what goes on when writing code is better captured in how it relates to math.
- burgerbrain 15y agoGreat point, thanks.
- oelewapperke 15y agoOf course, neither of those are considered math themselves. The concepts behind them are certainly math. But these algorithms are more like models that only imperfectly match the concepts. Long division only applies to a very small subset of the things you can divide. Euclid's algorithm is only useful for the trivial natural number case in N (whereas the real fun these days is to be had in Zn, where Euclid fails to function correctly. It has false positives) Btw: there's a few dozen ways to do what people call "long-division".