4 ms·
Broadly agreed, with a key proviso: producing inscrutable proofs has negligible value as a mathematician's finished output but that doesn't make it a "low-value
by zozbot234 4d ago
Broadly agreed, with a key proviso: producing inscrutable proofs has negligible value as a mathematician's finished output but that doesn't make it a "low-value activity" in and of itself. Ultimately, the status of these proof-like objects as a raw input into mathematical practice will probably be comparable to any other sort of computationally-driven https://en.wikipedia.org/wiki/Experimental_mathematics https://en.wikipedia.org/wiki/Experimental_mathematics . These are not new problems: "computer" used to be a job description for humans before it was the name of a machine, but we now view raw computations as a trivial matter that's not worthy of any human credit.
- SpicyLemonZest 4d agoAgreed. I’m sure there was a time in the early history of computational mathematics where someone with access to more computer time than others went around telling people how easy it is to generate books of trigonometric tables, and other people got annoyed at him, until soon computation was so thoroughly automated that the very idea of computing sines by hand became obsolete. I expect that’s about how math students in the 2040s will learn about this: “what do you mean, they had prizes for writing proofs, why would an educated mathematician spend their time writing proofs?”