3 ms·
But programming is math[1], so is the conclusion that math will eat itself? [1]: as many argue in the software patent cases
by magicalhippo 3y ago
But programming is math[1], so is the conclusion that math will eat itself?
[1]: as many argue in the software patent cases
- pas 3y agoMath is mostly about proofs, and many behaviors of computation are simply not provable, but are still useful. Of course it's possible to use models, formal systems, simulation, formulas, and other tools of mathematics, but arguably there's a clear symmetry breaking. (But it's not really surprising, as most numbers are unnameable and uncomputable. So many things in math are like Turing machines, just they are not that useful.)