Chuck discusses the inherent unpredictability of software engineering compared to the more rigorous nature of computer science. While some researchers aim to establish formal methods for software development, he argues that the human element will always introduce variability, making provably correct software an unrealistic goal. He believes that various development methods can be beneficial when applied appropriately but remains skeptical about their promises of absolute correctness.
