2 ms·
This is a great summary. BB is thought provoking because it shows that a simple computation completely destroys any possible conception of mathematics. Probably
by henry2023 3y ago
This is a great summary. BB is thought provoking because it shows that a simple computation completely destroys any possible conception of mathematics. Probably not very useful but still very interesting.
- magicalhippo 3y agoBut 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.)
- andrewflnr 3y ago> completely destroys any possible conception of mathematics Hyperbolic, to put it gently. It changes our conception of mathematics to a different conception.