Why devs rely on tests instead of proofs for verification

#UncleBob #Dijkstra #SoftwareEngineering #FormalVerification #UnitTesting #ProgrammingHistory #CleanCode #SoftwareTesting #ComputerScience #CodeQuality In this clip, Uncle Bob (Robert C. Martin) recounts the ambitious vision of Edsger Dijkstra — a vision where software would be developed and verified like mathematics, using theorems, lemmas, and formal proofs. Dijkstra dreamed of a world where bugs were eliminated through logic, not testing. But the harsh realities of computing, including the infamous halting problem and the complexity of large systems, led the industry down a different path — one grounded in science, not mathematics. Instead of proving programs correct, we test them relentlessly, treating software like a scientific discipline built on evidence and experimentation. Uncle Bob explores this philosophical shift and what it means for developers today. Sources: https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf https://www.psy.gla.ac.uk/~steve/educ/dijk/EWD1036.v4.pd https://www.sciencedirect.com/topics/computer-science/formal-verification?utm_source=chatgpt.com https://pure.tue.nl/ws/files/2408738/252825.pdf Follow us on X: https://x.com/DevToolReady