Ask HN: Can the same individual accomplish more with programming than proofs?
16 by amichail | 20 comments 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.
Subscribe to:
Post Comments (Atom)
-
The choice has raised eyebrows because of the controversial nature of some of Mr Musk's tweets. from BBC News - Technology https://bbc...
-
By BY MAGGIE ASTOR AND NICK CORASANITI from NYT U.S. https://ift.tt/35D0FNL
-
Wuhan lab staff sought hospital care before Covid-19 outbreak disclosed 39 by pseudolus | 10 comments on Hacker News.
No comments:
Post a Comment