Ask HN: Can the same individual accomplish more with programming than proofs?
by amichail on Hacker News.
Programming is a kind of fuzzy proof where details are worked out using debugging. The resulting program may not be perfect but it can be good enough. Explicit proofs (e.g., in math and CS) are more precise but longer, harder to check, and harder to debug. And a missed detail or small mistake can render the entire proof wrong and unfixable. So it seems that the same individual could accomplish more in life with programming than proofs.