The Epistemology of Software Engineering
How do you know your software is correct? When you dig deep into that question, it turns out there’s no easy answer. There may be no answer whatsoever. This question parallels one of the most fundamental questions in philosophy: “How do I know a proposition is true?” This question is …