The article "Why Writing Correct Software Is Hard" explores the challenges of writing correct software, delving into the relationship between programs and correctness. It draws on concepts from computability theory and complexity theory to explain why writing correct programs is inherently difficult. The article argues that complete understanding of a program, a necessary condition for correctness, is fundamentally at odds with the nature of programs themselves. It also touches on the limitations of using math alone to solve the problem of software correctness, highlighting the complexity of verification as a key challenge in computer science, and discusses how bounding and limiting the scope of verification can help, but ultimately, writing correct software remains a hard problem.