Did Peter Naur dislike formal methods in programming?
It might be a misconception to say I disliked formal methods. Rather, I cautioned against an uncritical embrace of them. My concern was that an overemphasis on formal descriptions could sometimes obscure the fundamental human element of programming – the understanding and intent behind the code. Formalization is a powerful tool, but it must serve human comprehension, not replace it. The goal is to enhance understanding, not just to achieve formal correctness.
Ask Peter Naur the follow-up →