12h ago

George Mason University economist Robin Hanson questions if 50 years of software history disproves Edsger Dijkstra's view of programming as mathematics

Dijkstra argued programmers must mathematically prove code correct before execution.

Sentiment

Pos53.8%

Neg46.2%

Some users believe formal verification and proof languages are at last confirming Dijkstra's programming principles after many years, whereas others consider these concepts impractical and disconnected from real software problems.

13 comments with sentiment.