The piece examines why writing correct software is inherently difficult, exploring the relationship between programs and correctness through computability and complexity theory. It argues that programs and the complete understanding needed to ensure correctness are fundamentally at odds.