[coldtea]

>that we can not design and implement a program without any bugs.

If we don't include the compiler and runtime, sure we can.

Godel's theorem is about formal axiomatic mathematical systems with certain properties like the ability to do basic arithmetic.

[alexwwang]

As long as you make use of axiomatic theorem to design a system, you will make a friend with Gödel. It’s not just a problem of compiler or runtime. :)