> But from a scientific standpoint, do you think a software can be 100% correct? Sure it can. I've written 100% correct code using Coq. For example, I wrote a

> But from a scientific standpoint, do you think a software can be 100% correct? Sure it can. I've written 100% correct code using Coq. For example, I wrote a relatively simple program (~1.7k LoC) to interpret a simple programming language, but it was definitely correct (certified by a machine-checked proof). Of course, for larger programs it's much harder to do that. But it's just a matter of how much time you're willing to invest.