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 new Yahoo? Facebook should heed the lessons of internet history 57 by jkuria | 4 comments on Hacker News.
-
Witnesses say Sudanese security forces dispersed rallies in the capital of Khartoum on Tuesday, after a week of demonstrations against Presi...
-
By Unknown Author from NYT Corrections https://nyti.ms/2RfYrkh
No comments:
Post a Comment