Re:The world could run on older hardware if software optimiz...
by mdnahas on Wednesday May 14, 2025 @07:30AM
(#43983217)
These economic forces exist in math too. Almost every mathematician publishes informal proofs. These contain just enough discussion in English (or other human language) to convince a few other mathematicians in the same field that they their idea is valid. But it is possible to make errors. There are other techniques: formal step-by-step proof presentations (e.g. by Leslie Lamport) or computer-checked proofs that would be more reliable. But almost no mathematician uses these.
[ Parent
| on HN ]
There are no comments on this comment yet.